Simplifying 'value' and 'identity'

[Maurizio Cimadamore]

On 15/12/2023 20:22, Dan Smith wrote:
> it's just an assertion about the abstract class itself (and its supers)

I think the rules here have to say something more about what a value 
abstract class can and cannot extend? E.g. I suppose (hope) this is invalid:

```java
class Foo { ... }

value abstract Bar extends Foo { ... }
```

Is this what you mean by

> (and its supers)
?

Maurizio

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/valhalla-spec-experts/attachments/20231218/573a8807/attachment-0001.htm>