Your IP : 172.28.240.42

Current Path : /usr/local/go/src/internal/types/testdata/fixedbugs/
Upload File :
Current File : //usr/local/go/src/internal/types/testdata/fixedbugs/issue48712.go

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