Opaque Type rustc_borrowck::region_infer::

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