Opaque Type rustc_hir_analysis::bounds::

type <'tcx, 'out> = impl : Iterator<Item = (Predicate<'tcx>, Span)> + 'out;