Comment Comment by toprerules Ah, I thought this was adding refinement types to Rust based on Liquid Haskell. Disappointed. parent toprerules 10 months ago
