Your IP : 172.28.240.42
// run
// 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.
// derived & expanded from cmd/compile/internal/types2/testdata/fixedbugs/issue44688.go2
package main
type A1[T any] struct {
val T
}
func (p *A1[T]) m1(val T) {
p.val = val
}
type A2[T any] interface {
m2(T)
}
type B1[T any] struct {
filler int
*A1[T]
A2[T]
}
type B2[T any] interface {
A2[T]
}
type ImpA2[T any] struct {
f T
}
func (a2 *ImpA2[T]) m2(s T) {
a2.f = s
}
type C[T any] struct {
filler1 int
filler2 int
B1[T]
}
type D[T any] struct {
filler1 int
filler2 int
filler3 int
C[T]
}
func test1[T any](arg T) {
// calling embedded methods
var b1 B1[T]
b1.A1 = &A1[T]{}
b1.A2 = &ImpA2[T]{}
b1.A1.m1(arg)
b1.m1(arg)
b1.A2.m2(arg)
b1.m2(arg)
var b2 B2[T]
b2 = &ImpA2[T]{}
b2.m2(arg)
// a deeper nesting
var d D[T]
d.C.B1.A1 = &A1[T]{}
d.C.B1.A2 = &ImpA2[T]{}
d.m1(arg)
d.m2(arg)
// calling method expressions
m1x := B1[T].m1
m1x(b1, arg)
// TODO(khr): reenable these.
//m2x := B2[T].m2
//m2x(b2, arg)
// calling method values
m1v := b1.m1
m1v(arg)
m2v := b1.m2
m2v(arg)
b2v := b2.m2
b2v(arg)
}
func test2() {
// calling embedded methods
var b1 B1[string]
b1.A1 = &A1[string]{}
b1.A2 = &ImpA2[string]{}
b1.A1.m1("")
b1.m1("")
b1.A2.m2("")
b1.m2("")
var b2 B2[string]
b2 = &ImpA2[string]{}
b2.m2("")
// a deeper nesting
var d D[string]
d.C.B1.A1 = &A1[string]{}
d.C.B1.A2 = &ImpA2[string]{}
d.m1("")
d.m2("")
// calling method expressions
m1x := B1[string].m1
m1x(b1, "")
m2x := B2[string].m2
m2x(b2, "")
// calling method values
m1v := b1.m1
m1v("")
m2v := b1.m2
m2v("")
b2v := b2.m2
b2v("")
}
// actual test case from issue
type A[T any] struct{}
func (*A[T]) f(T) {}
type B[T any] struct{ A[T] }
func test3() {
var b B[string]
b.A.f("")
b.f("")
}
func main() {
test1[string]("")
test2()
test3()
}