From ccd992355df7192993c666236047820244914598 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Tue, 16 Apr 2024 21:19:13 +0200 Subject: Adding upstream version 1.21.8. Signed-off-by: Daniel Baumann --- test/fixedbugs/issue9370.go | 127 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 127 insertions(+) create mode 100644 test/fixedbugs/issue9370.go (limited to 'test/fixedbugs/issue9370.go') diff --git a/test/fixedbugs/issue9370.go b/test/fixedbugs/issue9370.go new file mode 100644 index 0000000..1a45103 --- /dev/null +++ b/test/fixedbugs/issue9370.go @@ -0,0 +1,127 @@ +// errorcheck + +// Copyright 2014 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. + +// Verify that concrete/interface comparisons are +// typechecked correctly by the compiler. + +package main + +type I interface { + Method() +} + +type C int + +func (C) Method() {} + +type G func() + +func (G) Method() {} + +var ( + e interface{} + i I + c C + n int + f func() + g G +) + +var ( + _ = e == c + _ = e != c + _ = e >= c // ERROR "invalid operation.*not defined|invalid comparison|cannot compare" + _ = c == e + _ = c != e + _ = c >= e // ERROR "invalid operation.*not defined|invalid comparison|cannot compare" + + _ = i == c + _ = i != c + _ = i >= c // ERROR "invalid operation.*not defined|invalid comparison|cannot compare" + _ = c == i + _ = c != i + _ = c >= i // ERROR "invalid operation.*not defined|invalid comparison|cannot compare" + + _ = e == n + _ = e != n + _ = e >= n // ERROR "invalid operation.*not defined|invalid comparison|cannot compare" + _ = n == e + _ = n != e + _ = n >= e // ERROR "invalid operation.*not defined|invalid comparison|cannot compare" + + // i and n are not assignable to each other + _ = i == n // ERROR "invalid operation.*mismatched types|incompatible types" + _ = i != n // ERROR "invalid operation.*mismatched types|incompatible types" + _ = i >= n // ERROR "invalid operation.*mismatched types|incompatible types" + _ = n == i // ERROR "invalid operation.*mismatched types|incompatible types" + _ = n != i // ERROR "invalid operation.*mismatched types|incompatible types" + _ = n >= i // ERROR "invalid operation.*mismatched types|incompatible types" + + _ = e == 1 + _ = e != 1 + _ = e >= 1 // ERROR "invalid operation.*not defined|invalid comparison" + _ = 1 == e + _ = 1 != e + _ = 1 >= e // ERROR "invalid operation.*not defined|invalid comparison" + + _ = i == 1 // ERROR "invalid operation.*mismatched types|incompatible types|cannot convert" + _ = i != 1 // ERROR "invalid operation.*mismatched types|incompatible types|cannot convert" + _ = i >= 1 // ERROR "invalid operation.*mismatched types|incompatible types|cannot convert" + _ = 1 == i // ERROR "invalid operation.*mismatched types|incompatible types|cannot convert" + _ = 1 != i // ERROR "invalid operation.*mismatched types|incompatible types|cannot convert" + _ = 1 >= i // ERROR "invalid operation.*mismatched types|incompatible types|cannot convert" + + _ = e == f // ERROR "invalid operation.*not defined|invalid operation" + _ = e != f // ERROR "invalid operation.*not defined|invalid operation" + _ = e >= f // ERROR "invalid operation.*not defined|invalid comparison" + _ = f == e // ERROR "invalid operation.*not defined|invalid operation" + _ = f != e // ERROR "invalid operation.*not defined|invalid operation" + _ = f >= e // ERROR "invalid operation.*not defined|invalid comparison" + + _ = i == f // ERROR "invalid operation.*mismatched types|incompatible types" + _ = i != f // ERROR "invalid operation.*mismatched types|incompatible types" + _ = i >= f // ERROR "invalid operation.*mismatched types|incompatible types" + _ = f == i // ERROR "invalid operation.*mismatched types|incompatible types" + _ = f != i // ERROR "invalid operation.*mismatched types|incompatible types" + _ = f >= i // ERROR "invalid operation.*mismatched types|incompatible types" + + _ = e == g // ERROR "invalid operation.*not defined|invalid operation" + _ = e != g // ERROR "invalid operation.*not defined|invalid operation" + _ = e >= g // ERROR "invalid operation.*not defined|invalid comparison" + _ = g == e // ERROR "invalid operation.*not defined|invalid operation" + _ = g != e // ERROR "invalid operation.*not defined|invalid operation" + _ = g >= e // ERROR "invalid operation.*not defined|invalid comparison" + + _ = i == g // ERROR "invalid operation.*not defined|invalid operation" + _ = i != g // ERROR "invalid operation.*not defined|invalid operation" + _ = i >= g // ERROR "invalid operation.*not defined|invalid comparison" + _ = g == i // ERROR "invalid operation.*not defined|invalid operation" + _ = g != i // ERROR "invalid operation.*not defined|invalid operation" + _ = g >= i // ERROR "invalid operation.*not defined|invalid comparison" + + _ = _ == e // ERROR "cannot use .*_.* as value" + _ = _ == i // ERROR "cannot use .*_.* as value" + _ = _ == c // ERROR "cannot use .*_.* as value" + _ = _ == n // ERROR "cannot use .*_.* as value" + _ = _ == f // ERROR "cannot use .*_.* as value" + _ = _ == g // ERROR "cannot use .*_.* as value" + + _ = e == _ // ERROR "cannot use .*_.* as value" + _ = i == _ // ERROR "cannot use .*_.* as value" + _ = c == _ // ERROR "cannot use .*_.* as value" + _ = n == _ // ERROR "cannot use .*_.* as value" + _ = f == _ // ERROR "cannot use .*_.* as value" + _ = g == _ // ERROR "cannot use .*_.* as value" + + _ = _ == _ // ERROR "cannot use .*_.* as value" + + _ = e ^ c // ERROR "invalid operation.*mismatched types|incompatible types" + _ = c ^ e // ERROR "invalid operation.*mismatched types|incompatible types" + _ = 1 ^ e // ERROR "invalid operation.*mismatched types|incompatible types" + _ = e ^ 1 // ERROR "invalid operation.*mismatched types|incompatible types" + _ = 1 ^ c + _ = c ^ 1 +) -- cgit v1.2.3