[HN Gopher] Torturing Rustc by Emulating HKTs
       ___________________________________________________________________
        
       Torturing Rustc by Emulating HKTs
        
       Author : g0xA52A2A
       Score  : 30 points
       Date   : 2026-03-14 07:25 UTC (3 days ago)
        
 (HTM) web link (www.harudagondi.space)
 (TXT) w3m dump (www.harudagondi.space)
        
       | cptroot wrote:
       | This was incredible, even as it rapidly outpaced my PL and
       | mathematics knowledge.
        
         | PeterWhittaker wrote:
         | Like I said to a friend, I know just enough category theory to
         | know that I do not understand. Perhaps upon Nth reading.
        
       | j-krieger wrote:
       | 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.
        
       ___________________________________________________________________
       (page generated 2026-03-17 23:00 UTC)