Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
2c3608ffbThis file is pinned to the selected release. Download the original to open it in your design tool.
---CODE---
1
---STDERR---
error: invocation is within a loop but instance is not
┌─ tests/errors/phantom-check/loop.fil:5:16
│
3 │ F := new Foo;
│ - instance is not within the same loop
4 │ for i in 0..3 {
5 │ f := F<'G>();
│ ^^ invocation uses phantom event
│
= invocations within loops will be unrolled an imply instance sharing
Compilation failed with 1 errors.
Run with --show-models to generate assignments for failing constraints.