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