New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
go/types, types2: simplify type-checking of method receivers with type parameters #51343
Comments
Change https://go.dev/cl/387836 mentions this issue: |
…pe parameter count Check receiver type parameter count when type checking the method signature and report a suitable error (don't rely on delayed instantiation and possibly constraint type inference). While at it, simplify blank name recoding and type bound rewriting. Stop-gap measure to avoid crashes in the compiler. Fixes #51339. For #51343. Change-Id: Idbe2d32d69b66573ca973339f8924b349d2bc9cc Reviewed-on: https://go-review.googlesource.com/c/go/+/387836 Trust: Robert Griesemer <gri@golang.org> Reviewed-by: David Chase <drchase@google.com> Reviewed-by: Robert Findley <rfindley@google.com>
This issue is currently labeled as early-in-cycle for Go 1.19. |
This issue is currently labeled as early-in-cycle for Go 1.20. |
This issue is currently labeled as early-in-cycle for Go 1.21. |
Too late again for 1.21. Moving to 1.22. |
This issue is currently labeled as early-in-cycle for Go 1.22. |
Moving to 1.22. We didn't get to this. |
This issue is currently labeled as early-in-cycle for Go 1.23. |
This is a reminder issue to clean up handling of method receivers in Checker.funcType.
Receiver parameter handling relies on delayed instantiation and uses constraint type inference. At least the latter should not be used.
See also #51339.
cc: @findleyr
The text was updated successfully, but these errors were encountered: