{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"info.is_no_builtins.insert(cnum);"}]}
                info.is_no_builtins.insert(cnum);
            if tcx.is_no_builtins(cnum) {
            }