
<!DOCTYPE html><html><head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

  </head>

  <body>

    <p><br>

    </p>

    <div class="moz-cite-prefix">On 15/12/2023 20:22, Dan Smith wrote:<br>

    </div>

    <blockquote type="cite" cite="mid:F5FBAA69-833F-4455-AD0B-76187F27FDD3@oracle.com">

      <pre>it's just an assertion about the abstract class itself (and its supers)</pre>

    </blockquote>

    <p>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:</p>

    <p>```java<br>

      class Foo { ... }</p>

    <p>value abstract Bar extends Foo { ... }<br>

      ```</p>

    <p>Is this what you mean by <br>

    </p>

    <p>

      <blockquote type="cite">

        <pre>(and its supers)</pre>

      </blockquote>

      ?<br>

    </p>

    <p>Maurizio<br>

    </p>

    <p>  <br>

    </p>

  </body>

</html>