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