{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"//"}]}
// if they want to interact with constant values.
// Should be public because out-of-tree rustc consumers need this
pub struct CompileTimeMachine<'tcx> {