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 }