fix: checking optional properties in object shapes

Author: calebdw

src/Type/ObjectShapeType.php

@@ -176,15 +176,7 @@ public function accepts(Type $type, bool $strictTypes): AcceptsResult
 			try {
 				$otherProperty = $type->getProperty($propertyName, $scope);
 			} catch (MissingPropertyFromReflectionException) {
-				return AcceptsResult::createNo(
-					[
-						sprintf(
-							'%s does not have property $%s.',
-							$type->describe(VerbosityLevel::typeOnly()),
-							$propertyName,
-						),
-					],
-				);
+				continue;
 			}
 
 			if (!$otherProperty->isPublic()) {
@@ -281,15 +273,7 @@ public function isSuperTypeOf(Type $type): IsSuperTypeOfResult
 			try {
 				$otherProperty = $type->getProperty($propertyName, $scope);
 			} catch (MissingPropertyFromReflectionException) {
-				return IsSuperTypeOfResult::createNo(
-					[
-						sprintf(
-							'%s does not have property $%s.',
-							$type->describe(VerbosityLevel::typeOnly()),
-							$propertyName,
-						),
-					],
-				);
+				continue;
 			}
 			if (!$otherProperty->isPublic()) {
 				return IsSuperTypeOfResult::createNo();

tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php

@@ -3666,4 +3666,13 @@ public function testBug3396(): void
 		$this->analyse([__DIR__ . '/data/bug-3396.php'], []);
 	}
 
+	public function testBug13511(): void
+	{
+		$this->checkThisOnly = false;
+		$this->checkNullables = true;
+		$this->checkUnionTypes = true;
+		$this->checkExplicitMixed = true;
+		$this->analyse([__DIR__ . '/data/bug-13511.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Methods/data/bug-13511.php

@@ -0,0 +1,24 @@
+<?php
+
+namespace Bug13511;
+
+class User
+{
+	public function __construct(
+		public string $name,
+		public string $email,
+	) {}
+}
+
+class Printer
+{
+	/** @param object{name: string, email: string, phone?: string} $object */
+	function printInfo(object $object): void
+	{
+		return;
+	}
+}
+
+function (Printer $printer, User $user): void {
+	$printer->printInfo($user);
+};