class with final doesn't mean dynamic property is prohibited

src/Type/ObjectType.php

@@ -129,10 +129,6 @@ public function hasProperty(string $propertyName): TrinaryLogic
 			return TrinaryLogic::createYes();
 		}
 
-		if ($classReflection->isFinal()) {
-			return TrinaryLogic::createNo();
-		}
-
 		return TrinaryLogic::createMaybe();
 	}
 

tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php

@@ -100,10 +100,6 @@ public function testImpossibleCheckTypeFunctionCall(): void
 					'Call to function property_exists() with $this(CheckTypeFunctionCall\FinalClassWithPropertyExists) and \'fooProperty\' will always evaluate to true.',
 					209,
 				],
-				[
-					'Call to function property_exists() with $this(CheckTypeFunctionCall\FinalClassWithPropertyExists) and \'barProperty\' will always evaluate to false.',
-					212,
-				],
 				[
 					'Call to function in_array() with arguments int, array{\'foo\', \'bar\'} and true will always evaluate to false.',
 					235,
@@ -273,10 +269,6 @@ public function testImpossibleCheckTypeFunctionCallWithoutAlwaysTrue(): void
 					'Call to function method_exists() with $this(CheckTypeFunctionCall\FinalClassWithMethodExists) and \'doBar\' will always evaluate to false.',
 					194,
 				],
-				[
-					'Call to function property_exists() with $this(CheckTypeFunctionCall\FinalClassWithPropertyExists) and \'barProperty\' will always evaluate to false.',
-					212,
-				],
 				[
 					'Call to function in_array() with arguments int, array{\'foo\', \'bar\'} and true will always evaluate to false.',
 					235,

tests/PHPStan/Type/Accessory/HasPropertyTypeTest.php

@@ -47,7 +47,7 @@ public function dataIsSuperTypeOf(): array
 			[
 				new HasPropertyType('foo'),
 				new ObjectType(Closure::class),
-				TrinaryLogic::createNo(),
+				TrinaryLogic::createMaybe(),
 			],
 			[
 				new HasPropertyType('foo'),

tests/PHPStan/Type/ObjectTypeTest.php

@@ -260,7 +260,7 @@ public function dataIsSuperTypeOf(): array
 			32 => [
 				new ObjectType(Closure::class),
 				new HasPropertyType('d'),
-				TrinaryLogic::createNo(),
+				TrinaryLogic::createMaybe(),
 			],
 			33 => [
 				new ObjectType(DateInterval::class),

tests/PHPStan/Type/TypeCombinatorTest.php

@@ -2512,8 +2512,8 @@ public function dataIntersect(): iterable
 					new ObjectType(FinalClassWithPropertyExists::class),
 					new HasPropertyType('barProperty'),
 				],
-				NeverType::class,
-				'*NEVER*',
+				IntersectionType::class,
+				'CheckTypeFunctionCall\FinalClassWithPropertyExists&hasProperty(barProperty)',
 			],
 			[
 				[