Stowage/go
2
0
Fork 0
mirror of https://github.com/golang/go.git synced 2025-12-08 06:10:04 +00:00
Code Issues Projects Releases Packages Wiki Activity

cmd/compile/internal/types2: add test case for issue 45985

Browse source 
This is a port of https://golang.org/cl/317471.

Updates #45985.

Change-Id: I539d0fa6f9a77eb2fc169a21c5db9921f8eceb03
Reviewed-on: https://go-review.googlesource.com/c/go/+/317732
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
This commit is contained in:
Robert Griesemer 2021-05-06 14:46:40 -07:00
parent 832c70e33d
commit f5423ea615
2 changed files with 15 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/cmd/compile/internal/types2/infer.go
View file

@ -417,7 +417,7 @@ func (check *Checker) inferB(tparams []*TypeName, targs []Type, report bool) (ty
// was given, unification produced the type list [int, []C, *A]. We eliminate the // was given, unification produced the type list [int, []C, *A]. We eliminate the
// remaining type parameters by substituting the type parameters in this type list // remaining type parameters by substituting the type parameters in this type list
// until nothing changes anymore. // until nothing changes anymore.
types, index = u.x.types() types, _ = u.x.types()
if debug { if debug {
for i, targ := range targs { for i, targ := range targs {
assert(targ == nil || types[i] == targ) assert(targ == nil || types[i] == targ)

14
src/cmd/compile/internal/types2/testdata/fixedbugs/issue45985.go2 vendored Normal file
View file

@ -0,0 +1,14 @@
// Copyright 2021 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 issue45985
// TODO(gri): this error should be on app[int] below.
func app[S /* ERROR "type S = S does not match" */ interface{ type []T }, T any](s S, e T) S {
return append(s, e)
}
func _() {
_ = app[int]
}