You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Type checking the following code panics in the type checker in substitution:
package p
type N[P any] M[P]
type M[P any] N[P]
The reason is likely that RHS expansion happens too early, in Checker.typeDecl. I believe this can be fixed by delaying expansion, but filing an issue to track this as a release-blocker since it is late in the cycle.
This is a clean port of CL 356533 from go/types to types2.
Fixes#49043.
Change-Id: If389b94ece28042b0c8b436959dd21f26147a144
Reviewed-on: https://go-review.googlesource.com/c/go/+/356517
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
Type checking the following code panics in the type checker in substitution:
The reason is likely that RHS expansion happens too early, in
Checker.typeDecl
. I believe this can be fixed by delaying expansion, but filing an issue to track this as a release-blocker since it is late in the cycle.CC @griesemer
The text was updated successfully, but these errors were encountered: