[records] Native members

Brian Goetz brian.goetz at oracle.com
Wed Oct 9 21:10:40 UTC 2019

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....

More information about the amber-spec-experts mailing list