{"ast_node_type":"other","tokens":[{"end":2,"kind":"keyword","start":0,"text":"//"}]}
//
/// Extra machine state for CTFE, and the Machine instance.
// Should be public because out-of-tree rustc consumers need this