search

flux-rs / flux

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

Support structs with const generics #647

Closed nilehmann closed 3 weeks ago

nilehmann commented 3 weeks ago

Lift generic const args and conv them into rty.