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