Function rustc_typeck::check::coercion::success

source · [−]

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(...).