mirror of
https://github.com/golang/go
synced 2024-09-05 07:54:46 +00:00
test: add regress test for #53419
This currently works with GOEXPERIMENT=unified. Add a regress test to make sure it stays that way. Updates #53419. Change-Id: I2ea1f9039c59807fbd497d69a0420771f8d6d035 Reviewed-on: https://go-review.googlesource.com/c/go/+/413014 Run-TryBot: Matthew Dempsky <mdempsky@google.com> Auto-Submit: Matthew Dempsky <mdempsky@google.com> Reviewed-by: Robert Griesemer <gri@google.com> TryBot-Result: Gopher Robot <gobot@golang.org>
This commit is contained in:
parent
103cc661f1
commit
ec58e3f327
|
@ -177,6 +177,7 @@ func TestImportTypeparamTests(t *testing.T) {
|
||||||
"equal.go": "inconsistent embedded sorting", // TODO(rfindley): investigate this.
|
"equal.go": "inconsistent embedded sorting", // TODO(rfindley): investigate this.
|
||||||
"nested.go": "fails to compile", // TODO(rfindley): investigate this.
|
"nested.go": "fails to compile", // TODO(rfindley): investigate this.
|
||||||
"issue50417.go": "inconsistent interface member sorting",
|
"issue50417.go": "inconsistent interface member sorting",
|
||||||
|
"issue53419.go": "fails to compile",
|
||||||
}
|
}
|
||||||
|
|
||||||
for _, entry := range list {
|
for _, entry := range list {
|
||||||
|
|
|
@ -1966,6 +1966,7 @@ var types2Failures32Bit = setOf(
|
||||||
var go118Failures = setOf(
|
var go118Failures = setOf(
|
||||||
"typeparam/nested.go", // 1.18 compiler doesn't support function-local types with generics
|
"typeparam/nested.go", // 1.18 compiler doesn't support function-local types with generics
|
||||||
"typeparam/issue51521.go", // 1.18 compiler produces bad panic message and link error
|
"typeparam/issue51521.go", // 1.18 compiler produces bad panic message and link error
|
||||||
|
"typeparam/issue53419.go", // 1.18 compiler mishandles generic selector resolution
|
||||||
)
|
)
|
||||||
|
|
||||||
// In all of these cases, the 1.17 compiler reports reasonable errors, but either the
|
// In all of these cases, the 1.17 compiler reports reasonable errors, but either the
|
||||||
|
|
28
test/typeparam/issue53419.go
Normal file
28
test/typeparam/issue53419.go
Normal file
|
@ -0,0 +1,28 @@
|
||||||
|
// run
|
||||||
|
|
||||||
|
// 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 main
|
||||||
|
|
||||||
|
type T1 struct{}
|
||||||
|
type T2 struct{}
|
||||||
|
type Both struct {
|
||||||
|
T1
|
||||||
|
T2
|
||||||
|
}
|
||||||
|
|
||||||
|
func (T1) m() { panic("FAIL") }
|
||||||
|
func (T2) m() { panic("FAIL") }
|
||||||
|
func (Both) m() {}
|
||||||
|
|
||||||
|
func f[T interface{ m() }](c T) {
|
||||||
|
c.m()
|
||||||
|
}
|
||||||
|
|
||||||
|
func main() {
|
||||||
|
var b Both
|
||||||
|
b.m()
|
||||||
|
f(b)
|
||||||
|
}
|
Loading…
Reference in a new issue