diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-28 13:16:40 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-28 13:16:40 +0000 |
commit | 47ab3d4a42e9ab51c465c4322d2ec233f6324e6b (patch) | |
tree | a61a0ffd83f4a3def4b36e5c8e99630c559aa723 /test/fixedbugs/issue9017.go | |
parent | Initial commit. (diff) | |
download | golang-1.18-47ab3d4a42e9ab51c465c4322d2ec233f6324e6b.tar.xz golang-1.18-47ab3d4a42e9ab51c465c4322d2ec233f6324e6b.zip |
Adding upstream version 1.18.10.upstream/1.18.10upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'test/fixedbugs/issue9017.go')
-rw-r--r-- | test/fixedbugs/issue9017.go | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/test/fixedbugs/issue9017.go b/test/fixedbugs/issue9017.go new file mode 100644 index 0000000..5659785 --- /dev/null +++ b/test/fixedbugs/issue9017.go @@ -0,0 +1,57 @@ +// errorcheck + +// Copyright 2014 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. + +// Issue 9017: Method selector shouldn't automatically dereference a named pointer type. + +package main + +type T struct{ x int } + +func (T) mT() {} + +type S struct { + T +} + +func (S) mS() {} + +type P *S + +type I interface { + mT() +} + +func main() { + var s S + s.T.mT() + s.mT() // == s.T.mT() + + var i I + _ = i + i = s.T + i = s + + var ps = &s + ps.mS() + ps.T.mT() + ps.mT() // == ps.T.mT() + + i = ps.T + i = ps + + var p P = ps + (*p).mS() + p.mS() // ERROR "undefined" + + i = *p + i = p // ERROR "cannot use|incompatible types" + + p.T.mT() + p.mT() // ERROR "undefined" + + i = p.T + i = p // ERROR "cannot use|incompatible types" +} |