Revert "make mypy happy"

This reverts commit 926d0dd2e79d06203e84e2f83c06c7fe5b33de23.
This commit is contained in:
Jann Stute
2024-11-27 22:20:47 +01:00
parent e0c404a1a6
commit f592f070aa

View File

@@ -91,17 +91,17 @@ class BaseVisitor(ABC, Generic[T]):
}[type(node)](node)
@abstractmethod
def visit_ANDList(self, node: AST) -> T: # noqa: N802
def visit_ANDList(self, node: ANDList) -> T: # noqa: N802
raise NotImplementedError()
@abstractmethod
def visit_ORList(self, node: AST) -> T: # noqa: N802
def visit_ORList(self, node: ORList) -> T: # noqa: N802
raise NotImplementedError()
@abstractmethod
def visit_Constraint(self, node: AST) -> T: # noqa: N802
def visit_Constraint(self, node: Constraint) -> T: # noqa: N802
raise NotImplementedError()
@abstractmethod
def visit_Property(self, node: AST) -> T: # noqa: N802
def visit_Property(self, node: Property) -> T: # noqa: N802
raise NotImplementedError()