| Linux in-mum-web1499.main-hosting.eu 5.14.0-503.40.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Mon May 5 06:06:04 EDT 2025 x86_64 Path : /opt/golang/1.22.0/test/typeparam/issue49246.dir/ |
| Current File : //opt/golang/1.22.0/test/typeparam/issue49246.dir/a.go |
// 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()
}
}