Your IP : 172.28.240.42
// 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.
// Field accesses through type parameters are disabled
// until we have a more thorough understanding of the
// implications on the spec. See issue #51576.
package p
type Sf struct {
f int
}
func f0[P Sf](p P) {
_ = p.f // ERROR "p.f undefined"
p.f /* ERROR "p.f undefined" */ = 0
}
func f0t[P ~struct{f int}](p P) {
_ = p.f // ERROR "p.f undefined"
p.f /* ERROR "p.f undefined" */ = 0
}
var _ = f0[Sf]
var _ = f0t[Sf]
var _ = f0[Sm /* ERROR "does not satisfy" */ ]
var _ = f0t[Sm /* ERROR "does not satisfy" */ ]
func f1[P interface{ Sf; m() }](p P) {
_ = p.f // ERROR "p.f undefined"
p.f /* ERROR "p.f undefined" */ = 0
p.m()
}
var _ = f1[Sf /* ERROR "missing method m" */ ]
var _ = f1[Sm /* ERROR "does not satisfy" */ ]
type Sm struct {}
func (Sm) m() {}
type Sfm struct {
f int
}
func (Sfm) m() {}
func f2[P interface{ Sfm; m() }](p P) {
_ = p.f // ERROR "p.f undefined"
p.f /* ERROR "p.f undefined" */ = 0
p.m()
}
var _ = f2[Sfm]
// special case: core type is a named pointer type
type PSfm *Sfm
func f3[P interface{ PSfm }](p P) {
_ = p.f // ERROR "p.f undefined"
p.f /* ERROR "p.f undefined" */ = 0
p.m /* ERROR "type P has no field or method m" */ ()
}
var _ = f3[PSfm]