syntax_data: {"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"ascription:"}]}
source_snippet:                                     ascription: Ascription { annotation, variance: ty::Covariant },
context_before:                                 kind: PatKind::AscribeUserType {
context_after:                                     subpattern: pattern,