mirror of
https://github.com/golang/go
synced 2024-11-16 20:14:48 -07:00
2481f6e367
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>
35 lines
567 B
Go
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()
|
|
}
|