fn find_branch_value_info<'tcx>( left: &Operand<'tcx>, right: &Operand<'tcx>) -> Option<(Scalar, Ty<'tcx>, Place<'tcx>)>