{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"///"}]}
/// promotion of temporaries must not change program behavior; if the promoted could be
/// and at *any point* during the run-time would produce the same result. In particular,
/// written to, that would be a problem.