Opaque Type rustc_const_eval::util::aggregate::

type <'tcx> = impl : Iterator<Item = Statement<'tcx>> + TrustedLen;