go/types: add test case for issue #45096

griesemer · griesemer · commit 2583c1b4df97 · 2021-03-18T00:08:55.000Z
This verifies that issue #45096 is not an issue for go/types. Updates #45096. Change-Id: I4e987b5d4928f0c864d0d2c0379149443beb4d5c Reviewed-on: https://go-review.googlesource.com/c/go/+/302754 Trust: Robert Griesemer <gri@golang.org> Run-TryBot: Robert Griesemer <gri@golang.org> Reviewed-by: Robert Findley <rfindley@google.com>
diff --git a/src/go/types/api_test.go b/src/go/types/api_test.go
@@ -341,6 +341,9 @@ func TestTypesInfo(t *testing.T) {
 
 		// instantiated types must be sanitized
 		{genericPkg + `g0; type t[P any] int; var x struct{ f t[int] }; var _ = x.f`, `x.f`, `generic_g0.t[int]`},
+
+		// issue 45096
+		{genericPkg + `issue45096; func _[T interface{ type int8, int16, int32  }](x T) { _ = x < 0 }`, `0`, `T₁`},
 	}
 
 	for _, test := range tests {

Original file line number	Diff line number	Diff line change
`@@ -341,6 +341,9 @@ func TestTypesInfo(t *testing.T) {`
`341`	`341`
`342`	`342`	`// instantiated types must be sanitized`
`343`	`343`	{genericPkg + `g0; type t[P any] int; var x struct{ f t[int] }; var _ = x.f`, `x.f`, `generic_g0.t[int]`},
	`344`	`+`
	`345`	`+ // issue 45096`
	`346`	+ {genericPkg + `issue45096; func _[T interface{ type int8, int16, int32 }](x T) { _ = x < 0 }`, `0`, `T₁`},
`344`	`347`	`}`
`345`	`348`
`346`	`349`	`for _, test := range tests {`