x/tools/go/ssa: panic with Go 1.17 slice-to-array conversions when converting to a newtype #48281
Labels
FrozenDueToAge
NeedsFix
The path to resolution is known, but the work has not been done.
Tools
This label describes issues relating to any tools in the x/tools repository.
Milestone
This is probably related to #46987. Consider this code:
This program works and produces the intended output with Go 1.17. But checking it with any SSA-based analyser seems to trigger a panic. For example, using
nilness
:But if you replace a newtype with a type alias, it works:
The text was updated successfully, but these errors were encountered: