Opaque Type rustc_data_structures::obligation_forest::

type  = impl : Iterator<Item = ObligationTreeId>;