Try

Author: VincentLanglet

src/Type/ObjectShapeType.php

@@ -137,21 +137,6 @@ public function getUnresolvedInstancePropertyPrototype(string $propertyName, Cla
 		);
 	}
 
-	public function hasStaticProperty(string $propertyName): TrinaryLogic
-	{
-		return TrinaryLogic::createNo();
-	}
-
-	public function getStaticProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection
-	{
-		throw new ShouldNotHappenException();
-	}
-
-	public function getUnresolvedStaticPropertyPrototype(string $propertyName, ClassMemberAccessAnswerer $scope): UnresolvedPropertyPrototypeReflection
-	{
-		throw new ShouldNotHappenException();
-	}
-
 	public function accepts(Type $type, bool $strictTypes): AcceptsResult
 	{
 		if ($type instanceof CompoundType) {
@@ -189,8 +174,8 @@ public function accepts(Type $type, bool $strictTypes): AcceptsResult
 				if (in_array($propertyName, $this->optionalProperties, true)) {
 					continue;
 				}
-				$result = $result->and($hasProperty);
-				continue;
+
+				return $hasProperty;
 			}
 			if ($hasProperty->maybe()) {
 				if (!in_array($propertyName, $this->optionalProperties, true)) {
@@ -301,7 +286,17 @@ public function isSuperTypeOf(Type $type): IsSuperTypeOfResult
 			}
 
 			$result = $result->and($hasProperty);
-			$otherProperty = $type->getInstanceProperty($propertyName, $scope);
+<<<<<<< HEAD
+			$otherProperty = $type->getProperty($propertyName, $scope);
+=======
+
+			try {
+				$otherProperty = $type->getInstanceProperty($propertyName, $scope);
+			} catch (MissingPropertyFromReflectionException) {
+				return $result;
+			}
+
+>>>>>>> a507ab857 (Solve deprecations)
 			if (!$otherProperty->isPublic()) {
 				return IsSuperTypeOfResult::createNo();
 			}