fn fmax_op<'tcx>(
    left: &ImmTy<'tcx, Provenance>,
    right: &ImmTy<'tcx, Provenance>
) -> InterpResult<'tcx, Scalar<Provenance>>