Re-enable stubtest on SQLAlchemy (#7456)

stubs/SQLAlchemy/@tests/stubtest_allowlist.txt

@@ -130,3 +130,10 @@ sqlalchemy.sql.expression.quoted_name.upper
 sqlalchemy.sql.quoted_name.lower
 sqlalchemy.sql.quoted_name.upper
 sqlalchemy.util.callable
+
+sqlalchemy.dialects.mssql.base.MSExecutionContext.get_result_cursor_strategy
+sqlalchemy.dialects.postgresql.base.PGDDLCompiler.visit_foreign_key_constraint
+sqlalchemy.engine.ExecutionContext.get_result_cursor_strategy
+sqlalchemy.engine.interfaces.ExecutionContext.get_result_cursor_strategy
+sqlalchemy.orm.ColumnProperty.Comparator.__clause_element__
+sqlalchemy.orm.properties.ColumnProperty.Comparator.__clause_element__

stubs/SQLAlchemy/METADATA.toml

@@ -3,4 +3,3 @@ extra_description = """\
   The `sqlalchemy-stubs` package is an alternative to this package and also \
   includes a mypy plugin for more precise types.\
 """
-stubtest = false  # https://github.com/python/typeshed/issues/7307

stubs/SQLAlchemy/sqlalchemy/cimmutabledict.pyi

@@ -1,12 +1,14 @@
 from _typeshed import SupportsKeysAndGetItem
 from collections.abc import Iterable
 from typing import Generic, TypeVar, overload
+from typing_extensions import final
 
 _KT = TypeVar("_KT")
 _KT2 = TypeVar("_KT2")
 _VT = TypeVar("_VT")
 _VT2 = TypeVar("_VT2")
 
+@final
 class immutabledict(dict[_KT, _VT], Generic[_KT, _VT]):
     @overload
     def union(self, __dict: dict[_KT2, _VT2]) -> immutabledict[_KT | _KT2, _VT | _VT2]: ...