RequiredPhpVersionVisitor: report native union types as requiring PHP 8.0

build/PHPStan/Build/RequiredPhpVersionVisitor.php

@@ -67,6 +67,7 @@ public function enterNode(Node $node): ?Node
 		}
 
 		if ($node instanceof Node\UnionType) {
+			$this->require(self::PHP_8_0, 'union types', $node);
 			foreach ($node->types as $innerType) {
 				if ($innerType instanceof Node\IntersectionType) {
 					$this->require(self::PHP_8_2, 'disjunctive normal form types', $innerType);

tests/PHPStan/Analyser/data/bug-9860.php

@@ -1,4 +1,4 @@
-<?php declare(strict_types = 1);
+<?php declare(strict_types = 1); // lint >= 8.0
 
 namespace Bug9860;
 

tests/PHPStan/Analyser/nsrt/bug-11703.php

@@ -1,5 +1,5 @@
-<?php declare(strict_types = 1);
-
+<?php // lint >= 8.0
+declare(strict_types = 1);
 namespace Bug11703;
 
 use function PHPStan\Testing\assertType;

tests/PHPStan/Analyser/nsrt/bug-12125.php

@@ -1,5 +1,5 @@
-<?php declare(strict_types = 1);
-
+<?php // lint >= 8.0
+declare(strict_types = 1);
 namespace Bug12125;
 
 use ArrayAccess;

tests/PHPStan/Analyser/nsrt/bug-13358.php

@@ -1,5 +1,5 @@
-<?php declare(strict_types = 1);
-
+<?php // lint >= 8.0
+declare(strict_types = 1);
 namespace Bug13358;
 
 use function PHPStan\Testing\assertType;

tests/PHPStan/Analyser/nsrt/bug-14319.php

@@ -1,4 +1,4 @@
-<?php
+<?php // lint >= 8.0
 
 namespace Bug14319;
 

tests/PHPStan/Analyser/nsrt/bug-14710.php

@@ -1,5 +1,5 @@
-<?php declare(strict_types = 1);
-
+<?php // lint >= 8.0
+declare(strict_types = 1);
 namespace Bug14710;
 
 use function PHPStan\Testing\assertType;

tests/PHPStan/Analyser/nsrt/bug-7259.php

@@ -1,5 +1,5 @@
-<?php declare(strict_types = 1);
-
+<?php // lint >= 8.0
+declare(strict_types = 1);
 namespace Bug7259;
 
 use function PHPStan\Testing\assertType;

tests/PHPStan/Analyser/nsrt/bug-7987.php

@@ -1,5 +1,5 @@
-<?php declare(strict_types=1);
-
+<?php // lint >= 8.0
+declare(strict_types=1);
 namespace Bug7987;
 
 use function PHPStan\Testing\assertType;

tests/PHPStan/Analyser/nsrt/bug-9208.php

@@ -1,4 +1,4 @@
-<?php
+<?php // lint >= 8.0
 
 namespace Bug9208;
 

tests/PHPStan/Analyser/nsrt/bug-9360.php

@@ -1,5 +1,5 @@
-<?php declare(strict_types = 1);
-
+<?php // lint >= 8.0
+declare(strict_types = 1);
 namespace Bug9360;
 
 use function PHPStan\Testing\assertType;

tests/PHPStan/Analyser/nsrt/bug-9404.php

@@ -1,4 +1,4 @@
-<?php
+<?php // lint >= 8.0
 
 namespace Bug9404;
 

tests/PHPStan/Analyser/nsrt/date-format.php

@@ -1,4 +1,4 @@
-<?php
+<?php // lint >= 8.0
 
 namespace DateFormatReturnType;
 

tests/PHPStan/Analyser/nsrt/native-expressions.php

@@ -1,4 +1,4 @@
-<?php
+<?php // lint >= 8.0
 
 namespace NativeExpressions;
 

tests/PHPStan/Analyser/nsrt/preg_split.php

@@ -1,4 +1,4 @@
-<?php
+<?php // lint >= 8.0
 
 namespace PregSplit;
 

tests/PHPStan/Build/RequiredPhpVersionCommentTest.php

@@ -123,6 +123,9 @@ public static function dataDetectedVersion(): iterable
 		yield 'enum' => ['<?php enum Foo { case A; }', 80100];
 		yield 'readonly property' => ['<?php class Foo { public readonly int $x; }', 80100];
 		yield 'readonly promoted property' => ['<?php class Foo { public function __construct(public readonly int $x) {} }', 80100];
+		yield 'union type' => ['<?php function foo(A|B $x) {}', 80000];
+		yield 'union return type' => ['<?php function foo(): A|B {}', 80000];
+		yield 'nullable union type' => ['<?php function foo(A|null $x) {}', 80000];
 		yield 'intersection type' => ['<?php function foo(A&B $x) {}', 80100];
 		yield 'first-class callable' => ['<?php strlen(...);', 80100];
 		yield 'readonly class' => ['<?php readonly class Foo {}', 80200];

tests/PHPStan/Rules/Functions/data/bug-5760.php

@@ -1,4 +1,4 @@
-<?php declare(strict_types=1);
+<?php declare(strict_types=1); // lint >= 8.0
 
 namespace Bug5760;
 

tests/PHPStan/Rules/Functions/data/bug-6448.php

@@ -1,4 +1,4 @@
-<?php
+<?php // lint >= 8.0
 
 namespace Bug6448;
 

tests/PHPStan/Rules/Functions/data/bug-7138.php

@@ -1,4 +1,4 @@
-<?php
+<?php // lint >= 8.0
 
 namespace Bug7138;
 

tests/PHPStan/Rules/Functions/data/bug-9652.php

@@ -1,4 +1,4 @@
-<?php declare(strict_types = 1);
+<?php declare(strict_types = 1); // lint >= 8.0
 
 namespace Bug9652;
 

tests/PHPStan/Rules/Methods/data/bug-11663.php

@@ -1,4 +1,4 @@
-<?php declare(strict_types = 1);
+<?php declare(strict_types = 1); // lint >= 8.0
 
 namespace Bug11663;
 

tests/PHPStan/Rules/Methods/data/bug-12558.php

@@ -1,4 +1,4 @@
-<?php declare(strict_types = 1);
+<?php declare(strict_types = 1); // lint >= 8.0
 
 namespace Bug12558;
 

tests/PHPStan/Rules/Methods/data/bug-12884.php

@@ -1,4 +1,4 @@
-<?php declare(strict_types = 1);
+<?php declare(strict_types = 1); // lint >= 8.0
 
 namespace Bug12884;
 

tests/PHPStan/Rules/Methods/data/bug-14617.php

@@ -1,4 +1,4 @@
-<?php declare(strict_types = 1);
+<?php declare(strict_types = 1); // lint >= 8.0
 
 namespace Bug14617;
 

tests/PHPStan/Rules/Methods/data/bug-8071.php

@@ -1,4 +1,4 @@
-<?php
+<?php // lint >= 8.0
 
 namespace Bug8071;
 

tests/PHPStan/Rules/Properties/data/invalid-callable-property-type.php

@@ -1,4 +1,4 @@
-<?php declare(strict_types = 1);
+<?php declare(strict_types = 1); // lint >= 8.0
 
 namespace InvalidCallablePropertyType;
 

tests/PHPStan/Rules/Types/data/invalid-union-with-never.php

@@ -1,4 +1,4 @@
-<?php declare(strict_types=1);
+<?php declare(strict_types=1); // lint >= 8.0
 
 namespace InvalidUnionWithNever;
 

tests/PHPStan/Rules/Types/data/invalid-union-with-void.php

@@ -1,4 +1,4 @@
-<?php declare(strict_types=1);
+<?php declare(strict_types=1); // lint >= 8.0
 
 namespace InvalidUnionWithVoid;