diff --git a/src/Schema/AbstractSchemaManager.php b/src/Schema/AbstractSchemaManager.php
index 88ffdadc9..97307979a 100644
--- a/src/Schema/AbstractSchemaManager.php
+++ b/src/Schema/AbstractSchemaManager.php
@@ -23,7 +23,7 @@ use function strtolower;
  * 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 000000000..7223888cb
--- /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');
+}