30 points | by g0xA52A2A 4 days ago
3 comments
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]:, { ... }
This was incredible, even as it rapidly outpaced my PL and mathematics knowledge.
Like I said to a friend, I know just enough category theory to know that I do not understand. Perhaps upon Nth reading.
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:
The heavy const eval + trait resolution was too much even for my M2 Pro.This was incredible, even as it rapidly outpaced my PL and mathematics knowledge.
Like I said to a friend, I know just enough category theory to know that I do not understand. Perhaps upon Nth reading.