Do not skip specifying virtual nodes

Author: ondrejmirtes

src/Analyser/TypeSpecifier.php

@@ -19,7 +19,6 @@
 use PhpParser\Node\Expr\StaticPropertyFetch;
 use PhpParser\Node\Name;
 use PhpParser\PrettyPrinter\Standard;
-use PHPStan\Node\VirtualNode;
 use PHPStan\Reflection\ReflectionProvider;
 use PHPStan\ShouldNotHappenException;
 use PHPStan\TrinaryLogic;
@@ -1009,7 +1008,7 @@ public function create(
 		?Expr $rootExpr = null,
 	): SpecifiedTypes
 	{
-		if ($expr instanceof Instanceof_ || $expr instanceof Expr\List_ || $expr instanceof VirtualNode) {
+		if ($expr instanceof Instanceof_ || $expr instanceof Expr\List_) {
 			return new SpecifiedTypes([], [], false, [], $rootExpr);
 		}
 

src/Node/Printer/Printer.php

@@ -3,6 +3,11 @@
 namespace PHPStan\Node\Printer;
 
 use PhpParser\PrettyPrinter\Standard;
+use PHPStan\Node\Expr\GetIterableKeyTypeExpr;
+use PHPStan\Node\Expr\GetIterableValueTypeExpr;
+use PHPStan\Node\Expr\GetOffsetValueTypeExpr;
+use PHPStan\Node\Expr\OriginalPropertyTypeExpr;
+use PHPStan\Node\Expr\SetOffsetValueTypeExpr;
 use PHPStan\Node\Expr\TypeExpr;
 use PHPStan\Type\VerbosityLevel;
 use function sprintf;
@@ -15,4 +20,29 @@ protected function pPHPStan_Node_TypeExpr(TypeExpr $expr): string // phpcs:ignor
 		return sprintf('__phpstanType(%s)', $expr->getExprType()->describe(VerbosityLevel::precise()));
 	}
 
+	protected function pPHPStan_Node_GetOffsetValueTypeExpr(GetOffsetValueTypeExpr $expr): string // phpcs:ignore
+	{
+		return sprintf('__phpstanGetOffsetValueType(%s, %s)', $this->p($expr->getVar()), $this->p($expr->getDim()));
+	}
+
+	protected function pPHPStan_Node_GetIterableValueTypeExpr(GetIterableValueTypeExpr $expr): string // phpcs:ignore
+	{
+		return sprintf('__phpstanGetIterableValueType(%s)', $this->p($expr->getExpr()));
+	}
+
+	protected function pPHPStan_Node_GetIterableKeyTypeExpr(GetIterableKeyTypeExpr $expr): string // phpcs:ignore
+	{
+		return sprintf('__phpstanGetIterableKeyType(%s)', $this->p($expr->getExpr()));
+	}
+
+	protected function pPHPStan_Node_OriginalPropertyTypeExpr(OriginalPropertyTypeExpr $expr): string // phpcs:ignore
+	{
+		return sprintf('__phpstanOriginalPropertyType(%s)', $this->p($expr->getPropertyFetch()));
+	}
+
+	protected function pPHPStan_Node_SetOffsetValueTypeExpr(SetOffsetValueTypeExpr $expr): string // phpcs:ignore
+	{
+		return sprintf('__phpstanSetOffsetValueType(%s, %s, %s)', $this->p($expr->getVar()), $expr->getDim() !== null ? $this->p($expr->getDim()) : 'null', $this->p($expr->getValue()));
+	}
+
 }