aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/compile/internal/types2/testdata/fixedbugs/issue47127.go2
blob: 387c946957cd0436f5c9a39b6f4fe9d64d0c5355 (plain)
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 "cannot embed a type parameter" */ }
        _[P any] interface{ ~P /* ERROR "cannot embed a type parameter" */ }
        _[P any] interface{ int | P /* ERROR "cannot embed a type parameter" */ }
        _[P any] interface{ int | ~P /* ERROR "cannot embed a type parameter" */ }
)

func _[P any]() {
        type (
                _[P any] interface{ *P | []P | chan P | map[string]P }
                _[P any] interface{ P /* ERROR "cannot embed a type parameter" */ }
                _[P any] interface{ ~P /* ERROR "cannot embed a type parameter" */ }
                _[P any] interface{ int | P /* ERROR "cannot embed a type parameter" */ }
                _[P any] interface{ int | ~P /* ERROR "cannot embed a type parameter" */ }

                _ interface{ *P | []P | chan P | map[string]P }
                _ interface{ P /* ERROR "cannot embed a type parameter" */ }
                _ interface{ ~P /* ERROR "cannot embed a type parameter" */ }
                _ interface{ int | P /* ERROR "cannot embed a type parameter" */ }
                _ interface{ int | ~P /* ERROR "cannot embed a type parameter" */ }
        )
}

func _[P any, Q interface{ *P | []P | chan P | map[string]P }]()
func _[P any, Q interface{ P /* ERROR "cannot embed a type parameter" */ }]()
func _[P any, Q interface{ ~P /* ERROR "cannot embed a type parameter" */ }]()
func _[P any, Q interface{ int | P /* ERROR "cannot embed a type parameter" */ }]()
func _[P any, Q interface{ int | ~P /* ERROR "cannot embed a type parameter" */ }]()