{"ast_node_type":"import","tokens":[{"end":56,"kind":"keyword","start":0,"text":"///"}]}
/// # use rustc_const_eval::interpret::EnteredTraceSpan;
/// # use rustc_const_eval::enter_trace_span;
/// # type M = rustc_const_eval::const_eval::CompileTimeMachine<'static>;