search

flux-rs / flux

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

Fix extern specs for impls with lifetimes parameters #762

Closed nilehmann closed 2 months ago

nilehmann commented 2 months ago

Fixes #761

nilehmann commented 2 months ago

ping @enjhnsn2