Your IP : 172.28.240.42
// 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
// Interface types must be ignored during overlap test.
type (
T1 interface{int}
T2 interface{~int}
T3 interface{T1 | bool | string}
T4 interface{T2 | ~bool | ~string}
)
type (
// overlap errors for non-interface terms
// (like the interface terms, but explicitly inlined)
_ interface{int | int /* ERROR "overlapping terms int and int" */ }
_ interface{int | ~ /* ERROR "overlapping terms ~int and int" */ int}
_ interface{~int | int /* ERROR "overlapping terms int and ~int" */ }
_ interface{~int | ~ /* ERROR "overlapping terms ~int and ~int" */ int}
_ interface{T1 | bool | string | T1 | bool /* ERROR "overlapping terms bool and bool" */ | string /* ERROR "overlapping terms string and string" */ }
_ interface{T1 | bool | string | T2 | ~ /* ERROR "overlapping terms ~bool and bool" */ bool | ~ /* ERROR "overlapping terms ~string and string" */ string}
// no errors for interface terms
_ interface{T1 | T1}
_ interface{T1 | T2}
_ interface{T2 | T1}
_ interface{T2 | T2}
_ interface{T3 | T3 | int}
_ interface{T3 | T4 | bool }
_ interface{T4 | T3 | string }
_ interface{T4 | T4 | float64 }
)
func _[_ T1 | bool | string | T1 | bool /* ERROR "overlapping terms" */ ]() {}
func _[_ T1 | bool | string | T2 | ~ /* ERROR "overlapping terms" */ bool ]() {}
func _[_ T2 | ~bool | ~string | T1 | bool /* ERROR "overlapping terms" */ ]() {}
func _[_ T2 | ~bool | ~string | T2 | ~ /* ERROR "overlapping terms" */ bool ]() {}
func _[_ T3 | T3 | int]() {}
func _[_ T3 | T4 | bool]() {}
func _[_ T4 | T3 | string]() {}
func _[_ T4 | T4 | float64]() {}
// test cases from issue
type _ interface {
interface {bool | int} | interface {bool | string}
}
type _ interface {
interface {bool | int} ; interface {bool | string}
}
type _ interface {
interface {bool; int} ; interface {bool; string}
}
type _ interface {
interface {bool; int} | interface {bool; string}
}