Opaque Type rustc_infer::infer::outlives::verify::

type <'tcx> = impl : Iterator<Item = Region<'tcx>>;