Torturing Rustc by Emulating HKTs

2 comments

• j-krieger 1 hour ago
  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:

    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]:,
    { ... }
  

  The heavy const eval + trait resolution was too much even for my M2 Pro.
• cptroot 1 hour ago
  This was incredible, even as it rapidly outpaced my PL and mathematics knowledge.
  [-]
  • PeterWhittaker 1 hour ago
    Like I said to a friend, I know just enough category theory to know that I do not understand. Perhaps upon Nth reading.