golang issue9370 代码
文件路径：/test/fixedbugs/issue9370.go
/ 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
)