Loading files
---CODE---
1
---STDERR---
error: required bundle of size `6' but found bundle of size `W+1'
┌─ tests/errors/bundle/multi-len.fil:5:5
│
5 │ f{0..2}{0..3} = g{0..W+1};
│ ^^^^^^^^^^^^^ --------- length of bundle is W+1
│ │
│ length of bundle is 6
Compilation failed with 1 errors.
Run with --show-models to generate assignments for failing constraints.
781de7a9bThis file is pinned to the selected release. Download the original to open it in your design tool.