Opaque Type rustc_middle::ty::walk::

type <'tcx> = impl : Iterator<Item = GenericArg<'tcx>>;