1// errorcheck
2
3// Copyright 2011 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
7// Issue 1871.
8
9package p
10
11type a interface {
12	foo(x int) (x int) // ERROR "duplicate argument|redefinition|redeclared"
13}
14
15/*
16Previously:
17
18bug.go:1 x redclared in this block
19    previous declaration at bug.go:1
20*/
21