syntax_data: {"ast_node_type":"import","tokens":[{"end":56,"kind":"keyword","start":0,"text":"use"}]}
source_snippet: use rustc_middle::ty::{AdtDef, UserTypeAnnotationIndex};
context_before: use rustc_middle::mir::{ProjectionElem, UserTypeProjection, UserTypeProjections};
context_after: use rustc_span::Symbol;