Move refinement parameters out of `rty::Generics` - Githubissues

flux-rs / flux

Refinement Types for Rust

MIT License

632 stars 17 forks source link

Move refinement parameters out of `rty::Generics` #593

Closed nilehmann closed 8 months ago