8 ms·Ah, I thought this was adding refinement types to Rust based on Liquid Haskell. Disappointed.by toprerules 9mo agoAh, I thought this was adding refinement types to Rust based on Liquid Haskell. Disappointed.