{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"span_bug!(tcx.def_span(def_id),"}]}
                span_bug!(tcx.def_span(def_id), "main has a non-function type");
            _ => {
            }