search

flux-rs / flux

Refinement Types for Rust
MIT License
648 stars 21 forks source link

Don't normalize FnSig in genv.lower_fn_sig #731

Closed nilehmann closed 2 months ago

nilehmann commented 2 months ago

No longer needed since we are now normalizing constants