https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96040
--- Comment #9 from Martin Jambor <jamborm at gcc dot gnu.org> --- True. Richi expressed preference for avoiding the transform when there are type mismatches, so I'm currently bootstrapping that. I guess we can always revisit the decision if we ever discover it would be really beneficial to perform the split.