Opaque Type rustc_middle::mir::

type <'tcx, 'a> = impl : Iterator<Item = Local> + Captures<'tcx> + 'a;