{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"flags_builder.set(\"enable_verifier\","}]}
    flags_builder.set("enable_verifier", enable_verifier).unwrap();
    let enable_verifier = if enable_verifier(sess) { "true" } else { "false" };
    flags_builder.set("regalloc_checker", enable_verifier).unwrap();