fix

Author: staabm

tests/PHPStan/Analyser/nsrt/properties-php81.php

@@ -0,0 +1,21 @@
+<?php // lint < 8.1
+
+namespace PropertiesNamespacePhp81;
+
+use PropertiesNamespace\Bar;
+use function PHPStan\Testing\assertType;
+
+use SomeNamespace\Amet as Dolor;
+use SomeGroupNamespace\{One, Two as Too, Three};
+
+/**
+ * @property-read string $documentElement
+ */
+abstract class Foo extends Bar
+{
+	public function doFoo()
+	{
+		assertType('string', $this->documentElement);
+	}
+
+}

tests/PHPStan/Analyser/nsrt/properties.php

@@ -1,11 +1,12 @@
-<?php
+<?php // lint >= 8.1
 
 namespace PropertiesNamespace;
 
 use function PHPStan\Testing\assertType;
 
 use SomeNamespace\Amet as Dolor;
 use SomeGroupNamespace\{One, Two as Too, Three};
+use const PHP_VERSION_ID;
 
 /**
  * @property-read string $overriddenReadOnlyProperty
@@ -166,7 +167,7 @@ public function doFoo()
 		assertType('PropertiesNamespace\Bar', $this->implicitInheritDocProperty);
 		assertType('int', $this->readOnlyProperty);
 		assertType('string', $this->overriddenReadOnlyProperty);
-		assertType(PHP_VERSION_ID < 80100 ? 'string' : 'DOMElement|null', $this->documentElement);
+		assertType('DOMElement|null', $this->documentElement);
 	}
 
 }

tests/PHPStan/Analyser/nsrt/range-function-php80.php

@@ -0,0 +1,5 @@
+<?php // lint < 8.3
+
+use function PHPStan\Testing\assertType;
+
+assertType('array{2.0, 3.0, 4.0, 5.0}', range(2, 5, 1.0));

tests/PHPStan/Analyser/nsrt/range-function.php

@@ -1,4 +1,4 @@
-<?php
+<?php // lint >= 8.3
 
 use function PHPStan\Testing\assertType;
 
@@ -14,7 +14,7 @@
 assertType('array{2, 3, 4, 5}', range(2, 5));
 assertType('array{2, 4}', range(2, 5, 2));
 assertType('array{2, 0}', range(2, '', 2));
-assertType(PHP_VERSION_ID < 80300 ? 'array{2.0, 3.0, 4.0, 5.0}' : 'array{2, 3, 4, 5}', range(2, 5, 1.0));
+assertType('array{2, 3, 4, 5}', range(2, 5, 1.0));
 assertType('array{2.1, 3.1, 4.1}', range(2.1, 5));
 assertType('non-empty-list<int>', range(2, 5, $integer));
 assertType('non-empty-list<float|int>', range($float, 5, $integer));