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