{"ast_node_type":"other","tokens":[{"end":114,"kind":"keyword","start":0,"text":"//"}]}
        // Make sure all the constants required by this frame evaluate successfully (post-monomorphization check).
        for &const_ in body.required_consts() {