I also hit a funny compiler end-of-the road last month when I wanted to try out generic_const_exprs for my RFC8366 implementation:<p><pre><code> pub struct VoucherDetails<C>
where
C: CapacityConfig,
[(); C::SERIAL_NUMBER_MAX]:,
[(); C::MANUFACTURER_PRIVATE_MAX]:,
[(); C::IDEVID_ISSUER_MAX]:,
// <imagine a dozen more properties here>
[(); C::NONCE_B64_MAX]:,
{ ... }
</code></pre>
The heavy const eval + trait resolution was too much even for my M2 Pro.