diff --git a/conf/bleedingEdge.neon b/conf/bleedingEdge.neon
index 2a26a15f2a..820aadd594 100644
--- a/conf/bleedingEdge.neon
+++ b/conf/bleedingEdge.neon
@@ -33,3 +33,4 @@ parameters:
 		instanceofType: true
 		paramOutVariance: true
 		allInvalidPhpDocs: true
+		strictStaticMethodTemplateTypeVariance: true
diff --git a/conf/config.neon b/conf/config.neon
index ce81246178..eecbe3a58b 100644
--- a/conf/config.neon
+++ b/conf/config.neon
@@ -63,6 +63,7 @@ parameters:
 		instanceofType: false
 		paramOutVariance: false
 		allInvalidPhpDocs: false
+		strictStaticMethodTemplateTypeVariance: false
 	fileExtensions:
 		- php
 	checkAdvancedIsset: false
@@ -296,6 +297,7 @@ parametersSchema:
 		instanceofType: bool()
 		paramOutVariance: bool()
 		allInvalidPhpDocs: bool()
+		strictStaticMethodTemplateTypeVariance: bool()
 	])
 	fileExtensions: listOf(string())
 	checkAdvancedIsset: bool()
@@ -1050,6 +1052,7 @@ services:
 		class: PHPStan\Rules\Generics\VarianceCheck
 		arguments:
 			checkParamOutVariance: %featureToggles.paramOutVariance%
+			strictStaticVariance: %featureToggles.strictStaticMethodTemplateTypeVariance%
 
 	-
 		class: PHPStan\Rules\IssetCheck
diff --git a/src/Rules/Generics/VarianceCheck.php b/src/Rules/Generics/VarianceCheck.php
index f754feacba..432a47af4a 100644
--- a/src/Rules/Generics/VarianceCheck.php
+++ b/src/Rules/Generics/VarianceCheck.php
@@ -15,6 +15,7 @@ class VarianceCheck
 
 	public function __construct(
 		private bool $checkParamOutVariance,
+		private bool $strictStaticVariance,
 	)
 	{
 	}
@@ -52,7 +53,7 @@ public function checkParametersAcceptor(
 		}
 
 		$covariant = TemplateTypeVariance::createCovariant();
-		$parameterVariance = $isStatic
+		$parameterVariance = $isStatic && !$this->strictStaticVariance
 			? TemplateTypeVariance::createStatic()
 			: TemplateTypeVariance::createContravariant();
 
diff --git a/tests/PHPStan/Generics/data/variance-2.json b/tests/PHPStan/Generics/data/variance-2.json
index d1474e29e5..40e142c2fa 100644
--- a/tests/PHPStan/Generics/data/variance-2.json
+++ b/tests/PHPStan/Generics/data/variance-2.json
@@ -59,6 +59,16 @@
         "line": 124,
         "ignorable": true
     },
+    {
+        "message": "Template type T is declared as covariant, but occurs in contravariant position in parameter t of method PHPStan\\Generics\\Variance\\ConstructorAndStatic::create().",
+        "line": 153,
+        "ignorable": true
+    },
+    {
+        "message": "Template type T is declared as covariant, but occurs in contravariant position in parameter w of method PHPStan\\Generics\\Variance\\ConstructorAndStatic::create().",
+        "line": 153,
+        "ignorable": true
+    },
     {
         "message": "Template type T is declared as covariant, but occurs in invariant position in parameter v of method PHPStan\\Generics\\Variance\\ConstructorAndStatic::create().",
         "line": 153,
diff --git a/tests/PHPStan/Rules/Generics/ClassAncestorsRuleTest.php b/tests/PHPStan/Rules/Generics/ClassAncestorsRuleTest.php
index f3b74573b6..f2cda5c0dc 100644
--- a/tests/PHPStan/Rules/Generics/ClassAncestorsRuleTest.php
+++ b/tests/PHPStan/Rules/Generics/ClassAncestorsRuleTest.php
@@ -17,7 +17,7 @@ protected function getRule(): Rule
 			new GenericAncestorsCheck(
 				$this->createReflectionProvider(),
 				new GenericObjectTypeCheck(),
-				new VarianceCheck(true),
+				new VarianceCheck(true, true),
 				true,
 				[],
 			),
diff --git a/tests/PHPStan/Rules/Generics/EnumAncestorsRuleTest.php b/tests/PHPStan/Rules/Generics/EnumAncestorsRuleTest.php
index 76e6c1b13c..5565731352 100644
--- a/tests/PHPStan/Rules/Generics/EnumAncestorsRuleTest.php
+++ b/tests/PHPStan/Rules/Generics/EnumAncestorsRuleTest.php
@@ -18,7 +18,7 @@ protected function getRule(): Rule
 			new GenericAncestorsCheck(
 				$this->createReflectionProvider(),
 				new GenericObjectTypeCheck(),
-				new VarianceCheck(true),
+				new VarianceCheck(true, true),
 				true,
 				[],
 			),
diff --git a/tests/PHPStan/Rules/Generics/InterfaceAncestorsRuleTest.php b/tests/PHPStan/Rules/Generics/InterfaceAncestorsRuleTest.php
index 0b7c5f6055..5ed0203d94 100644
--- a/tests/PHPStan/Rules/Generics/InterfaceAncestorsRuleTest.php
+++ b/tests/PHPStan/Rules/Generics/InterfaceAncestorsRuleTest.php
@@ -17,7 +17,7 @@ protected function getRule(): Rule
 			new GenericAncestorsCheck(
 				$this->createReflectionProvider(),
 				new GenericObjectTypeCheck(),
-				new VarianceCheck(true),
+				new VarianceCheck(true, true),
 				true,
 				[],
 			),
diff --git a/tests/PHPStan/Rules/Generics/MethodSignatureVarianceRuleTest.php b/tests/PHPStan/Rules/Generics/MethodSignatureVarianceRuleTest.php
index 80d09a5c36..e03442155a 100644
--- a/tests/PHPStan/Rules/Generics/MethodSignatureVarianceRuleTest.php
+++ b/tests/PHPStan/Rules/Generics/MethodSignatureVarianceRuleTest.php
@@ -180,6 +180,33 @@ public function testRule(): void
 		]);
 
 		$this->analyse([__DIR__ . '/data/method-signature-variance-constructor.php'], []);
+
+		$this->analyse([__DIR__ . '/data/method-signature-variance-static.php'], [
+			[
+				'Template type X is declared as covariant, but occurs in contravariant position in parameter a of method MethodSignatureVariance\StaticMethod\B::a().',
+				43,
+			],
+			[
+				'Template type X is declared as covariant, but occurs in contravariant position in parameter c of method MethodSignatureVariance\StaticMethod\B::a().',
+				43,
+			],
+			[
+				'Template type X is declared as covariant, but occurs in contravariant position in return type of method MethodSignatureVariance\StaticMethod\B::c().',
+				49,
+			],
+			[
+				'Template type X is declared as contravariant, but occurs in covariant position in parameter b of method MethodSignatureVariance\StaticMethod\C::a().',
+				62,
+			],
+			[
+				'Template type X is declared as contravariant, but occurs in covariant position in return type of method MethodSignatureVariance\StaticMethod\C::b().',
+				65,
+			],
+			[
+				'Template type X is declared as contravariant, but occurs in covariant position in return type of method MethodSignatureVariance\StaticMethod\C::d().',
+				71,
+			],
+		]);
 	}
 
 	public function testBug8880(): void
diff --git a/tests/PHPStan/Rules/Generics/UsedTraitsRuleTest.php b/tests/PHPStan/Rules/Generics/UsedTraitsRuleTest.php
index f4552c5ead..95ba70b56e 100644
--- a/tests/PHPStan/Rules/Generics/UsedTraitsRuleTest.php
+++ b/tests/PHPStan/Rules/Generics/UsedTraitsRuleTest.php
@@ -19,7 +19,7 @@ protected function getRule(): Rule
 			new GenericAncestorsCheck(
 				$this->createReflectionProvider(),
 				new GenericObjectTypeCheck(),
-				new VarianceCheck(true),
+				new VarianceCheck(true, true),
 				true,
 				[],
 			),
diff --git a/tests/PHPStan/Rules/Generics/data/method-signature-variance-static.php b/tests/PHPStan/Rules/Generics/data/method-signature-variance-static.php
new file mode 100644
index 0000000000..692f6672f2
--- /dev/null
+++ b/tests/PHPStan/Rules/Generics/data/method-signature-variance-static.php
@@ -0,0 +1,72 @@
+<?php
+
+namespace MethodSignatureVariance\StaticMethod;
+
+/** @template-contravariant T */
+interface In {
+}
+
+/** @template-covariant T */
+interface Out {
+}
+
+/** @template T */
+interface Invariant {
+}
+
+/** @template X */
+class A {
+	/**
+	 * @param X $a
+	 * @param In<X> $b
+	 * @param Out<X> $c
+	 */
+	static function a($a, $b, $c) {}
+
+	/** @return X */
+	static function b() {}
+
+	/** @return In<X> */
+	static function c() {}
+
+	/** @return Out<X> */
+	static function d() {}
+}
+
+/** @template-covariant X */
+class B {
+	/**
+	 * @param X $a
+	 * @param In<X> $b
+	 * @param Out<X> $c
+	 */
+	static function a($a, $b, $c) {}
+
+	/** @return X */
+	static function b() {}
+
+	/** @return In<X> */
+	static function c() {}
+
+	/** @return Out<X> */
+	static function d() {}
+}
+
+/** @template-contravariant X */
+class C {
+	/**
+	 * @param X $a
+	 * @param In<X> $b
+	 * @param Out<X> $c
+	 */
+	static function a($a, $b, $c) {}
+
+	/** @return X */
+	static function b() {}
+
+	/** @return In<X> */
+	static function c() {}
+
+	/** @return Out<X> */
+	static function d() {}
+}