syntax_data: {"ast_node_type":"other","tokens":[{"end":2,"kind":"keyword","start":0,"text":"};"}]}
source_snippet: };
context_before:     AscribeUserType, type_op_ascribe_user_type_with_span,
context_after: use rustc_trait_selection::traits::query::type_op::normalize::Normalize;