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
Comment From: gopherbot
Change https://go.dev/cl/387836 mentions this issue: types2: method recv type parameter count must match base type parameter count
Comment From: gopherbot
This issue is currently labeled as early-in-cycle for Go 1.19. That time is now, so a friendly reminder to look at it again.
Comment From: gopherbot
This issue is currently labeled as early-in-cycle for Go 1.20. That time is now, so a friendly reminder to look at it again.
Comment From: gopherbot
This issue is currently labeled as early-in-cycle for Go 1.21. That time is now, so a friendly reminder to look at it again.
Comment From: griesemer
Too late again for 1.21. Moving to 1.22.
Comment From: gopherbot
This issue is currently labeled as early-in-cycle for Go 1.22. That time is now, so a friendly reminder to look at it again.
Comment From: griesemer
Moving to 1.22. We didn't get to this.
Comment From: gopherbot
This issue is currently labeled as early-in-cycle for Go 1.23. That time is now, so a friendly reminder to look at it again.
Comment From: griesemer
Moving to 1.24. We didn't get to this.
Comment From: gopherbot
Change https://go.dev/cl/593336 mentions this issue: go/types, types2: slightly reorganize method receiver checking
Comment From: gopherbot
Change https://go.dev/cl/593455 mentions this issue: go/types, types2: factor our method receiver validation
Comment From: gopherbot
Change https://go.dev/cl/595335 mentions this issue: types2: adjust Checker.unpackRecv signature slightly
Comment From: gopherbot
Change https://go.dev/cl/594740 mentions this issue: types2: rewrite method receiver type checking
Comment From: gopherbot
Change https://go.dev/cl/595697 mentions this issue: go/types, types2: add test for receiver type parameters
Comment From: gopherbot
This issue is currently labeled as early-in-cycle for Go 1.24. That time is now, so a friendly reminder to look at it again.
Comment From: gopherbot
Change https://go.dev/cl/601657 mentions this issue: go/types: record pointer and parentheses in receiver expressions
Comment From: gopherbot
Change https://go.dev/cl/601935 mentions this issue: go/types, types2: record type parameters in receiver expressions as uses