{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"until_adt:"}]}
        until_adt: Option<DefId>,
        /// [`ResolvedPat`] for more information.
        /// The number of references at the head of the pattern's type, so we can leave that many