syntax_data: {"ast_node_type":"import","tokens":[{"end":72,"kind":"keyword","start":0,"text":"use"}]}
source_snippet: use rustc_trait_selection::traits::query::type_op::normalize::Normalize;
context_before: };
context_after: use rustc_trait_selection::traits::query::type_op::prove_predicate::ProvePredicate;