| // 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 |
| |
| func _[P comparable](x, y P) { |
| _ = x == x |
| _ = x == y |
| _ = y == x |
| _ = y == y |
| |
| _ = x /* ERROR "type parameter P is not comparable with <" */ < y |
| } |
| |
| func _[P comparable](x P, y any) { |
| _ = x == x |
| _ = x == y |
| _ = y == x |
| _ = y == y |
| |
| _ = x /* ERROR "type parameter P is not comparable with <" */ < y |
| } |
| |
| func _[P any](x, y P) { |
| _ = x /* ERROR "incomparable types in type set" */ == x |
| _ = x /* ERROR "incomparable types in type set" */ == y |
| _ = y /* ERROR "incomparable types in type set" */ == x |
| _ = y /* ERROR "incomparable types in type set" */ == y |
| |
| _ = x /* ERROR "type parameter P is not comparable with <" */ < y |
| } |
| |
| func _[P any](x P, y any) { |
| _ = x /* ERROR "incomparable types in type set" */ == x |
| _ = x /* ERROR "incomparable types in type set" */ == y |
| _ = y == x // ERROR "incomparable types in type set" |
| _ = y == y |
| |
| _ = x /* ERROR "type parameter P is not comparable with <" */ < y |
| } |