From 74bf90c779b3d4a4babd3e3de38e3d3e5d9dd7de Mon Sep 17 00:00:00 2001 From: Robert Griesemer Date: Tue, 14 Jun 2022 19:01:04 -0700 Subject: [PATCH] go/types, types2: add test case for issue for coverage The specific error doesn't occur anymore. Add a test to prevent regressions. For #50729. Change-Id: Ibf6ef6009b3d226b4f345b5a5657939915f19633 Reviewed-on: https://go-review.googlesource.com/c/go/+/412235 Reviewed-by: Robert Griesemer Reviewed-by: Ian Lance Taylor --- .../types2/testdata/fixedbugs/issue50729.go | 19 +++++++++++++++++++ src/go/types/testdata/fixedbugs/issue50729.go | 19 +++++++++++++++++++ 2 files changed, 38 insertions(+) create mode 100644 src/cmd/compile/internal/types2/testdata/fixedbugs/issue50729.go create mode 100644 src/go/types/testdata/fixedbugs/issue50729.go diff --git a/src/cmd/compile/internal/types2/testdata/fixedbugs/issue50729.go b/src/cmd/compile/internal/types2/testdata/fixedbugs/issue50729.go new file mode 100644 index 0000000000..fe19fdfa68 --- /dev/null +++ b/src/cmd/compile/internal/types2/testdata/fixedbugs/issue50729.go @@ -0,0 +1,19 @@ +// 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 p + +// version 1 +var x1 T1[B1] + +type T1[_ any] struct{} +type A1 T1[B1] +type B1 = T1[A1] + +// version 2 +type T2[_ any] struct{} +type A2 T2[B2] +type B2 = T2[A2] + +var x2 T2[B2] diff --git a/src/go/types/testdata/fixedbugs/issue50729.go b/src/go/types/testdata/fixedbugs/issue50729.go new file mode 100644 index 0000000000..fe19fdfa68 --- /dev/null +++ b/src/go/types/testdata/fixedbugs/issue50729.go @@ -0,0 +1,19 @@ +// 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 p + +// version 1 +var x1 T1[B1] + +type T1[_ any] struct{} +type A1 T1[B1] +type B1 = T1[A1] + +// version 2 +type T2[_ any] struct{} +type A2 T2[B2] +type B2 = T2[A2] + +var x2 T2[B2] -- 2.48.1