syntax_data: {"ast_node_type":"import","tokens":[{"end":110,"kind":"keyword","start":0,"text":"pub"}]}
source_snippet: pub use rustc_trait_selection::traits::query::type_op::ascribe_user_type::type_op_ascribe_user_type_with_span;
context_before: use rustc_middle::query::Providers;
context_after: pub use type_op::type_op_prove_predicate_with_cause;