{"ast_node_type":"variable","tokens":[{"end":32,"kind":"keyword","start":0,"text":"&&"}]}
        && let [arg] = &args[..]
        // some heuristics for fast rejection
        && let Some((fn_def_id, _)) = func.const_fn_def()