syntax_data: {"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"ascriptions.push(ascription);"}]}
source_snippet:                     ascriptions.push(ascription);
context_before:                 PatKind::AscribeUserType { ascription, subpattern } => {
context_after:                     kind = subpattern.kind;