cmd/compile: fix stencil call expression.

Fixes: #47878

Change-Id: I369350813726fd518b4eab2b98f43bf031a6dee6
Reviewed-on: https://go-review.googlesource.com/c/go/+/344210
Reviewed-by: Dan Scales <danscales@google.com>
Trust: Dan Scales <danscales@google.com>
Trust: Keith Randall <khr@golang.org>
Run-TryBot: Dan Scales <danscales@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
This commit is contained in:
wdvxdr 2021-08-23 00:48:10 +08:00 committed by Dan Scales
parent 099b819085
commit 08d4cc20ca
2 changed files with 53 additions and 0 deletions

View file

@ -1048,6 +1048,13 @@ func (subst *subster) node(n ir.Node) ir.Node {
case ir.OCLOSURE:
transformCall(call)
case ir.ODEREF, ir.OINDEX, ir.OINDEXMAP, ir.ORECV:
// Transform a call that was delayed because of the
// use of typeparam inside an expression that required
// a pointer dereference, array indexing, map indexing,
// or channel receive to compute function value.
transformCall(call)
case ir.OFUNCINST:
// A call with an OFUNCINST will get transformed
// in stencil() once we have created & attached the

View file

@ -0,0 +1,46 @@
// compile -G=3
// 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 main
type Src1[T any] func() Src1[T]
func (s *Src1[T]) Next() {
*s = (*s)()
}
type Src2[T any] []func() Src2[T]
func (s Src2[T]) Next() {
_ = s[0]()
}
type Src3[T comparable] map[T]func() Src3[T]
func (s Src3[T]) Next() {
var a T
_ = s[a]()
}
type Src4[T any] chan func() T
func (s Src4[T]) Next() {
_ = (<-s)()
}
func main() {
var src1 Src1[int]
src1.Next()
var src2 Src2[int]
src2.Next()
var src3 Src3[string]
src3.Next()
var src4 Src4[int]
src4.Next()
}