Update property-null-after-assignment.php

Author: staabm

tests/PHPStan/Analyser/nsrt/property-null-after-assignment.php

@@ -1,11 +1,11 @@
 <?php
 
-namespace PropertyNullAfterAssignment;
+namespace PropertyNullAfterAssignmentStrictTypesDisabled;
 
 use function PHPStan\Testing\assertNativeType;
 use function PHPStan\Testing\assertType;
 
-class HelloWorld {
+class KeepsPropertyNonNullable {
 	private readonly int $i;
 
 	public function __construct()
@@ -25,3 +25,47 @@ function getIntOrNull(): ?int {
 	}
 	return 1;
 }
+
+
+class KeepsPropertyNonNullable2 {
+	private readonly int|float $i;
+
+	public function __construct()
+	{
+		$this->i = getIntOrFloatOrNull();
+	}
+
+	public function doFoo(): void {
+		assertType('float|int', $this->i);
+		assertNativeType('float|int', $this->i);
+	}
+}
+
+function getIntOrFloatOrNull(): null|int|float {
+	if (rand(0, 1) === 0) {
+		return null;
+	}
+
+	if (rand(0, 10) === 0) {
+		return 1.0;
+	}
+	return 1;
+}
+
+class NarrowsUnion {
+	private readonly int|float $i;
+
+	public function __construct()
+	{
+		$this->i = getInt();
+	}
+
+	public function doFoo(): void {
+		assertType('int', $this->i);
+		assertNativeType('int', $this->i);
+	}
+}
+
+function getInt(): int {
+	return 1;
+}