search

flux-rs / flux

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

Do not crash when replacing holes under lifetime binders #812

Closed nilehmann closed 2 months ago

nilehmann commented 2 months ago

Partially addresses #808