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

This always returns Ok(...).