mirror of
https://github.com/golang/go.git
synced 2024-09-21 18:38:37 +00:00
5428cc4f14
types2 handles all constant-related bounds checks in user Go code now, so it's safe to remove the check from typecheck, avoid the inconsistency with type parameter. Fixes #65417 Change-Id: I82dd197b78e271725d132b5a20450ae3e90f9abc Reviewed-on: https://go-review.googlesource.com/c/go/+/560575 Reviewed-by: Keith Randall <khr@google.com> Auto-Submit: Cuong Manh Le <cuong.manhle.vn@gmail.com> Reviewed-by: Robert Griesemer <gri@google.com> LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
43 lines
752 B
Go
43 lines
752 B
Go
// run
|
|
|
|
// Copyright 2024 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.
|
|
|
|
package main
|
|
|
|
import (
|
|
"strings"
|
|
"unsafe"
|
|
)
|
|
|
|
func main() {
|
|
shouldPanic("runtime error: index out of range", func() { f(0) })
|
|
shouldPanic("runtime error: index out of range", func() { g(0) })
|
|
}
|
|
|
|
func f[T byte](t T) {
|
|
const str = "a"
|
|
_ = str[unsafe.Sizeof(t)]
|
|
}
|
|
|
|
func g[T byte](t T) {
|
|
const str = "a"
|
|
_ = str[unsafe.Sizeof(t)+0]
|
|
}
|
|
|
|
func shouldPanic(str string, f func()) {
|
|
defer func() {
|
|
err := recover()
|
|
if err == nil {
|
|
panic("did not panic")
|
|
}
|
|
s := err.(error).Error()
|
|
if !strings.Contains(s, str) {
|
|
panic("got panic " + s + ", want " + str)
|
|
}
|
|
}()
|
|
|
|
f()
|
|
}
|