Apply same non-object guard to hasProperty, hasInstanceProperty, hasStaticProperty, hasConstant

The same lazyMaxMin early-return issue from hasMethod() affects these
methods: MixedType returns Yes for all of them, which dominates a
non-object type's No via the early return in lazyMaxMin. This causes
incorrect Yes results for intersection types like int&T where T is
a template bounded by mixed.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

src/Type/IntersectionType.php

@@ -552,6 +552,12 @@ public function canAccessProperties(): TrinaryLogic
 
 	public function hasProperty(string $propertyName): TrinaryLogic
 	{
+		foreach ($this->types as $type) {
+			if ($type->isObject()->no() && $type->hasProperty($propertyName)->no()) {
+				return TrinaryLogic::createNo();
+			}
+		}
+
 		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->hasProperty($propertyName));
 	}
 
@@ -585,6 +591,12 @@ public function getUnresolvedPropertyPrototype(string $propertyName, ClassMember
 
 	public function hasInstanceProperty(string $propertyName): TrinaryLogic
 	{
+		foreach ($this->types as $type) {
+			if ($type->isObject()->no() && $type->hasInstanceProperty($propertyName)->no()) {
+				return TrinaryLogic::createNo();
+			}
+		}
+
 		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->hasInstanceProperty($propertyName));
 	}
 
@@ -618,6 +630,12 @@ public function getUnresolvedInstancePropertyPrototype(string $propertyName, Cla
 
 	public function hasStaticProperty(string $propertyName): TrinaryLogic
 	{
+		foreach ($this->types as $type) {
+			if ($type->isObject()->no() && $type->hasStaticProperty($propertyName)->no()) {
+				return TrinaryLogic::createNo();
+			}
+		}
+
 		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->hasStaticProperty($propertyName));
 	}
 
@@ -700,6 +718,12 @@ public function canAccessConstants(): TrinaryLogic
 
 	public function hasConstant(string $constantName): TrinaryLogic
 	{
+		foreach ($this->types as $type) {
+			if ($type->isObject()->no() && $type->hasConstant($constantName)->no()) {
+				return TrinaryLogic::createNo();
+			}
+		}
+
 		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->hasConstant($constantName));
 	}