Function rustc_typeck::middle::ty::liberate_late_bound_regionsUnstable
[-] [+]
[src]
pub fn liberate_late_bound_regions<'tcx, T>(tcx: &ctxt<'tcx>, all_outlive_scope: DestructionScopeData, value: &Binder<T>) -> T where T: TypeFoldable<'tcx> + Repr<'tcx>
Replace any late-bound regions bound in value
with free variants attached to scope-id
scope_id
.