TooWidePropertyTypeRule - property without native type and with default value is not implicitly nullable

Author: ondrejmirtes

src/Rules/TooWideTypehints/TooWideTypeCheck.php

@@ -74,7 +74,7 @@ public function checkProperty(
 			$assignedTypes[] = $scope->getType($node->getDefault());
 		}
 
-		if ($node->getNativeType() === null) {
+		if ($node->getNativeType() === null && $node->getDefault() === null) {
 			$assignedTypes[] = new NullType();
 		}
 

tests/PHPStan/Rules/TooWideTypehints/TooWidePropertyTypeRuleTest.php

@@ -32,11 +32,11 @@ public function testRule(): void
 				'Property TooWidePropertyType\Foo::$foo (int|string) is never assigned string so it can be removed from the property type.',
 				9,
 			],
-			/*[
+			[
 				'Property TooWidePropertyType\Foo::$barr (int|null) is never assigned null so it can be removed from the property type.',
 				15,
 			],
-			[
+			/*[
 				'Property TooWidePropertyType\Foo::$barrr (int|null) is never assigned null so it can be removed from the property type.',
 				18,
 			],*/