syntax_data: {"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"Ascription,"}]}
source_snippet:     Ascription, FieldPat, LocalVarId, Pat, PatKind, PatRange, PatRangeBoundary,
context_before: use rustc_middle::thir::{
context_after: };