go/types,types2: cycles through unions are not detected #48582
Description
The following invalid code type-checks cleanly:
type N interface {
int | N
}
We need to scan Unions when detecting cycles (Checker.validType).
CC @griesemer
{{ message }}