Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
c0ce5891fThis 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.