search

flux-rs / flux

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

Renumber rvids before assignment #660

Closed nilehmann closed 3 months ago

nilehmann commented 3 months ago

Renumber variables in an assignment for region substitution inference such that we correctly handle early bound parameters. Fixes #658

ping @enjhnsn2