diff options
author | Wayne Zuo <wdvxdr@golangcn.org> | 2022-06-16 11:05:39 +0800 |
---|---|---|
committer | Gopher Robot <gobot@golang.org> | 2022-06-22 16:25:18 +0000 |
commit | 4045b1bc3f97a47274ef1da2bf6d29f5ce1c7b88 (patch) | |
tree | b39c527aae3a431e2c6497adbede0b77a427b57a /test/typeparam | |
parent | 6bad7e82430bb1eb927a2901f44f9664637db27d (diff) | |
download | go-4045b1bc3f97a47274ef1da2bf6d29f5ce1c7b88.tar.gz go-4045b1bc3f97a47274ef1da2bf6d29f5ce1c7b88.zip |
cmd/compile: fix assert condition in generic method call
Fixes #53406.
Change-Id: If7ae39ec1042a792d82a0a2de96d168c22d8ab71
Reviewed-on: https://go-review.googlesource.com/c/go/+/412614
Reviewed-by: Keith Randall <khr@google.com>
Reviewed-by: Cuong Manh Le <cuong.manhle.vn@gmail.com>
TryBot-Result: Gopher Robot <gobot@golang.org>
Reviewed-by: Alex Rakoczy <alex@golang.org>
Auto-Submit: Alex Rakoczy <alex@golang.org>
Reviewed-by: Keith Randall <khr@golang.org>
Run-TryBot: Wayne Zuo <wdvxdr@golangcn.org>
Diffstat (limited to 'test/typeparam')
-rw-r--r-- | test/typeparam/issue53406.go | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/test/typeparam/issue53406.go b/test/typeparam/issue53406.go new file mode 100644 index 0000000000..90fe78fb6f --- /dev/null +++ b/test/typeparam/issue53406.go @@ -0,0 +1,22 @@ +// compile + +// 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 + +func main() { + f[int]() +} + +func f[T1 any]() { + var x Outer[T1, int] + x.M() +} + +type Outer[T1, T2 any] struct{ Inner[T2] } + +type Inner[_ any] int + +func (Inner[_]) M() {} |