{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"self.def_map.modules[module_id].scope.push_unnamed_trait("}]}
                        self.def_map.modules[module_id].scope.push_unnamed_trait(
                        changed = true;
                            tr,