&gt;  I&#x27;m afraid that categorizing bounded generics as a &quot;weak abstraction&quot; is hyperbolic on your part.<p>Yeah, probably.<p>&gt; Constant folding is hardly the exclusive purview of JIT.<p>Oh, sure, but in that example, an AOT would have a hard time doing that (certainly without special rules).