| // 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 |
| |
| func f[_ comparable]() {} |
| func g[_ interface{interface{comparable; ~int|~string}}]() {} |
| |
| func _[P comparable, |
| Q interface{ comparable; ~int|~string }, |
| R any, // not comparable |
| S interface{ comparable; ~func() }, // not comparable |
| ]() { |
| _ = f[int] |
| _ = f[P] |
| _ = f[Q] |
| _ = f[func /* ERROR does not satisfy comparable */ ()] |
| _ = f[R /* ERROR R has no constraints */ ] |
| |
| _ = g[int] |
| _ = g[P /* ERROR P has no type constraints */ ] |
| _ = g[Q] |
| _ = g[func /* ERROR does not satisfy comparable */()] |
| _ = g[R /* ERROR R has no constraints */ ] |
| } |
