<html>

  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">

  </head>

  <body>

    <p>Hi,</p>

    <p>looks like a great idea to me - which is no wonder because I

      propsed it back in June 2021 already, as this posting proves:<br>

    </p>

    <p><a class="moz-txt-link-freetext" href="https://mail.openjdk.org/pipermail/valhalla-spec-observers/2021-June/001527.html">https://mail.openjdk.org/pipermail/valhalla-spec-observers/2021-June/001527.html</a></p>

    <p>In that text, I wrote something very similar to Remi's reasoning:

      <br>

    </p>

    <pre>"do we really need to have two different type-mirrors corresponding 

to these descriptors?

Isn't the "Q-ness" rather a property of the Field, method Parameter or 

method return-type, and therefore should be available there via 

reflection as a simple boolean property?"</pre>

    <p></p>

    <p><br>

    </p>

  </body>

</html>