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
|
// Copyright 2020 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 _[a /* ERROR "type parameters must be named" */, b] struct{}
type _[a t, b t, c /* ERROR "type parameters must be named" */ ] struct{}
type _ struct {
t [n]byte
t[a]
t[a,]
t[a, b]
t[a, b,]
}
type _ struct {
t [n, /* ERROR "unexpected comma; expecting ]" */ ]byte
}
type _ interface {
t[a]
t[a,]
m[ /* ERROR "method must have no type parameters" */ _ _, /* ERROR mixed */ _]()
t[a, b]
t[a, b,]
}
func _[] /* ERROR "empty type parameter list" */ ()
func _[a /* ERROR "type parameters must be named" */, b ]()
func _[a t, b t, c /* ERROR "type parameters must be named" */ ]()
// TODO(rfindley) incorrect error message (see existing TODO in parser)
func f[a b, 0 /* ERROR "expected '\)', found 0" */ ] ()
// issue #49482
type (
_[a *[]int] struct{}
_[a *t,] struct{}
_[a *t|[]int] struct{}
_[a *t|t,] struct{}
_[a *t|~t,] struct{}
_[a *struct{}|t] struct{}
_[a *t|struct{}] struct{}
_[a *struct{}|~t] struct{}
)
// issue #51488
type (
_[a *t|t,] struct{}
_[a *t|t, b t] struct{}
_[a *t|t] struct{}
_[a *[]t|t] struct{}
_[a ([]t)] struct{}
_[a ([]t)|t] struct{}
)
|
