Preserve reflection parameter query return types on PHP 7.4

Author: ondrejmirtes

stubs/ReflectionParameter.stub

@@ -10,13 +10,15 @@ class ReflectionParameter
     }
 
 	/**
+	 * @return bool
 	 * @phpstan-assert-if-true !null $this->getType()
 	 */
 	public function hasType(): bool
 	{
 	}
 
 	/**
+	 * @return bool
 	 * @throws void
 	 */
 	public function isOptional(): bool

tests/PHPStan/Analyser/ReflectionParameterPhp7Test.php

@@ -0,0 +1,32 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Analyser;
+
+use PHPStan\Testing\TypeInferenceTestCase;
+use PHPUnit\Framework\Attributes\DataProvider;
+
+class ReflectionParameterPhp7Test extends TypeInferenceTestCase
+{
+
+	public static function dataFileAsserts(): iterable
+	{
+		yield from self::gatherAssertTypes(__DIR__ . '/nsrt/reflection-parameter-type-catch.php');
+	}
+
+	/**
+	 * @param mixed ...$args
+	 */
+	#[DataProvider('dataFileAsserts')]
+	public function testFileAsserts(string $assertType, string $file, ...$args): void
+	{
+		$this->assertFileAsserts($assertType, $file, ...$args);
+	}
+
+	public static function getAdditionalConfigFiles(): array
+	{
+		return [
+			__DIR__ . '/nodeScopeResolverPhp7.neon',
+		];
+	}
+
+}

tests/PHPStan/Analyser/nsrt/reflection-parameter-type-catch.php

@@ -49,3 +49,8 @@ function checkOptional(\ReflectionParameter $parameter): void
 
 	assertType('bool', $optional);
 }
+
+function checkHasType(\ReflectionParameter $parameter): void
+{
+	assertType('bool', $parameter->hasType());
+}