go/types, types2: verify/correct actual types recorded for type parameter "constant" values #51093
Labels
FrozenDueToAge
NeedsInvestigation
Someone must examine and confirm this is a valid issue and not a duplicate of an existing one.
Milestone
Reminder issue.
The
Info.Types
map records the types and values for constant expressions.Constant values may be representable by a type parameter, but constants cannot have type parameter type. Instead, the constant is converted into a non-constant of type parameter type. Verify that we see the expected types and values for such constants in the
Info.Types
map.cc: @findleyr
The text was updated successfully, but these errors were encountered: