extraneous union spreads are not giving a type error in every case (see internal walnut issue) - needs minimal repro