Commit 459da216 authored by Robert Griesemer's avatar Robert Griesemer

issue 1402: added test case

R=rsc
CC=golang-dev
https://golang.org/cl/4079063
parent 4ecebfea
// Copyright 2011 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 lib
type T struct {
x int // non-exported field
}
func (t T) M() {
}
func (t *T) PM() {
}
// Copyright 2011 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 "./lib"
type I interface {
M()
}
type PI interface {
PM()
}
func main() {
var t lib.T
t.M()
t.PM()
var i1 I = t
i1.M()
// This combination is illegal because
// PM requires a pointer receiver.
// var pi1 PI = t
// pi1.PM()
var pt = &t
pt.M()
pt.PM()
var i2 I = pt
i2.M()
var pi2 PI = pt
pi2.PM()
}
/*
These should not be errors anymore:
bug322.dir/main.go:19: implicit assignment of unexported field 'x' of lib.T in method receiver
bug322.dir/main.go:22: implicit assignment of unexported field 'x' of lib.T in assignment
bug322.dir/main.go:31: implicit assignment of unexported field 'x' of lib.T in method receiver
*/
\ No newline at end of file
// $G $D/$F.dir/lib.go && $G $D/$F.dir/main.go && $L main.$A && ./$A.out || echo BUG: fails incorrectly
// Copyright 2011 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.
// Test case for issue 1402.
ignored
......@@ -158,3 +158,9 @@ panic: interface conversion: interface is main.T, not main.T
== bugs/
=========== bugs/bug322.go
bugs/bug322.dir/main.go:19: implicit assignment of unexported field 'x' of lib.T in method receiver
bugs/bug322.dir/main.go:22: implicit assignment of unexported field 'x' of lib.T in assignment
bugs/bug322.dir/main.go:31: implicit assignment of unexported field 'x' of lib.T in method receiver
BUG: fails incorrectly
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment