Bleeding edge - MissingReturnRule - make the error non-ignorable for native typehints

Author: ondrejmirtes

conf/config.level0.neon

@@ -172,6 +172,7 @@ services:
 		arguments:
 			checkExplicitMixedMissingReturn: %checkExplicitMixedMissingReturn%
 			checkPhpDocMissingReturn: %checkPhpDocMissingReturn%
+			bleedingEdge: %featureToggles.bleedingEdge%
 		tags:
 			- phpstan.rules.rule
 

src/Rules/Missing/MissingReturnRule.php

@@ -28,13 +28,17 @@ class MissingReturnRule implements Rule
 
 	private bool $checkPhpDocMissingReturn;
 
+	private bool $bleedingEdge;
+
 	public function __construct(
 		bool $checkExplicitMixedMissingReturn,
-		bool $checkPhpDocMissingReturn
+		bool $checkPhpDocMissingReturn,
+		bool $bleedingEdge = false
 	)
 	{
 		$this->checkExplicitMixedMissingReturn = $checkExplicitMixedMissingReturn;
 		$this->checkPhpDocMissingReturn = $checkPhpDocMissingReturn;
+		$this->bleedingEdge = $bleedingEdge;
 	}
 
 	public function getNodeType(): string
@@ -106,8 +110,14 @@ public function processNode(Node $node, Scope $scope): array
 		}
 
 		if ($returnType instanceof NeverType && $returnType->isExplicit()) {
+			$errorBuilder = RuleErrorBuilder::message(sprintf('%s should always throw an exception or terminate script execution but doesn\'t do that.', $description))->line($node->getNode()->getStartLine());
+
+			if ($this->bleedingEdge && $node->hasNativeReturnTypehint()) {
+				$errorBuilder->nonIgnorable();
+			}
+
 			return [
-				RuleErrorBuilder::message(sprintf('%s should always throw an exception or terminate script execution but doesn\'t do that.', $description))->line($node->getNode()->getStartLine())->build(),
+				$errorBuilder->build(),
 			];
 		}
 
@@ -123,10 +133,16 @@ public function processNode(Node $node, Scope $scope): array
 			return [];
 		}
 
+		$errorBuilder = RuleErrorBuilder::message(
+			sprintf('%s should return %s but return statement is missing.', $description, $returnType->describe(VerbosityLevel::typeOnly()))
+		)->line($node->getNode()->getStartLine());
+
+		if ($this->bleedingEdge && $node->hasNativeReturnTypehint()) {
+			$errorBuilder->nonIgnorable();
+		}
+
 		return [
-			RuleErrorBuilder::message(
-				sprintf('%s should return %s but return statement is missing.', $description, $returnType->describe(VerbosityLevel::typeOnly()))
-			)->line($node->getNode()->getStartLine())->build(),
+			$errorBuilder->build(),
 		];
 	}