Hello! Shouldn't we update a section 9.8 Functional Interfaces? E.g.:
A functional interface is an interface that [is not declared as sealed and] has just one abstract method (aside from the methods of Object), and thus represents a single function contract. This will also imply that the @FunctionalInterface annotation cannot be applicable to sealed interfaces (9.6.4.9). With best regards, Tagir Valeev. On Fri, Feb 28, 2020 at 7:25 PM Gavin Bierman <[email protected]> wrote: > > The next draft language spec for JEP 360 (Sealed Types) is available at: > > http://cr.openjdk.java.net/~gbierman/jep360/latest/ > > This version reflects the changes to the type system I mentioned [1], along > with a number of other changes. We’d appreciate further comments on this in > particular (along with anything else). > > Thanks, > Gavin > > [1] > https://mail.openjdk.java.net/pipermail/amber-spec-experts/2020-February/002018.html
