Function rustc_lint::middle::ty::flatten_late_bound_regionsUnstable
[-] [+]
[src]
pub fn flatten_late_bound_regions<'tcx, T>(tcx: &ctxt<'tcx>, bound2_value: &Binder<Binder<T>>) -> Binder<T> where T: TypeFoldable<'tcx> + Repr<'tcx>
Flattens two binding levels into one. So for<'a> for<'b> Foo
becomes for<'a,'b> Foo
.