JEP395: spec clarify isRecord() verification?

[Chris Hegarty]

Hi Andrew,

> On 11 Feb 2021, at 07:58, Andrew Leonard <anleonar at redhat.com> wrote:
> 
> Hi,
> Is someone able to clarify please the spec with regards isRecord()
> 
> A record class is implicitly final, and cannot be abstract <-----
> 
> Whether this should be enforced at static verification or in isRecord()?
> 
> The JTreg testcase
> https://github.com/openjdk/jdk16/blob/4de3a6be9e60b9676f2199cd18eadb54a9d6e3fe/test/jdk/java/lang/reflect/records/IsRecordTest.java#L77
> infers the later?

I think what you are looking for is in this CSR:
  https://bugs.openjdk.java.net/browse/JDK-8257520

-Chris.