What version of Go are you using (go version)?

$ gotip version
go version devel go1.18-0d65c272c9 Fri Oct 1 18:18:46 2021 +0000 linux/amd64

What did you do?

type GenericSlice[T any] []T

func (g GenericSlice[T]) Print() {
	for _, v := range g {
		fmt.Println(v)
	}
}

func (g GenericSlice[X]) F() {}

What did you expect to see?

The type parameter in method signatures for a generic type should refer to the declared type parameter in the type declaration.

What did you see instead?

The go/types package yields a different types.TypeParam for the Print method's type parameter (T₂) vs the type declaration's (T₁). This makes it difficult for tooling to recognize that they are the same type parameter with the same constraints without extra bookkeeping.

The compiler also allows for an arbitrary new identifier referring to the generic type in the receiver (as in the X₃ type parameter for F). This seems like syntax that should be disallowed per Go's usual styling.