Function success

fn success<'tcx>(
    adj: Vec<Adjustment<'tcx>>,
    target: Ty<'tcx>,
    obligations: Vec<PredicateObligation<'tcx>>,
) -> InferResult<'tcx, (Vec<Adjustment<'tcx>>, Ty<'tcx>)>

This always returns Ok(...).