| // 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) |
| } |
