search

flux-rs / flux

Refinement Types for Rust
MIT License
637 stars 17 forks source link

Put `fhir::Generics` on the node as in rustc #774

Closed nilehmann closed 1 week ago