{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"|"}]}
            | PatKind::ExpandedConstant { subpattern, .. } => return self.lower_pat(subpattern),
            PatKind::AscribeUserType { subpattern, .. }
            PatKind::Binding { subpattern: Some(subpat), .. } => return self.lower_pat(subpat),