search

flux-rs / flux

Refinement Types for Rust
MIT License
638 stars 18 forks source link

Don't keel over with `PointerWithExposedProvenance` casts #646

Closed ranjitjhala closed 3 months ago