Loading files
---CODE---
1
---STDERR---
error: source port does not provide value for as long as destination requires
┌─ tests/errors/typecheck/unsatisfied-requirement.fil:11:17
│
11 │ m0 := M<'G+1>(left, right);
│ ^^^^
│ │
│ source is available for ['G, 'G+1]
│ required for ['G+1, 'G+2]
error: source port does not provide value for as long as destination requires
┌─ tests/errors/typecheck/unsatisfied-requirement.fil:12:9
│
12 │ out = m0.out;
│ ^^^^^^
│ │
│ source is available for ['G+1, 'G+2]
│ required for ['G+3, 'G+4]
Compilation failed with 2 errors.
Run with --show-models to generate assignments for failing constraints.
3c17db5ceThis file is pinned to the selected release. Download the original to open it in your design tool.