infinite loop in never returning function is allowed

Author: canvural

src/Rules/Comparison/WhileLoopAlwaysTrueConditionRule.php

@@ -13,6 +13,7 @@
 use PHPStan\Rules\Rule;
 use PHPStan\Rules\RuleErrorBuilder;
 use PHPStan\Type\Constant\ConstantBooleanType;
+use PHPStan\Type\NeverType;
 
 /**
  * @implements Rule<BreaklessWhileLoopNode>
@@ -67,6 +68,12 @@ public function processNode(
 		$originalNode = $node->getOriginalNode();
 		$exprType = $this->helper->getBooleanType($scope, $originalNode->cond);
 		if ($exprType->isTrue()->yes()) {
+			$ref = $scope->getFunction() ?? $scope->getAnonymousFunctionReflection();
+
+			if ($ref !== null && $ref->getReturnType() instanceof NeverType) {
+				return [];
+			}
+
 			$addTip = function (RuleErrorBuilder $ruleErrorBuilder) use ($scope, $originalNode): RuleErrorBuilder {
 				if (!$this->treatPhpDocTypesAsCertain) {
 					return $ruleErrorBuilder;

tests/PHPStan/Rules/Comparison/data/while-loop-true.php

@@ -91,4 +91,18 @@ public function doBar8(array $a): void
 		}
 	}
 
+	public function doBar9() :never
+	{
+		while (true) {
+			// do stuff
+		}
+	}
+
+}
+
+function doFoo() : never
+{
+	while (true) {
+		// do stuff
+	}
 }