{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"PatKind::AscribeUserType"}]}
            PatKind::AscribeUserType { subpattern, .. }
        match &pat.kind {
            | PatKind::ExpandedConstant { subpattern, .. } => return self.lower_pat(subpattern),