Test type acceptance of optional property

Author: ondrejmirtes

tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php

@@ -2979,6 +2979,16 @@ public function testObjectShapes(): void
 				107,
 				'Property ($d) type array{foo: string} does not accept type array{foo: int}: Offset \'foo\' (string) does not accept type int.',
 			],
+			[
+				'Parameter #1 $o of method ObjectShapesAcceptance\OptionalProperty::doBar() expects object{foo?: int}, object{foo?: string} given.',
+				155,
+				'Property ($foo) type int does not accept type string.',
+			],
+			[
+				'Parameter #1 $o of method ObjectShapesAcceptance\OptionalProperty::doBaz() expects object{foo: int}, object{foo?: string} given.',
+				156,
+				'Property ($foo) type int does not accept type string.',
+			],
 		]);
 	}
 

tests/PHPStan/Rules/Methods/data/object-shapes.php

@@ -143,3 +143,33 @@ public function doIpsum(object $o): void
 	}
 
 }
+
+class OptionalProperty
+{
+
+	/**
+	 * @param object{foo?: string} $o
+	 */
+	public function doFoo(object $o): void
+	{
+		$this->doBar($o);
+		$this->doBaz($o);
+	}
+
+	/**
+	 * @param object{foo?: int} $o
+	 */
+	public function doBar(object $o): void
+	{
+
+	}
+
+	/**
+	 * @param object{foo: int} $o
+	 */
+	public function doBaz(object $o): void
+	{
+
+	}
+
+}