1
0
mirror of https://github.com/golang/go synced 2024-11-14 14:10:29 -07:00
go/test/typeparam/issue50690b.go
Robert Griesemer b8248fab89 go/types, types2: disable field accesses through type parameters
This is a feature that is not understood well enough and may have
subtle repercussions impacting future changes. Disable for Go 1.18.

The actual change is trivial: disable a branch through a flag.
The remaining changes are adjustments to tests.

Fixes #51576.

Change-Id: Ib77b038b846711a808315a8889b3904e72367bce
Reviewed-on: https://go-review.googlesource.com/c/go/+/391135
Trust: Robert Griesemer <gri@golang.org>
Run-TryBot: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>
2022-03-09 21:26:42 +00:00

52 lines
916 B
Go

// 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],
},
)
}