| // Copyright 2021 The Go Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style |
| // license that can be found in the LICENSE file. |
| |
| package p |
| |
| type T[P any] struct{} |
| |
| func (T[P]) m1() |
| |
| type A1 = T |
| |
| func (A1[P]) m2() {} |
| |
| type A2 = T[int] |
| |
| func (A2 /* ERROR cannot define methods on instantiated type T\[int\] */) m3() {} |
| func (_ /* ERROR cannot define methods on instantiated type T\[int\] */ A2) m4() {} |
| |
| func (T[int]) m5() {} // int is the type parameter name, not an instantiation |
| func (T[* /* ERROR must be an identifier */ int]) m6() {} // syntax error |
