Do not strong update lifetime when blocking path - Githubissues

flux-rs / flux

Refinement Types for Rust

MIT License

632 stars 17 forks source link

Do not strong update lifetime when blocking path #579

Closed nilehmann closed 8 months ago

nilehmann commented 8 months ago

Track a map between locs and places
Rewrite lifetimes before blocking path

fixes https://github.com/flux-rs/flux/issues/578