go issue51607 源码

2022-07-26
浏览 (490)

golang issue51607 代码

文件路径：/src/go/types/testdata/fixedbugs/issue51607.go

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

相关信息

go 源码目录

相关文章

go issue20583 源码

go issue23203a 源码

go issue23203b 源码

go issue25838 源码

go issue26390 源码

go issue28251 源码

go issue39634 源码

go issue39664 源码

go issue39680 源码

go issue39693 源码

0 赞

所属分类： 后端技术
本文标签： golang
版权声明： 原创文章如转载，请注明本文链接: https://www.seaxiang.com/blog/82b5dfb135b34d0dbd7ef1a26cdcbbab

热门推荐

1、直接访问google.com
2、 - 优质文章
3、 gate.io
4、 harmony 鸿蒙hdc使用指导
5、 harmony 鸿蒙初识ArkTS语言
6、 harmony 鸿蒙ArkUI组件（ArkTS）开发常见问题
7、 flink kafka connector scan.startup.mode 的几个选项
8、 golang
9、 openharmony
10、 Vue中input框自动聚焦

Loading...