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/initializerr.go | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 test/initializerr.go (limited to 'test/initializerr.go') diff --git a/test/initializerr.go b/test/initializerr.go new file mode 100644 index 0000000..aae740d --- /dev/null +++ b/test/initializerr.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 erroneous initialization expressions are caught by the compiler +// Does not compile. + +package main + +type S struct { + A, B, C, X, Y, Z int +} + +type T struct { + S +} + +var x = 1 +var a1 = S{0, X: 1} // ERROR "mixture|undefined" "too few values" +var a2 = S{Y: 3, Z: 2, Y: 3} // ERROR "duplicate" +var a3 = T{S{}, 2, 3, 4, 5, 6} // ERROR "convert|too many" +var a4 = [5]byte{1, 2, 3, 4, 5, 6, 7, 8, 9, 10} // ERROR "index|too many" +var a5 = []byte{x: 2} // ERROR "index" +var a6 = []byte{1: 1, 2: 2, 1: 3} // ERROR "duplicate" + +var ok1 = S{} // should be ok +var ok2 = T{S: ok1} // should be ok + +// These keys can be computed at compile time but they are +// not constants as defined by the spec, so they do not trigger +// compile-time errors about duplicate key values. +// See issue 4555. + +type Key struct{ X, Y int } + +var _ = map[Key]string{ + Key{1, 2}: "hello", + Key{1, 2}: "world", +} -- cgit v1.2.3