Loading files
70914e6feThis file is pinned to the selected release. Download the original to open it in your design tool.
---CODE---
1
---STDERR---
error: undefined parameter name: W
┌─ tests/errors/binding/param.fil:1:30
│
1 │ comp Add<'G:1>() -> () where W > 10 {}
│ ^ unknown parameter
Compilation failed with 1 errors.
Run with --show-models to generate assignments for failing constraints.