search

flux-rs / flux

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

Put GenericPredicates inside Generics #600

Closed nilehmann closed 7 months ago

nilehmann commented 7 months ago

Put generic predicates inside Generics and keep them inside the item instead of a different map