Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
3c17db5ceThis file is pinned to the selected release. Download the original to open it in your design tool.
---CODE---
1
---STDERR---
error: cannot reuse instance using a phantom event
┌─ tests/errors/phantom-check/reuse.fil:7:5
│
7 │ A := new Add[32];
│ ^ instance is invoked 2 times
8 │ a0 := A<'G>(left, left);
│ -- -- event 'G is a phantom event
│ │
│ invocation uses phantom event
│
= phantom events are compiled away and cannot be used for resource sharing
Compilation failed with 1 errors.
Run with --show-models to generate assignments for failing constraints.