| // Copyright 2022 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 ( |
| T1 interface{ comparable } |
| T2 interface{ int } |
| ) |
| |
| var ( |
| _ comparable // ERROR cannot use type comparable outside a type constraint: interface is \(or embeds\) comparable |
| _ T1 // ERROR cannot use type T1 outside a type constraint: interface is \(or embeds\) comparable |
| _ T2 // ERROR cannot use type T2 outside a type constraint: interface contains type constraints |
| ) |
