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