Test changing type node for different type

phpstan · May 29, 2023 · 4e3883b · 4e3883b
1 parent 90cf56c
commit 4e3883b
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/tests/PHPStan/Printer/PrinterTest.php b/tests/PHPStan/Printer/PrinterTest.php
@@ -1385,6 +1385,27 @@ public function enterNode(Node $node)
 
 			},
 		];
+
+		yield [
+			'/** @var ArrayObject<int[]> */',
+			'/** @var ArrayObject<array<int>> */',
+			new class extends AbstractNodeVisitor {
+
+				public function enterNode(Node $node)
+				{
+					if ($node instanceof ArrayTypeNode) {
+						return new GenericTypeNode(new IdentifierTypeNode('array'), [
+							new IdentifierTypeNode('int'),
+						], [
+							GenericTypeNode::VARIANCE_INVARIANT,
+						]);
+					}
+
+					return $node;
+				}
+
+			},
+		];
 	}
 
 	/**