search

flux-rs / flux

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

Don't keel over on trivial Fnptr subtyping #804

Closed ranjitjhala closed 2 months ago

ranjitjhala commented 2 months ago

fixes #803