Opaque Type rustc_mir_build::thir::pattern::deconstruct_pat::

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