{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"self.tables.defaultness.set_some(def_id.index,"}]}
                self.tables.defaultness.set_some(def_id.index, tcx.defaultness(def_id));