// 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.

package p

type G[P any] int

type (
	_ G[int]
	_ G[G /* ERROR "cannot use.*without instantiation" */]
	_ bool /* ERROR "invalid operation: bool\[int\] \(bool is not a generic type\)" */ [int]
	_ bool /* ERROR "invalid operation: bool\[G\] \(bool is not a generic type\)" */[G]
)

// The example from the issue.
func _() {
	_ = &([10]bool /* ERROR "invalid operation.*bool is not a generic type" */ [1 /* ERROR "expected type" */ ]{})
}