{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"tracked!(next_solver,"}]}
    tracked!(next_solver, NextSolverConfig { coherence: true, globally: true });
    tracked!(mutable_noalias, false);
    tracked!(no_generate_arange_section, true);