----- Mail original ----- > De: "Brian Goetz" <brian.go...@oracle.com> > À: "amber-spec-experts" <amber-spec-experts@openjdk.java.net> > Envoyé: Mercredi 9 Octobre 2019 23:10:40 > Objet: [records] Native members
> Jon has pointed out that it is possible to declare a record with native > methods and/or constructor. > > Let's just add `native` to the set of modifiers that are not allowed on > members of records.... You have not provided a rational, maybe there is an obvious reason that i can not see ? For me, it's fine to have a private static native method inside a record. Obviously, having native method which is an instance method or a constructor is a bad idea but it's a bad idea for classes, interfaces and records, so i don't see why we should fix that for record without fixing it for classes and interfaces too. Rémi
