syntax_data: {"ast_node_type":"import","tokens":[{"end":55,"kind":"keyword","start":0,"text":"use"}]}
source_snippet: use rustc_infer::traits::{Obligation, ObligationCause};
context_before: use rustc_infer::infer::resolve::OpportunisticRegionResolver;
context_after: use rustc_middle::ty::{self, Ty, TyCtxt, TypeFoldable, TypeVisitableExt, fold_regions};