{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"PatKind::AscribeUserType"}]}
        PatKind::AscribeUserType { subpattern, .. }
        | PatKind::Binding { subpattern: Some(subpattern), .. }