
<!DOCTYPE html><html><head>

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

  </head>

  <body>

    <p>On 2025-01-08 22:33, David Lloyd wrote:</p>

    <blockquote type="cite" cite="mid:CANghgrRjPTXLP9ZLSg=ucxY13Kdnfz2BcONss1c2Vn5UhXuuLw@mail.gmail.com">

      <div><span style="font-family:arial,helvetica,sans-serif">Thus I'm

          inclined to believe that this restriction does not serve any

          practical benefit, and I hope it can be reconsidered<span class="gmail_default" style="font-family:arial,helvetica,sans-serif"> to be

            respecified as a compile-time-only check</span>.</span></div>

    </blockquote>

    <p>I agree. I was bitten by this as a Java developer in a hobby open

      source project, and even if at some point I understood why things

      where the way they are, I do not remember the reasoning, and I

      still find it confusing that it did not work as I expected it to,

      nor what steps I were supposed to take instead to resolve the

      problem at hand.</p>

    <p>I understand that this is not a very common problem or a

      high-priority issue, and I would have accepted that it was

      down-prioritized to the point that it will take a long time to

      resolve, but the current "works as intended" approach is still a

      bit hard for me to swallow.</p>

    <p>/Magnus<br>

    </p>

  </body>

</html>