Source file test/typeparam/issue48604.go
1 // build 2 3 // Copyright 2021 The Go Authors. All rights reserved. 4 // Use of this source code is governed by a BSD-style 5 // license that can be found in the LICENSE file. 6 7 package main 8 9 type Foo[T any] interface { 10 CreateBar() Bar[T] 11 } 12 13 type Bar[T any] func() Bar[T] 14 15 func (f Bar[T]) CreateBar() Bar[T] { 16 return f 17 } 18 19 func abc[R any]() { 20 var _ Foo[R] = Bar[R](nil)() 21 } 22 23 func main() { 24 abc[int]() 25 }