-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathissue47127.go
37 lines (31 loc) · 1.96 KB
/
issue47127.go
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
// 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.
// Embedding of stand-alone type parameters is not permitted.
package p
type (
_[P any] interface{ *P | []P | chan P | map[string]P }
_[P any] interface{ P /* ERROR "term cannot be a type parameter" */ }
_[P any] interface{ ~P /* ERROR "type in term ~P cannot be a type parameter" */ }
_[P any] interface{ int | P /* ERROR "term cannot be a type parameter" */ }
_[P any] interface{ int | ~P /* ERROR "type in term ~P cannot be a type parameter" */ }
)
func _[P any]() {
type (
_[P any] interface{ *P | []P | chan P | map[string]P }
_[P any] interface{ P /* ERROR "term cannot be a type parameter" */ }
_[P any] interface{ ~P /* ERROR "type in term ~P cannot be a type parameter" */ }
_[P any] interface{ int | P /* ERROR "term cannot be a type parameter" */ }
_[P any] interface{ int | ~P /* ERROR "type in term ~P cannot be a type parameter" */ }
_ interface{ *P | []P | chan P | map[string]P }
_ interface{ P /* ERROR "term cannot be a type parameter" */ }
_ interface{ ~P /* ERROR "type in term ~P cannot be a type parameter" */ }
_ interface{ int | P /* ERROR "term cannot be a type parameter" */ }
_ interface{ int | ~P /* ERROR "type in term ~P cannot be a type parameter" */ }
)
}
func _[P any, Q interface{ *P | []P | chan P | map[string]P }]() {}
func _[P any, Q interface{ P /* ERROR "term cannot be a type parameter" */ }]() {}
func _[P any, Q interface{ ~P /* ERROR "type in term ~P cannot be a type parameter" */ }]() {}
func _[P any, Q interface{ int | P /* ERROR "term cannot be a type parameter" */ }]() {}
func _[P any, Q interface{ int | ~P /* ERROR "type in term ~P cannot be a type parameter" */ }]() {}