diff options
Diffstat (limited to 'test/typeparam/issue50690b.go')
-rw-r--r-- | test/typeparam/issue50690b.go | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/test/typeparam/issue50690b.go b/test/typeparam/issue50690b.go new file mode 100644 index 0000000..09c84e0 --- /dev/null +++ b/test/typeparam/issue50690b.go @@ -0,0 +1,51 @@ +// run + +// Copyright 2022 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 main + +import ( + "fmt" +) + +type Printer[T ~string] struct { + PrintFn func(T) +} + +func Print[T ~string](s T) { + fmt.Println(s) +} + +func PrintWithPrinter[T ~string, S interface { + ~struct { + ID T + PrintFn_ func(T) + } + PrintFn() func(T) +}](message T, obj S) { + obj.PrintFn()(message) +} + +type PrintShop[T ~string] struct { + ID T + PrintFn_ func(T) +} + +// Field accesses through type parameters are disabled +// until we have a more thorough understanding of the +// implications on the spec. See issue #51576. +// Use accessor method instead. + +func (s PrintShop[T]) PrintFn() func(T) { return s.PrintFn_ } + +func main() { + PrintWithPrinter( + "Hello, world.", + PrintShop[string]{ + ID: "fake", + PrintFn_: Print[string], + }, + ) +} |