Source file test/typeparam/issue48617.go

     1  // run
     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[T any]() {
    20  	var b Bar[T] = func() Bar[T] {
    21  		var b Bar[T]
    22  		return b
    23  	}
    24  	var _ Foo[T] = b()
    25  }
    26  
    27  func main() {
    28  	abc[int]()
    29  }
    30  

View as plain text