syntax_data: {"ast_node_type":"import","tokens":[{"end":93,"kind":"keyword","start":0,"text":"use"}]}
source_snippet: use rustc_trait_selection::traits::{Normalized, Obligation, ObligationCause, ObligationCtxt};
context_before: use rustc_trait_selection::traits::query::type_op::prove_predicate::ProvePredicate;