Do not extend Expr in the isset/empty/coalesce rule-facing virtual nodes

src/Analyser/NodeScopeResolver.php

@@ -2912,7 +2912,7 @@ public function getAssignedVariables(Expr $expr): array
 	 */
 	public function callNodeCallbackWithExpression(
 		callable $nodeCallback,
-		Expr $expr,
+		Node $expr,
 		MutatingScope $scope,
 		ExpressionResultStorage $storage,
 		ExpressionContext $context,

src/Node/CoalesceExpressionNode.php

@@ -4,6 +4,7 @@
 
 use Override;
 use PhpParser\Node\Expr;
+use PhpParser\NodeAbstract;
 use PHPStan\Analyser\ExpressionResult;
 
 /**
@@ -14,7 +15,7 @@
  *
  * @internal
  */
-final class CoalesceExpressionNode extends Expr implements VirtualNode
+final class CoalesceExpressionNode extends NodeAbstract implements VirtualNode
 {
 
 	public function __construct(

src/Node/EmptyExpressionNode.php

@@ -3,8 +3,8 @@
 namespace PHPStan\Node;
 
 use Override;
-use PhpParser\Node\Expr;
 use PhpParser\Node\Expr\Empty_;
+use PhpParser\NodeAbstract;
 use PHPStan\Analyser\ExpressionResult;
 
 /**
@@ -14,7 +14,7 @@
  *
  * @internal
  */
-final class EmptyExpressionNode extends Expr implements VirtualNode
+final class EmptyExpressionNode extends NodeAbstract implements VirtualNode
 {
 
 	public function __construct(Empty_ $originalNode, private ExpressionResult $exprResult)

src/Node/IssetExpressionNode.php

@@ -3,8 +3,8 @@
 namespace PHPStan\Node;
 
 use Override;
-use PhpParser\Node\Expr;
 use PhpParser\Node\Expr\Isset_;
+use PhpParser\NodeAbstract;
 use PHPStan\Analyser\ExpressionResult;
 
 /**
@@ -14,7 +14,7 @@
  *
  * @internal
  */
-final class IssetExpressionNode extends Expr implements VirtualNode
+final class IssetExpressionNode extends NodeAbstract implements VirtualNode
 {
 
 	/**

tests/PHPStan/Analyser/GetTypeOnEveryNodeRuleTest.php

@@ -0,0 +1,48 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Analyser;
+
+use PhpParser\Node;
+use PhpParser\Node\Expr;
+use PHPStan\Rules\Rule;
+use PHPStan\Testing\RuleTestCase;
+
+/**
+ * Third-party collectors and rules commonly call $scope->getType() on every
+ * expression they receive. Virtual nodes emitted to node callbacks must
+ * therefore either not be expressions at all or be resolvable and printable -
+ * an isset()/empty()/?? statement used to emit Expr-extending virtual nodes
+ * with no printer method, crashing the type-cache key printer.
+ *
+ * @extends RuleTestCase<Rule<Node>>
+ */
+class GetTypeOnEveryNodeRuleTest extends RuleTestCase
+{
+
+	protected function getRule(): Rule
+	{
+		return new class implements Rule {
+
+			public function getNodeType(): string
+			{
+				return Node::class;
+			}
+
+			public function processNode(Node $node, Scope $scope): array
+			{
+				if ($node instanceof Expr) {
+					$scope->getType($node);
+				}
+
+				return [];
+			}
+
+		};
+	}
+
+	public function testGetTypeOnEveryNode(): void
+	{
+		$this->analyse([__DIR__ . '/data/get-type-on-every-node.php'], []);
+	}
+
+}

tests/PHPStan/Analyser/data/get-type-on-every-node.php

@@ -0,0 +1,27 @@
+<?php declare(strict_types = 1);
+
+namespace GetTypeOnEveryNode;
+
+class HelloWorld
+{
+
+	/** @var array<string, string> */
+	private array $data = [];
+
+	public function sayHello(?string $name): string
+	{
+		if (isset($this->data[$name])) {
+			return $this->data[$name];
+		}
+
+		if (empty($this->data)) {
+			return 'empty';
+		}
+
+		$fallback = $name ?? 'anonymous';
+		$this->data[$fallback] ??= 'hello';
+
+		return $this->data[$fallback];
+	}
+
+}