1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
// run -goexperiment fieldtrack
// 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.
// Test that generics, promoted methods, and //go:nointerface
// interoperate as expected.
package main
import (
"reflect"
)
func TypeString[T any]() string {
return reflect.TypeOf(new(T)).Elem().String()
}
func Test[T, Bad, Good any]() {
switch interface{}(new(T)).(type) {
case Bad:
println("FAIL:", TypeString[T](), "matched", TypeString[Bad]())
case Good:
// ok
default:
println("FAIL:", TypeString[T](), "did not match", TypeString[Good]())
}
}
func TestE[T any]() { Test[T, interface{ EBad() }, interface{ EGood() }]() }
func TestX[T any]() { Test[T, interface{ XBad() }, interface{ XGood() }]() }
type E struct{}
//go:nointerface
func (E) EBad() {}
func (E) EGood() {}
type X[T any] struct{ E }
//go:nointerface
func (X[T]) XBad() {}
func (X[T]) XGood() {}
type W struct{ X[int] }
func main() {
_ = E.EGood
_ = E.EBad
TestE[E]()
_ = X[int].EGood
_ = X[int].EBad
_ = X[int].XGood
_ = X[int].XBad
TestE[X[int]]()
TestX[X[int]]()
_ = W.EGood
_ = W.EBad
_ = W.XGood
_ = W.XBad
TestE[W]()
TestX[W]()
}
|