filament

---CODE---
1
---STDERR---
error: bundle index must be less than bundle length
   ┌─ tests/errors/bundle.fil:10:6
   │
10 │     f{1} = input;
   │      ^^^ cannot prove within-bounds bundle access: index 1 greater than bundle length #N

error: source port must be available longer than the destination port requires
   ┌─ tests/errors/bundle.fil:10:12
   │
10 │     f{1} = input;
   │     ----   ^^^^^ source is available for @[G, G+1]
   │     │       
   │     destination's requirement @[G+1, G+2]

error: source port must be available longer than the destination port requires
   ┌─ tests/errors/bundle.fil:13:17
   │
13 │         f{#i} = d.out;
   │         -----   ^^^^^ source is available for @[G+#i+1, G+#i+2]
   │         │        
   │         destination's requirement @[G+#i, G+#i+1]

error: bundle index must be less than bundle length
   ┌─ tests/errors/bundle.fil:15:12
   │
15 │     out = f{#N+1};
   │            ^^^^^^ cannot prove within-bounds bundle access: index #N+1 greater than bundle length #N

error: source port must be available longer than the destination port requires
   ┌─ tests/errors/bundle.fil:15:11
   │
15 │     out = f{#N+1};
   │     ----  ^^^^^^^ source is available for @[G+#N+1, G+#N+1+1]
   │     │      
   │     destination's requirement @[G+#N, G+#N+1]

Compilation failed with 5 errors.
Run with --show-models to generate assignments for failing constraints.