Opaque Type rustc_middle::hir::place::

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