Do not fail on synthetic type parameters

flux-rs / flux

Refinement Types for Rust

MIT License

637 stars 17 forks source link

Closed nilehmann closed 1 month ago

nilehmann commented 1 month ago

Do not fail on synthetic type parameters during lifting and lowering
Parse a type surrounded by parentheses without a trailing comma as a type instead of a tuple.