> The SSA shrinker is supposed to get goto's to cases with a known > constructor, provided that the only occurrence of the bound variable > is in the case test I traced through the shrinker on a simple case example and it does what I expect. Can you point to the test where you see it breaking?