1 // Copyright 2020 The Go Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style
3 // license that can be found in the LICENSE file.
4
5 package generics
6
7 func _[A, B any](a A, b B) int {}
8 func _[T any](x, y T) T
9
10 type T[P any] struct{}
11 type T[P1, P2, P3 any] struct{}
12
13 type T[P C] struct{}
14 type T[P1, P2, P3 C] struct{}
15
16 type T[P C[P]] struct{}
17 type T[P1, P2, P3 C[P1, P2, P3]] struct{}
18
19 func f[P any](x P)
20 func f[P1, P2, P3 any](x1 P1, x2 P2, x3 P3) struct{}
21
22 func f[P interface{}](x P)
23 func f[P1, P2, P3 interface {
24 m1(P1)
25 ~P2 | ~P3
26 }](x1 P1, x2 P2, x3 P3) struct{}
27 func f[P any](T1[P], T2[P]) T3[P]
28
29 func (x T[P]) m()
30 func (T[P]) m(x T[P]) P
31
32 func _() {
33 type _ []T[P]
34 var _ []T[P]
35 _ = []T[P]{}
36 }
37
38 // type constraint literals with elided interfaces
39 func _[P ~int, Q int | string]() {}
40 func _[P struct{ f int }, Q *P]() {}
41
42 // various potentially ambiguous type parameter lists (issue #49482)
43 type _[P *T,] struct{}
44 type _[P *T, _ any] struct{}
45 type _[P *T,] struct{}
46 type _[P *T, _ any] struct{}
47 type _[P T] struct{}
48 type _[P T, _ any] struct{}
49
50 type _[P *struct{}] struct{}
51 type _[P *struct{}] struct{}
52 type _[P []int] struct{}
53
54 // array type declarations
55 type _ [P(T)]struct{}
56 type _ [P((T))]struct{}
57 type _ [P * *T]struct{}
58 type _ [P * T]struct{}
59 type _ [P(*T)]struct{}
60 type _ [P(**T)]struct{}
61 type _ [P * T]struct{}
62 type _ [P*T - T]struct{}
63
64 type _[
65 P *T,
66 ] struct{}
67
68 // equivalent test cases for potentially ambiguous type parameter lists, except
69 // for function declarations there is no ambiguity (issue #51548)
70 func _[P *T]() {}
71 func _[P *T, _ any]() {}
72 func _[P *T]() {}
73 func _[P *T, _ any]() {}
74 func _[P T]() {}
75 func _[P T, _ any]() {}
76
77 func _[P *struct{}]() {}
78 func _[P *struct{}]() {}
79 func _[P []int]() {}
80
81 func _[P T]() {}
82 func _[P T]() {}
83 func _[P **T]() {}
84 func _[P *T]() {}
85 func _[P *T]() {}
86 func _[P **T]() {}
87 func _[P *T]() {}
88
89 func _[
90 P *T,
91 ]() {
92 }
93
View as plain text