| // compile | |
| // Copyright 2020 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. | |
| // Issue 39678, 39881. | |
| package p | |
| type B[T any] struct { | |
| T | |
| } | |
| type C struct { | |
| F int | |
| } | |
| type BC B[C] | |
| func F(s BC) { | |
| s.F = 7 | |
| } | |
| type Pair[T, U any] struct { | |
| T | |
| U | |
| } | |
| func (p Pair[T, U]) M() { | |
| _, _ = p.T, p.U | |
| } | |
| var V1 Pair[Pair[int, int], int] | |
| var V2 Pair[struct { p Pair[int, int] }, int] |