diff --git a/test/run.go b/test/run.go index 6339095d95..869911a426 100644 --- a/test/run.go +++ b/test/run.go @@ -1999,7 +1999,8 @@ var types2Failures32Bit = setOf( ) var g3Failures = setOf( - "typeparam/nested.go", // -G=3 doesn't support function-local types with generics + "typeparam/nested.go", // -G=3 doesn't support function-local types with generics + "typeparam/issue51521.go", // -G=3 produces bad panic message and link error ) // In all of these cases, -G=0 reports reasonable errors, but either -G=0 or types2 diff --git a/test/typeparam/issue51521.go b/test/typeparam/issue51521.go new file mode 100644 index 0000000000..5eb4e35c18 --- /dev/null +++ b/test/typeparam/issue51521.go @@ -0,0 +1,30 @@ +// run + +// 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. + +package main + +import ( + "fmt" + "strings" +) + +type I interface{ M() } + +func F[P I](p P) { defer catch(); p.M() } +func G[T any]() { defer catch(); interface{ M() T }.M(nil) } + +func main() { + F[I](nil) + G[int]() +} + +func catch() { + err := recover() + if err, ok := err.(error); ok && strings.Contains(err.Error(), "nil pointer dereference") { + return + } + fmt.Println("FAIL", err) +}