{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"unadjusted_pat,"}]}
            unadjusted_pat,
        self.infer.pat_adjustments.get(&pat).map(|it| &**it).unwrap_or_default().iter().rev().fold(
            |subpattern, ref_ty| Pat {