Opaque Type miri::range_map::

type  = impl : Iterator<Item = (Size, &T)>;