]> Cypherpunks repositories - gostls13.git/commit
cmd/compile/internal/types2: fix conversions of constants to type parameter
authorRobert Griesemer <gri@golang.org>
Mon, 1 Nov 2021 19:14:25 +0000 (12:14 -0700)
committerRobert Griesemer <gri@golang.org>
Tue, 2 Nov 2021 16:11:43 +0000 (16:11 +0000)
commitd39c8739662835b2f92894a8550bbcd59f83557f
treed8dc3c3f0ce3a104a2c5e743a31ae3af8a74d1e5
parentc3cb1ecc36512a00492f27fa3ba19e5dad6194f1
cmd/compile/internal/types2: fix conversions of constants to type parameter

When converting a constant to a type parameter, the result is never
constant (type parameters are not constant types), but we still need
to verfy that the constant is representable by each specific type in
the type set of the type parameter.

Fixes #49247.

Change-Id: I460983c7070b33baadce25dd23210e10930cfb2c
Reviewed-on: https://go-review.googlesource.com/c/go/+/360396
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
src/cmd/compile/internal/types2/conversions.go
src/cmd/compile/internal/types2/expr.go
src/cmd/compile/internal/types2/predicates.go
src/cmd/compile/internal/types2/testdata/fixedbugs/issue49247.go2 [new file with mode: 0644]
src/cmd/compile/internal/types2/testdata/spec/conversions.go2