// 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" */ }]() {}