Rebase generics for trait onto impl method

flux-rs / flux

Refinement Types for Rust

MIT License

648 stars 21 forks source link

Rebase generics for trait onto impl method #651

Closed ranjitjhala closed 3 months ago

ranjitjhala commented 3 months ago

Merging in since its a one-line change (modulo the clippy things ... which I assume are because clippy just got updated?) LMK if you want to revert...