Opaque Type rustc_middle::mir::interpret::allocation::provenance_map::

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