From f5d3777723af94004fcce15c1377f7d594f006b6 Mon Sep 17 00:00:00 2001
From: Ivan Kurnosov <zerkms@zerkms.com>
Date: Wed, 13 Mar 2024 14:02:23 +1300
Subject: [PATCH] Make AbstractSchemaManager covariant to its template argument

---
 src/Schema/AbstractSchemaManager.php           |  2 +-
 ...tract-schema-manager-covariant-template.php | 18 ++++++++++++++++++
 2 files changed, 19 insertions(+), 1 deletion(-)
 create mode 100644 static-analysis/abstract-schema-manager-covariant-template.php

diff --git a/src/Schema/AbstractSchemaManager.php b/src/Schema/AbstractSchemaManager.php
index 7e1fd93ff2d..039c9a8044e 100644
--- a/src/Schema/AbstractSchemaManager.php
+++ b/src/Schema/AbstractSchemaManager.php
@@ -31,7 +31,7 @@
  * Base class for schema managers. Schema managers are used to inspect and/or
  * modify the database schema/structure.
  *
- * @template T of AbstractPlatform
+ * @template-covariant T of AbstractPlatform
  */
 abstract class AbstractSchemaManager
 {
diff --git a/static-analysis/abstract-schema-manager-covariant-template.php b/static-analysis/abstract-schema-manager-covariant-template.php
new file mode 100644
index 00000000000..7223888cb31
--- /dev/null
+++ b/static-analysis/abstract-schema-manager-covariant-template.php
@@ -0,0 +1,18 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Doctrine\StaticAnalysis\DBAL;
+
+use Doctrine\DBAL\Connection;
+use Doctrine\DBAL\Driver\PDO\PgSQL\Driver;
+use Doctrine\DBAL\Schema\DefaultSchemaManagerFactory;
+use Doctrine\DBAL\Schema\PostgreSQLSchemaManager;
+use Exception;
+
+$smf = new DefaultSchemaManagerFactory();
+$schemaManager = $smf->createSchemaManager(new Connection([], new Driver()));
+
+if (!$schemaManager instanceof PostgreSQLSchemaManager) {
+    throw new Exception('should not happen');
+}