Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
comp Foo[W]<'G:1>() -> () with {
some L where L > W;
} {
L := W + 1;
}
comp Bar<'G:1>() -> () {
F := new Foo[10];
// The module guarantees that F::L > 10
assert F::L < 10;
}8c85c67fdThis file is pinned to the selected release. Download the original to open it in your design tool.