{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"//"}]}
    // pushing unevaluated consts to `required_consts`, here they may have been evaluated
    // Copy required constants from the callee_body into the caller_body. Although we are only
    // because we are calling `instantiate_and_normalize_erasing_regions` -- so we filter again.