Allow to override property union type with @property tag subtype

Author: ondrejmirtes

src/Reflection/Php/PhpClassReflectionExtension.php

@@ -451,6 +451,10 @@ private function createProperty(
 			if (
 				$hierarchyDistances[$annotationProperty->getDeclaringClass()->getName()] <= $hierarchyDistances[$distanceDeclaringClass]
 			) {
+				if ($nativeType->isSuperTypeOf($annotationProperty->getReadableType())->yes()) {
+					$nativeType = new MixedType();
+				}
+
 				return new PhpPropertyReflection(
 					$annotationProperty->getDeclaringClass(),
 					$declaringTrait,

tests/PHPStan/Analyser/nsrt/override-property-union-type-with-tag-subtype.php

@@ -0,0 +1,28 @@
+<?php
+
+namespace OverridePropertyUnionTypeWithTagSubtype;
+
+use function PHPStan\Testing\assertType;
+
+class HelloWorld
+{
+	public function __construct(
+		public readonly ?int $hello,
+	) {
+	}
+}
+
+/** @property int $hello */
+final class HelloWorld2 extends HelloWorld
+{
+	public function __construct(
+		int $hello
+	) {
+		parent::__construct(hello: $hello);
+	}
+}
+
+function hello2(HelloWorld2 $bla): void
+{
+	assertType('int', $bla->hello);
+}