blob: aaa850e7191c96171eaa173a44dd4033b7b43883 [file] [log] [blame]
Russ Cox57eb06f2012-02-16 23:51:04 -05001// errorcheck
Russ Coxd289e632008-11-04 09:45:27 -08002
3// Copyright 2009 The Go Authors. All rights reserved.
4// Use of this source code is governed by a BSD-style
5// license that can be found in the LICENSE file.
6
Rob Pike501f0b52012-02-23 18:47:26 +11007// Verify that pointers and interface types cannot be method receivers.
8// Does not compile.
9
Russ Coxd289e632008-11-04 09:45:27 -080010package main
11
Russ Cox00ffd592010-09-28 13:43:50 -040012type T struct {
13 a int
14}
Russ Cox839a6842009-01-20 14:40:40 -080015type P *T
16type P1 *T
Russ Coxd289e632008-11-04 09:45:27 -080017
Ian Lance Taylor9169c272011-09-21 17:25:48 -070018func (p P) val() int { return 1 } // ERROR "receiver.* pointer|invalid pointer or interface receiver"
19func (p *P1) val() int { return 1 } // ERROR "receiver.* pointer|invalid pointer or interface receiver"
Russ Cox4684df52011-04-25 17:16:44 -040020
21type I interface{}
22type I1 interface{}
23
Rémy Oudomphenga9e119a2013-08-29 10:00:58 +020024func (p I) val() int { return 1 } // ERROR "receiver.*interface|invalid pointer or interface receiver"
Ian Lance Taylor9169c272011-09-21 17:25:48 -070025func (p *I1) val() int { return 1 } // ERROR "receiver.*interface|invalid pointer or interface receiver"
Russ Cox00ffd592010-09-28 13:43:50 -040026
27type Val interface {
28 val() int
29}
30
31var _ = (*Val).val // ERROR "method"
Russ Coxbee2d5b2010-09-30 14:59:41 -040032
33var v Val
34var pv = &v
35
Rémy Oudomphenga9e119a2013-08-29 10:00:58 +020036var _ = pv.val() // ERROR "method"
37var _ = pv.val // ERROR "method"