Re: [PATCH] match: Check else value compatibility [PR123268].

[Robin Dapp]

> +  if (!types_compatible_p (orig_op->type, TREE_TYPE (else_value)))
> +    return false;

Actually, I think we don't even want to accept nop-conversions here.
Just type equality should be acceptable.  I'll test that.

-- 
Regards
 Robin