cmd/go2go: nonsensical recursive type compiles #40884
Labels
FrozenDueToAge
NeedsInvestigation
Someone must examine and confirm this is a valid issue and not a duplicate of an existing one.
Milestone
Here are two types (playground):
The type
A[B]
is semantically invalid;B
needs to be instantiated. But this seems to be allowed currently.In fact if we modify
A
a bit we can even supposedly implementB
(playground):The text was updated successfully, but these errors were encountered: