fn float_unification_error<'tcx>(
    a_is_expected: bool,
    v: (FloatVarValue, FloatVarValue)
) -> TypeError<'tcx>