summaryrefslogtreecommitdiffstats
path: root/test/declbad.go
diff options
context:
space:
mode:
Diffstat (limited to 'test/declbad.go')
-rw-r--r--test/declbad.go67
1 files changed, 67 insertions, 0 deletions
diff --git a/test/declbad.go b/test/declbad.go
new file mode 100644
index 0000000..b978652
--- /dev/null
+++ b/test/declbad.go
@@ -0,0 +1,67 @@
+// 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.
+
+// Test that incorrect short declarations and redeclarations are detected.
+// Does not compile.
+
+package main
+
+func f1() int { return 1 }
+func f2() (float32, int) { return 1, 2 }
+func f3() (float32, int, string) { return 1, 2, "3" }
+
+func main() {
+ {
+ // simple redeclaration
+ i := f1()
+ i := f1() // ERROR "redeclared|no new"
+ _ = i
+ }
+ {
+ // change of type for f
+ i, f, s := f3()
+ f, g, t := f3() // ERROR "redeclared|cannot assign|incompatible|cannot use"
+ _, _, _, _, _ = i, f, s, g, t
+ }
+ {
+ // change of type for i
+ i, f, s := f3()
+ j, i, t := f3() // ERROR "redeclared|cannot assign|incompatible|cannot use"
+ _, _, _, _, _ = i, f, s, j, t
+ }
+ {
+ // no new variables
+ i, f, s := f3()
+ i, f := f2() // ERROR "redeclared|no new"
+ _, _, _ = i, f, s
+ }
+ {
+ // multiline no new variables
+ i := f1
+ i := func() int { // ERROR "redeclared|no new|incompatible"
+ return 0
+ }
+ _ = i
+ }
+ {
+ // single redeclaration
+ i, f, s := f3()
+ i := 1 // ERROR "redeclared|no new|incompatible"
+ _, _, _ = i, f, s
+ }
+ // double redeclaration
+ {
+ i, f, s := f3()
+ i, f := f2() // ERROR "redeclared|no new"
+ _, _, _ = i, f, s
+ }
+ {
+ // triple redeclaration
+ i, f, s := f3()
+ i, f, s := f3() // ERROR "redeclared|no new"
+ _, _, _ = i, f, s
+ }
+}