{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"check_cfgs.sort_unstable();"}]}
                check_cfgs.sort_unstable();
                if !sess.psess.check_config.exhaustive_names {