{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"debug!(\"failed"}]}
        debug!("failed to validate callee body");
    if !validate_types(tcx, inliner.typing_env(), &callee_body, &caller_body).is_empty() {
        return Err("implementation limitation -- callee body failed validation");