diff --git a/conf/bleedingEdge.neon b/conf/bleedingEdge.neon
index f943dd22d0..33d7f84f29 100644
--- a/conf/bleedingEdge.neon
+++ b/conf/bleedingEdge.neon
@@ -24,6 +24,7 @@ parameters:
 		missingMagicSerializationRule: true
 		nullContextForVoidReturningFunctions: true
 		unescapeStrings: true
+		alwaysCheckTooWideReturnTypeFinalMethods: true
 		duplicateStubs: true
 		invarianceComposition: true
 		alwaysTrueAlwaysReported: true
diff --git a/conf/config.level4.neon b/conf/config.level4.neon
index 93a95ff425..c26858faf5 100644
--- a/conf/config.level4.neon
+++ b/conf/config.level4.neon
@@ -198,6 +198,7 @@ services:
 		class: PHPStan\Rules\TooWideTypehints\TooWideMethodReturnTypehintRule
 		arguments:
 			checkProtectedAndPublicMethods: %checkTooWideReturnTypesInProtectedAndPublicMethods%
+			alwaysCheckFinal: %featureToggles.alwaysCheckTooWideReturnTypeFinalMethods%
 		tags:
 			- phpstan.rules.rule
 
diff --git a/conf/config.neon b/conf/config.neon
index bda282be70..e9f4aa5d4e 100644
--- a/conf/config.neon
+++ b/conf/config.neon
@@ -59,6 +59,7 @@ parameters:
 		missingMagicSerializationRule: false
 		nullContextForVoidReturningFunctions: false
 		unescapeStrings: false
+		alwaysCheckTooWideReturnTypeFinalMethods: false
 		duplicateStubs: false
 		invarianceComposition: false
 		alwaysTrueAlwaysReported: false
diff --git a/conf/parametersSchema.neon b/conf/parametersSchema.neon
index 9353176566..13e14cfef1 100644
--- a/conf/parametersSchema.neon
+++ b/conf/parametersSchema.neon
@@ -54,6 +54,7 @@ parametersSchema:
 		missingMagicSerializationRule: bool()
 		nullContextForVoidReturningFunctions: bool()
 		unescapeStrings: bool()
+		alwaysCheckTooWideReturnTypeFinalMethods: bool()
 		duplicateStubs: bool()
 		invarianceComposition: bool()
 		alwaysTrueAlwaysReported: bool()
diff --git a/src/Rules/TooWideTypehints/TooWideMethodReturnTypehintRule.php b/src/Rules/TooWideTypehints/TooWideMethodReturnTypehintRule.php
index cb14c72c2f..45348f5dca 100644
--- a/src/Rules/TooWideTypehints/TooWideMethodReturnTypehintRule.php
+++ b/src/Rules/TooWideTypehints/TooWideMethodReturnTypehintRule.php
@@ -21,7 +21,7 @@
 class TooWideMethodReturnTypehintRule implements Rule
 {
 
-	public function __construct(private bool $checkProtectedAndPublicMethods)
+	public function __construct(private bool $checkProtectedAndPublicMethods, private bool $alwaysCheckFinal)
 	{
 	}
 
@@ -35,10 +35,19 @@ public function processNode(Node $node, Scope $scope): array
 		$method = $node->getMethodReflection();
 		$isFirstDeclaration = $method->getPrototype()->getDeclaringClass() === $method->getDeclaringClass();
 		if (!$method->isPrivate()) {
-			if (!$this->checkProtectedAndPublicMethods) {
+			if ($this->alwaysCheckFinal) {
+				if (!$method->getDeclaringClass()->isFinal() && !$method->isFinal()->yes()) {
+					if (!$this->checkProtectedAndPublicMethods) {
+						return [];
+					}
+
+					if ($isFirstDeclaration) {
+						return [];
+					}
+				}
+			} elseif (!$this->checkProtectedAndPublicMethods) {
 				return [];
-			}
-			if ($isFirstDeclaration && !$method->getDeclaringClass()->isFinal() && !$method->isFinal()->yes()) {
+			} elseif ($isFirstDeclaration && !$method->getDeclaringClass()->isFinal() && !$method->isFinal()->yes()) {
 				return [];
 			}
 		}
diff --git a/src/Rules/Whitespace/FileWhitespaceRule.php b/src/Rules/Whitespace/FileWhitespaceRule.php
index 9a48d9293a..5bda8b5d68 100644
--- a/src/Rules/Whitespace/FileWhitespaceRule.php
+++ b/src/Rules/Whitespace/FileWhitespaceRule.php
@@ -43,7 +43,7 @@ public function processNode(Node $node, Scope $scope): array
 			private array $lastNodes = [];
 
 			/**
-			 * @return int|Node|null
+			 * @return int|null
 			 */
 			public function enterNode(Node $node)
 			{
diff --git a/src/Type/Php/FilterFunctionReturnTypeHelper.php b/src/Type/Php/FilterFunctionReturnTypeHelper.php
index 159bf5d88c..a2ed6c792b 100644
--- a/src/Type/Php/FilterFunctionReturnTypeHelper.php
+++ b/src/Type/Php/FilterFunctionReturnTypeHelper.php
@@ -55,7 +55,7 @@ public function __construct(private ReflectionProvider $reflectionProvider, priv
 		$this->flagsString = new ConstantStringType('flags');
 	}
 
-	public function getOffsetValueType(Type $inputType, Type $offsetType, ?Type $filterType, ?Type $flagsType): ?Type
+	public function getOffsetValueType(Type $inputType, Type $offsetType, ?Type $filterType, ?Type $flagsType): Type
 	{
 		$inexistentOffsetType = $this->hasFlag($this->getConstant('FILTER_NULL_ON_FAILURE'), $flagsType)
 			? new ConstantBooleanType(false)
@@ -73,7 +73,7 @@ public function getOffsetValueType(Type $inputType, Type $offsetType, ?Type $fil
 			: $filteredType;
 	}
 
-	public function getInputType(Type $typeType, Type $varNameType, ?Type $filterType, ?Type $flagsType): ?Type
+	public function getInputType(Type $typeType, Type $varNameType, ?Type $filterType, ?Type $flagsType): Type
 	{
 		$this->supportedFilterInputTypes ??= TypeCombinator::union(
 			$this->reflectionProvider->getConstant(new Node\Name('INPUT_GET'), null)->getValueType(),
diff --git a/tests/PHPStan/Rules/TooWideTypehints/TooWideMethodReturnTypehintRuleTest.php b/tests/PHPStan/Rules/TooWideTypehints/TooWideMethodReturnTypehintRuleTest.php
index d7dc81dfe3..0a6e138279 100644
--- a/tests/PHPStan/Rules/TooWideTypehints/TooWideMethodReturnTypehintRuleTest.php
+++ b/tests/PHPStan/Rules/TooWideTypehints/TooWideMethodReturnTypehintRuleTest.php
@@ -12,9 +12,13 @@
 class TooWideMethodReturnTypehintRuleTest extends RuleTestCase
 {
 
+	private bool $checkProtectedAndPublicMethods = true;
+
+	private bool $alwaysCheckFinal = false;
+
 	protected function getRule(): Rule
 	{
-		return new TooWideMethodReturnTypehintRule(true);
+		return new TooWideMethodReturnTypehintRule($this->checkProtectedAndPublicMethods, $this->alwaysCheckFinal);
 	}
 
 	public function testPrivate(): void
@@ -102,4 +106,142 @@ public function testBug6175(): void
 		$this->analyse([__DIR__ . '/data/bug-6175.php'], []);
 	}
 
+	public function dataAlwaysCheckFinal(): iterable
+	{
+		yield [
+			false,
+			false,
+			[
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\Foo::test() never returns null so it can be removed from the return type.',
+					8,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FinalFoo::test() never returns null so it can be removed from the return type.',
+					28,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FooFinalMethods::test() never returns null so it can be removed from the return type.',
+					48,
+				],
+			],
+		];
+
+		yield [
+			true,
+			false,
+			[
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\Foo::test() never returns null so it can be removed from the return type.',
+					8,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FinalFoo::test() never returns null so it can be removed from the return type.',
+					28,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FinalFoo::test2() never returns null so it can be removed from the return type.',
+					33,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FinalFoo::test3() never returns null so it can be removed from the return type.',
+					38,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FooFinalMethods::test() never returns null so it can be removed from the return type.',
+					48,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FooFinalMethods::test2() never returns null so it can be removed from the return type.',
+					53,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FooFinalMethods::test3() never returns null so it can be removed from the return type.',
+					58,
+				],
+			],
+		];
+
+		yield [
+			false,
+			true,
+			[
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\Foo::test() never returns null so it can be removed from the return type.',
+					8,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FinalFoo::test() never returns null so it can be removed from the return type.',
+					28,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FinalFoo::test2() never returns null so it can be removed from the return type.',
+					33,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FinalFoo::test3() never returns null so it can be removed from the return type.',
+					38,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FooFinalMethods::test() never returns null so it can be removed from the return type.',
+					48,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FooFinalMethods::test2() never returns null so it can be removed from the return type.',
+					53,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FooFinalMethods::test3() never returns null so it can be removed from the return type.',
+					58,
+				],
+			],
+		];
+
+		yield [
+			true,
+			true,
+			[
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\Foo::test() never returns null so it can be removed from the return type.',
+					8,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FinalFoo::test() never returns null so it can be removed from the return type.',
+					28,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FinalFoo::test2() never returns null so it can be removed from the return type.',
+					33,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FinalFoo::test3() never returns null so it can be removed from the return type.',
+					38,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FooFinalMethods::test() never returns null so it can be removed from the return type.',
+					48,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FooFinalMethods::test2() never returns null so it can be removed from the return type.',
+					53,
+				],
+				[
+					'Method MethodTooWideReturnAlwaysCheckFinal\FooFinalMethods::test3() never returns null so it can be removed from the return type.',
+					58,
+				],
+			],
+		];
+	}
+
+	/**
+	 * @dataProvider dataAlwaysCheckFinal
+	 * @param list<array{0: string, 1: int, 2?: string|null}> $expectedErrors
+	 */
+	public function testAlwaysCheckFinal(bool $checkProtectedAndPublicMethods, bool $alwaysCheckFinal, array $expectedErrors): void
+	{
+		$this->checkProtectedAndPublicMethods = $checkProtectedAndPublicMethods;
+		$this->alwaysCheckFinal = $alwaysCheckFinal;
+		$this->analyse([__DIR__ . '/data/method-too-wide-return-always-check-final.php'], $expectedErrors);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/TooWideTypehints/data/method-too-wide-return-always-check-final.php b/tests/PHPStan/Rules/TooWideTypehints/data/method-too-wide-return-always-check-final.php
new file mode 100644
index 0000000000..9a2093ad1d
--- /dev/null
+++ b/tests/PHPStan/Rules/TooWideTypehints/data/method-too-wide-return-always-check-final.php
@@ -0,0 +1,63 @@
+<?php
+
+namespace MethodTooWideReturnAlwaysCheckFinal;
+
+class Foo
+{
+
+	private function test(): ?int
+	{
+		return 1;
+	}
+
+	protected function test2(): ?int
+	{
+		return 1;
+	}
+
+	public function test3(): ?int
+	{
+		return 1;
+	}
+
+}
+
+final class FinalFoo
+{
+
+	private function test(): ?int
+	{
+		return 1;
+	}
+
+	protected function test2(): ?int
+	{
+		return 1;
+	}
+
+	public function test3(): ?int
+	{
+		return 1;
+	}
+
+}
+
+class FooFinalMethods
+{
+
+	private function test(): ?int
+	{
+		return 1;
+	}
+
+	final protected function test2(): ?int
+	{
+		return 1;
+	}
+
+	final public function test3(): ?int
+	{
+		return 1;
+	}
+
+}