Discussion

Torturing rustc by Emulating HKTs, Causing an Inductive Cycle and Borking the Compiler

j-krieger: I also hit a funny compiler end-of-the road last month when I wanted to try out bounded const generics for my RFC8366 implementation: pub struct VoucherDetails<C> where C: CapacityConfig, [(); C::SERIAL_NUMBER_MAX]:, [(); C::MANUFACTURER_PRIVATE_MAX]:, [(); C::IDEVID_ISSUER_MAX]:, &#x2F;&#x2F; <imagine a dozen more properties here> [(); C::NONCE_B64_MAX]:, { ... }