diff options
author | Robert Griesemer <gri@golang.org> | 2021-05-06 14:46:40 -0700 |
---|---|---|
committer | Robert Griesemer <gri@golang.org> | 2021-05-07 03:55:29 +0000 |
commit | f5423ea615b94455e4f6b9cbee491b492bf2e1fe (patch) | |
tree | b6b62cdfa4edbea65ff40f4cb2f04802db44c1d2 /src/cmd | |
parent | 832c70e33d8265116f0abce436215b8e9ee4bb08 (diff) | |
download | go-f5423ea615b94455e4f6b9cbee491b492bf2e1fe.tar.gz go-f5423ea615b94455e4f6b9cbee491b492bf2e1fe.zip |
cmd/compile/internal/types2: add test case for issue 45985
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>
Diffstat (limited to 'src/cmd')
-rw-r--r-- | src/cmd/compile/internal/types2/infer.go | 2 | ||||
-rw-r--r-- | src/cmd/compile/internal/types2/testdata/fixedbugs/issue45985.go2 | 14 |
2 files changed, 15 insertions, 1 deletions
diff --git a/src/cmd/compile/internal/types2/infer.go b/src/cmd/compile/internal/types2/infer.go index c136823fd8..f37d7f6477 100644 --- a/src/cmd/compile/internal/types2/infer.go +++ b/src/cmd/compile/internal/types2/infer.go @@ -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 // remaining type parameters by substituting the type parameters in this type list // until nothing changes anymore. - types, index = u.x.types() + types, _ = u.x.types() if debug { for i, targ := range targs { assert(targ == nil || types[i] == targ) diff --git a/src/cmd/compile/internal/types2/testdata/fixedbugs/issue45985.go2 b/src/cmd/compile/internal/types2/testdata/fixedbugs/issue45985.go2 new file mode 100644 index 0000000000..7678e348ef --- /dev/null +++ b/src/cmd/compile/internal/types2/testdata/fixedbugs/issue45985.go2 @@ -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] +} |