{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"None"}]}
        None => bug!("`mir_for_ctfe` called on non-const {def:?}"),
        Some(hir::ConstContext::ConstFn) => body.borrow().clone(),
    };