diff --git a/rules-tests/DeadCode/Rector/If_/RemoveAlwaysTrueIfConditionRector/Fixture/skip_property_by_var_doc.php.inc b/rules-tests/DeadCode/Rector/If_/RemoveAlwaysTrueIfConditionRector/Fixture/skip_property_by_var_doc.php.inc
new file mode 100644
index 00000000000..740997bbb4d
--- /dev/null
+++ b/rules-tests/DeadCode/Rector/If_/RemoveAlwaysTrueIfConditionRector/Fixture/skip_property_by_var_doc.php.inc
@@ -0,0 +1,25 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\If_\RemoveAlwaysTrueIfConditionRector\Fixture;
+
+class SkipPropertyByVarDoc
+{
+    /** @var \DateTime */
+    private $property;
+
+    public function __construct()
+    {
+        if (rand(0, 1)) {
+            $this->property = new \DateTime('now');
+        }
+    }
+
+    public function verify()
+    {
+        if ($this->property instanceof \DateTime) {
+            return true;
+        }
+
+        return false;
+    }
+}
diff --git a/rules-tests/DeadCode/Rector/If_/RemoveAlwaysTrueIfConditionRector/Fixture/skip_property_by_var_doc2.php.inc b/rules-tests/DeadCode/Rector/If_/RemoveAlwaysTrueIfConditionRector/Fixture/skip_property_by_var_doc2.php.inc
new file mode 100644
index 00000000000..0ef8f7719f8
--- /dev/null
+++ b/rules-tests/DeadCode/Rector/If_/RemoveAlwaysTrueIfConditionRector/Fixture/skip_property_by_var_doc2.php.inc
@@ -0,0 +1,18 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\If_\RemoveAlwaysTrueIfConditionRector\Fixture;
+
+use Rector\Tests\DeadCode\Rector\If_\RemoveAlwaysTrueIfConditionRector\Source\SomeClassWithPropertyUseVarDocblock;
+
+class SkipPropertyByVarDoc2
+{
+    public function verify()
+    {
+        $obj = new SomeClassWithPropertyUseVarDocblock();
+        if ($obj->property instanceof \DateTime) {
+            return true;
+        }
+
+        return false;
+    }
+}
diff --git a/rules-tests/DeadCode/Rector/If_/RemoveAlwaysTrueIfConditionRector/Source/SomeClassWithPropertyUseVarDocblock.php b/rules-tests/DeadCode/Rector/If_/RemoveAlwaysTrueIfConditionRector/Source/SomeClassWithPropertyUseVarDocblock.php
new file mode 100644
index 00000000000..4c1f74d4ca3
--- /dev/null
+++ b/rules-tests/DeadCode/Rector/If_/RemoveAlwaysTrueIfConditionRector/Source/SomeClassWithPropertyUseVarDocblock.php
@@ -0,0 +1,9 @@
+<?php
+
+namespace Rector\Tests\DeadCode\Rector\If_\RemoveAlwaysTrueIfConditionRector\Source;
+
+class SomeClassWithPropertyUseVarDocblock
+{
+    /** @var \DateTime */
+    public $property;
+}
diff --git a/rules/DeadCode/Rector/If_/RemoveAlwaysTrueIfConditionRector.php b/rules/DeadCode/Rector/If_/RemoveAlwaysTrueIfConditionRector.php
index a29469ef4f8..4a01d280d95 100644
--- a/rules/DeadCode/Rector/If_/RemoveAlwaysTrueIfConditionRector.php
+++ b/rules/DeadCode/Rector/If_/RemoveAlwaysTrueIfConditionRector.php
@@ -5,10 +5,15 @@
 namespace Rector\DeadCode\Rector\If_;
 
 use PhpParser\Node;
+use PhpParser\Node\Expr;
+use PhpParser\Node\Expr\PropertyFetch;
+use PhpParser\Node\Expr\StaticPropertyFetch;
 use PhpParser\Node\Stmt;
 use PhpParser\Node\Stmt\If_;
+use PHPStan\Reflection\ClassReflection;
 use PHPStan\Type\Constant\ConstantBooleanType;
 use Rector\Core\Rector\AbstractRector;
+use Rector\Core\Reflection\ReflectionResolver;
 use Symplify\RuleDocGenerator\ValueObject\CodeSample\CodeSample;
 use Symplify\RuleDocGenerator\ValueObject\RuleDefinition;
 
@@ -17,6 +22,10 @@
  */
 final class RemoveAlwaysTrueIfConditionRector extends AbstractRector
 {
+    public function __construct(private readonly ReflectionResolver $reflectionResolver)
+    {
+    }
+
     public function getRuleDefinition(): RuleDefinition
     {
         return new RuleDefinition('Remove if condition that is always true', [
@@ -82,6 +91,10 @@ public function refactor(Node $node): If_|null|array
             return null;
         }
 
+        if ($this->shouldSkipPropertyFetch($node->cond)) {
+            return null;
+        }
+
         if ($node->stmts === []) {
             $this->removeNode($node);
             return null;
@@ -89,4 +102,34 @@ public function refactor(Node $node): If_|null|array
 
         return $node->stmts;
     }
+
+    private function shouldSkipPropertyFetch(Expr $expr): bool
+    {
+        /** @var PropertyFetch[]|StaticPropertyFetch[] $propertyFetches */
+        $propertyFetches = $this->betterNodeFinder->findInstancesOf(
+            $expr,
+            [PropertyFetch::class, StaticPropertyFetch::class]
+        );
+
+        foreach ($propertyFetches as $propertyFetch) {
+            $classReflection = $this->reflectionResolver->resolveClassReflectionSourceObject($propertyFetch);
+
+            if (! $classReflection instanceof ClassReflection) {
+                continue;
+            }
+
+            $propertyName = (string) $this->nodeNameResolver->getName($propertyFetch);
+
+            if (! $classReflection->hasNativeProperty($propertyName)) {
+                continue;
+            }
+
+            $nativeProperty = $classReflection->getNativeProperty($propertyName);
+            if (! $nativeProperty->hasNativeType()) {
+                return true;
+            }
+        }
+
+        return false;
+    }
 }
diff --git a/src/Reflection/ReflectionResolver.php b/src/Reflection/ReflectionResolver.php
index 153fca7f8bc..2516767b97f 100644
--- a/src/Reflection/ReflectionResolver.php
+++ b/src/Reflection/ReflectionResolver.php
@@ -84,9 +84,27 @@ public function resolveClassReflection(?Node $node): ?ClassReflection
         return $scope->getClassReflection();
     }
 
-    public function resolveClassReflectionSourceObject(MethodCall|StaticCall $call): ?ClassReflection
-    {
-        $classMethod = $this->astResolver->resolveClassMethodFromCall($call);
+    public function resolveClassReflectionSourceObject(
+        MethodCall|StaticCall|PropertyFetch|StaticPropertyFetch $node
+    ): ?ClassReflection {
+        if ($node instanceof PropertyFetch || $node instanceof StaticPropertyFetch) {
+            $objectType = $node instanceof PropertyFetch
+                ? $this->nodeTypeResolver->getType($node->var)
+                : $this->nodeTypeResolver->getType($node->class);
+
+            if (! $objectType instanceof TypeWithClassName) {
+                return null;
+            }
+
+            $className = $objectType->getClassName();
+            if (! $this->reflectionProvider->hasClass($className)) {
+                return null;
+            }
+
+            return $this->reflectionProvider->getClass($className);
+        }
+
+        $classMethod = $this->astResolver->resolveClassMethodFromCall($node);
         return $this->resolveClassReflection($classMethod);
     }