diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-28 13:14:23 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-28 13:14:23 +0000 |
commit | 73df946d56c74384511a194dd01dbe099584fd1a (patch) | |
tree | fd0bcea490dd81327ddfbb31e215439672c9a068 /test/initializerr.go | |
parent | Initial commit. (diff) | |
download | golang-1.16-upstream.tar.xz golang-1.16-upstream.zip |
Adding upstream version 1.16.10.upstream/1.16.10upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'test/initializerr.go')
-rw-r--r-- | test/initializerr.go | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/test/initializerr.go b/test/initializerr.go new file mode 100644 index 0000000..5e2e9a9 --- /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" +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", +} |