| Server IP : 2.57.91.136 / Your IP : 216.73.216.114 Web Server : LiteSpeed System : Linux id-dci-web1986.main-hosting.eu 5.14.0-611.26.1.el9_7.x86_64 #1 SMP PREEMPT_DYNAMIC Thu Jan 29 05:24:47 EST 2026 x86_64 User : u686484674 ( 686484674) PHP Version : 8.0.30 Disable Function : system, exec, shell_exec, passthru, mysql_list_dbs, ini_alter, dl, symlink, link, chgrp, leak, popen, apache_child_terminate, virtual, mb_send_mail MySQL : OFF | cURL : ON | WGET : ON | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /opt/golang/1.22.0/test/fixedbugs/ |
Upload File : |
// 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
)