Add tests

diff --git a/test/ext/mypy/plugin_files/issue_9156.py b/test/ext/mypy/plugin_files/issue_9156.py
new file mode 100644 (file)
index 0000000..0ae96b4
--- /dev/null
+++ b/test/ext/mypy/plugin_files/issue_9156.py
@@ -0,0 +1,9 @@
+from typing import Type, Any
+
+from sqlalchemy.sql.elements import ColumnElement
+from sqlalchemy.sql.type_api import TypeEngine
+
+col: ColumnElement
+type_: Type[TypeEngine[Any]]
+
+col.cast(type_)