Opaque Type rustc_ty_utils::layout_sanity_check::

type <'tcx, 'a> = impl : Iterator<Item = (Size, TyAndLayout<'tcx>)> + 'a;