{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"if"}]}
    if !diff_items.is_empty()
    // First of all, did the user try to use autodiff without using the -Zautodiff=Enable flag?
        && !cgcx.opts.unstable_opts.autodiff.contains(&rustc_session::config::AutoDiff::Enable)