infinite loop in never returning function is allowed

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/WhileLoopAlwaysTrueConditionRuleTest.php

@@ -4,6 +4,7 @@
 
 use PHPStan\Rules\Rule;
 use PHPStan\Testing\RuleTestCase;
+use PHPUnit\Framework\Attributes\RequiresPhp;
 
 /**
  * @extends RuleTestCase<WhileLoopAlwaysTrueConditionRule>
@@ -47,4 +48,10 @@ public function testRule(): void
 		]);
 	}
 
+	#[RequiresPhp('>= 8.1')]
+	public function testRulePHP81(): void
+	{
+		$this->analyse([__DIR__ . '/data/while-loop-true-php81.php'], []);
+	}
+
 }

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

@@ -0,0 +1,21 @@
+<?php
+
+namespace WhileLoopTruePhp81;
+
+class Foo
+{
+	public function doBar() :never
+	{
+		while (true) {
+			// do stuff
+		}
+	}
+
+}
+
+function doFoo() : never
+{
+	while (true) {
+		// do stuff
+	}
+}