{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"ModuleDefId::AdtId(adt)"}]}
            ModuleDefId::AdtId(adt) => self.validate_adt(adt),
            ModuleDefId::FunctionId(func) => self.validate_func(func),
            ModuleDefId::ConstId(const_id) => self.validate_const(const_id),