mirror of
https://github.com/golang/go
synced 2024-11-22 21:00:04 -07:00
8b48290895
When shapifying recursive instantiated types, the compiler ends up leaving the type as-is if it already has been a shape type. However, if both of type arguments are interfaces, and one of them is a recursive one, it ends up being shaped as-is, while the other is shaped to its underlying, causing mismatch in function signature. Fixing this by shapifying an interface type as-is, if it is fully instantiated and already been a shape type. Fixes #65362 Fixes #66663 Change-Id: I839d266e0443b41238b1b7362aca09adc0177362 Reviewed-on: https://go-review.googlesource.com/c/go/+/559656 Auto-Submit: Cuong Manh Le <cuong.manhle.vn@gmail.com> LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com> Reviewed-by: Cherry Mui <cherryyz@google.com> Reviewed-by: Keith Randall <khr@google.com> Reviewed-by: Keith Randall <khr@golang.org>
32 lines
546 B
Go
32 lines
546 B
Go
// compile
|
|
|
|
// Copyright 2024 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 Vector[V any] interface {
|
|
ReadVector[V]
|
|
}
|
|
|
|
type ReadVector[V any] interface {
|
|
Comparisons[ReadVector[V], Vector[V]]
|
|
}
|
|
|
|
type Comparisons[RV, V any] interface {
|
|
Diff(RV) V
|
|
}
|
|
|
|
type VectorImpl[V any] struct{}
|
|
|
|
func (*VectorImpl[V]) Diff(ReadVector[V]) (_ Vector[V]) {
|
|
return
|
|
}
|
|
|
|
func main() {
|
|
var v1 VectorImpl[int]
|
|
var v2 Vector[int]
|
|
_ = v1.Diff(v2)
|
|
}
|