1 files changed, 41 insertions, 0 deletions
diff --git a/test/method2.go b/test/method2.go
new file mode 100644
index 0000000..0a497b4
--- /dev/null
+++ b/test/method2.go
@@ -0,0 +1,41 @@
+// errorcheck
+
+// 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.
+
+// Verify that pointers and interface types cannot be method receivers.
+// Does not compile.
+
+package main
+
+type T struct {
+	a int
+}
+type P *T
+type P1 *T
+
+func (p P) val() int   { return 1 } // ERROR "receiver.* pointer|invalid pointer or interface receiver|invalid receiver"
+func (p *P1) val() int { return 1 } // ERROR "receiver.* pointer|invalid pointer or interface receiver|invalid receiver"
+
+type I interface{}
+type I1 interface{}
+
+func (p I) val() int   { return 1 } // ERROR "receiver.*interface|invalid pointer or interface receiver"
+func (p *I1) val() int { return 1 } // ERROR "receiver.*interface|invalid pointer or interface receiver"
+
+type Val interface {
+	val() int
+}
+
+var _ = (*Val).val // ERROR "method|type \*Val is pointer to interface, not interface"
+
+var v Val
+var pv = &v
+
+var _ = pv.val() // ERROR "undefined|pointer to interface"
+var _ = pv.val   // ERROR "undefined|pointer to interface"
+
+func (t *T) g() int { return t.a }
+
+var _ = (T).g() // ERROR "needs pointer receiver|undefined|method requires pointer|cannot call pointer method"