{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"debug!(?covfun,"}]}
        debug!(?covfun, "function has no mappings to embed; skipping");
    if covfun.regions.has_no_regions() {
        return None;