Function success 

fn success<'db>(
    adj: Vec<Adjustment>,
    target: Ty<'db>,
    obligations: Vec<Obligation<'db, Predicate<'db>>>,
) -> InferResult<'db, (Vec<Adjustment>, Ty<'db>)>

This always returns Ok(...).