{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"self.visit_def(def_id)?;"}]}
                self.visit_def(def_id)?;
            if self.seen.insert(def_id) {
            }