search

flux-rs / flux

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

Push/Pop scope in function subtyping #900

Closed ranjitjhala closed 5 days ago

ranjitjhala commented 5 days ago

fixes #899