Opaque Type rustc_middle::hir::

type  = impl : Iterator<Item = ItemId> + '_;