| // 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 a | |
| type R[T any] struct{ v T } | |
| func (r R[T]) Self() R[T] { return R[T]{} } | |
| type Fn[T any] func() R[T] | |
| func X() (r R[int]) { return r.Self() } | |
| func Y[T any](a Fn[T]) Fn[int] { | |
| return func() (r R[int]) { | |
| // No crash: return R[int]{} | |
| return r.Self() | |
| } | |
| } |