Function rustc::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.