blob: 87c26937f3a47bbf2059fe0e09feaabc98f35523 [file] [log] [blame]
// $G $D/$F.go && $L $F.$A && ./$A.out
// Copyright 2009 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.
// Implicit methods for embedded types.
// Mixed pointer and non-pointer receivers.
package main
type T int
var nv, np int
func (t T) V() {
if t != 42 {
panic(t)
}
nv++
}
func (t *T) P() {
if *t != 42 {
panic(t, *t)
}
np++
}
type V interface { V() }
type P interface { P(); V() }
type S struct {
T;
}
type SP struct {
*T;
}
func main() {
var t T;
var v V;
var p P;
t = 42;
t.P();
t.V();
v = t;
v.V();
p = &t;
p.P();
p.V();
v = &t;
v.V();
// p = t; // ERROR
var i interface{} = t;
if _, ok := i.(P); ok {
panicln("dynamic i.(P) succeeded incorrectly");
}
// println("--struct--");
var s S;
s.T = 42;
s.P();
s.V();
v = s;
s.V();
p = &s;
p.P();
p.V();
v = &s;
v.V();
// p = s; // ERROR
var j interface{} = s;
if _, ok := j.(P); ok {
panicln("dynamic j.(P) succeeded incorrectly");
}
// println("--struct pointer--");
var sp SP;
sp.T = &t;
sp.P();
sp.V();
v = sp;
sp.V();
p = &sp;
p.P();
p.V();
v = &sp;
v.V();
p = sp; // not error
p.P();
p.V();
if nv != 13 || np != 7 {
panicln("bad count", nv, np)
}
}