1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
|
// Copyright 2022 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 for slice to array conversion introduced in go1.20
// See: https://tip.golang.org/ref/spec#Conversions_from_slice_to_array_pointer
package main
func main() {
s := make([]byte, 3, 4)
s[0], s[1], s[2] = 2, 3, 5
a := ([2]byte)(s)
s[0] = 7
if a != [2]byte{2, 3} {
panic("converted from non-nil slice to array")
}
{
var s []int
a := ([0]int)(s)
if a != [0]int{} {
panic("zero len array is not equal")
}
}
if emptyToEmptyDoesNotPanic() {
panic("no panic expected from emptyToEmptyDoesNotPanic()")
}
if !threeToFourDoesPanic() {
panic("panic expected from threeToFourDoesPanic()")
}
if !fourPanicsWhileOneDoesNot[[4]int]() {
panic("panic expected from fourPanicsWhileOneDoesNot[[4]int]()")
}
if fourPanicsWhileOneDoesNot[[1]int]() {
panic("no panic expected from fourPanicsWhileOneDoesNot[[1]int]()")
}
if !fourPanicsWhileZeroDoesNot[[4]int]() {
panic("panic expected from fourPanicsWhileZeroDoesNot[[4]int]()")
}
if fourPanicsWhileZeroDoesNot[[0]int]() {
panic("no panic expected from fourPanicsWhileZeroDoesNot[[0]int]()")
}
}
func emptyToEmptyDoesNotPanic() (raised bool) {
defer func() {
if e := recover(); e != nil {
raised = true
}
}()
var s []int
_ = ([0]int)(s)
return false
}
func threeToFourDoesPanic() (raised bool) {
defer func() {
if e := recover(); e != nil {
raised = true
}
}()
s := make([]int, 3, 5)
_ = ([4]int)(s)
return false
}
func fourPanicsWhileOneDoesNot[T [1]int | [4]int]() (raised bool) {
defer func() {
if e := recover(); e != nil {
raised = true
}
}()
s := make([]int, 3, 5)
_ = T(s)
return false
}
func fourPanicsWhileZeroDoesNot[T [0]int | [4]int]() (raised bool) {
defer func() {
if e := recover(); e != nil {
raised = true
}
}()
var s []int
_ = T(s)
return false
}
|
