search

flux-rs / flux

Refinement Types for Rust
MIT License
637 stars 17 forks source link

Also compare UnevaluatedConst when zipping tys #744

Closed ranjitjhala closed 3 weeks ago

ranjitjhala commented 3 weeks ago

Seems simple enough that I'll go ahead and merge.