From 43a123c1ae6613b3efeed291fa552ecd909d3acf Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Tue, 16 Apr 2024 21:23:18 +0200 Subject: Adding upstream version 1.20.14. Signed-off-by: Daniel Baumann --- test/declbad.go | 67 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 67 insertions(+) create mode 100644 test/declbad.go (limited to 'test/declbad.go') 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 + } +} -- cgit v1.2.3