Opaque Type rustc_infer::infer::free_regions::

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