Your IP : 172.28.240.42


Current Path : /usr/local/go/src/internal/types/testdata/fixedbugs/
Upload File :
Current File : //usr/local/go/src/internal/types/testdata/fixedbugs/issue47968.go

// 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 // ERROR "cannot use generic type"

func (A1[P]) m2() {}

type A2 = T[int]

func (A2 /* ERROR "cannot define new methods on instantiated type T[int]" */) m3()   {}
func (_ /* ERROR "cannot define new 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