Similar to #14548, just a slightly bigger task, since binary expressions naturally have a larger possibility matrix (though again, many combinations should simply result in falling back to Type::Instance handling.)