Opaque Type rustc_middle::mir::terminator::

type  = impl : Iterator<Item = BasicBlock> + 'a;