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.
comp Foo<'G:3>() -> () {}
comp Bar[W]<'G: 3>(
go: interface['G],
) -> () {
F := new Foo in ['G+W, 'G+W+10];
// This is not allowed
f1 := F<'G>();
f0 := F<'G+W>();
}