1
0
mirror of https://github.com/golang/go synced 2024-11-07 18:06:27 -07:00
go/test/typeparam/issue48253.go
Cuong Manh Le 2481f6e367 cmd/compile: fix wrong instantiated type for embedded receiver
In case of embedded field, if the receiver was fully instantiated, we
must use its instantiated type, instead of passing the type params of
the base receiver.

Fixes #47797
Fixes #48253

Change-Id: I97613e7e669a72605137e82406f7bf5fbb629378
Reviewed-on: https://go-review.googlesource.com/c/go/+/348549
Trust: Cuong Manh Le <cuong.manhle.vn@gmail.com>
Trust: Dan Scales <danscales@google.com>
Run-TryBot: Cuong Manh Le <cuong.manhle.vn@gmail.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Dan Scales <danscales@google.com>
2021-09-09 03:31:51 +00:00

35 lines
567 B
Go

// run -gcflags="-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
import (
"reflect"
)
type A[T any] struct {
B[int]
}
type B[T any] struct {
}
func (b B[T]) Bat() {
t := new(T)
if tt := reflect.TypeOf(t); tt.Kind() != reflect.Pointer || tt.Elem().Kind() != reflect.Int {
panic("unexpected type, want: *int, got: "+tt.String())
}
}
type Foo struct {
A[string]
}
func main() {
Foo{}.A.Bat()
Foo{}.A.B.Bat()
Foo{}.Bat()
}