From: Yurii Karabas <1998uriyyo@gmail.com>
Date: Fri, 27 Jan 2023 10:07:05 +0000 (+0200)
Subject: Add tests
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=daaf289fa71e31aa1031076b17f2c284db6e0a53;p=thirdparty%2Fsqlalchemy%2Fsqlalchemy.git

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
index 0000000000..0ae96b4f5c
--- /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_)