{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"#[doc(no_inline)]"}]}
#[doc(no_inline)]
pub use rustc_middle::mir::interpret::*; // have all the `interpret` symbols in one place: here