golang/test/fixedbugs/issue65362.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)
}