search

flux-rs / flux

Refinement Types for Rust
MIT License
658 stars 21 forks source link

Beef up infer-mut-hack #904

Closed ranjitjhala closed 1 day ago

ranjitjhala commented 1 day ago

(To avoid it getting "confused" be extraneous Constr)