Opaque Type rustc_mir_dataflow::value_analysis::

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