Opaque Type rustc_middle::ty::trait_def::

type <'tcx> = impl : Iterator<Item = DefId> + 'tcx;