Commit bae03bd

committed

fix: checking optional properties in object shapes

1 parent f6b6762 commit bae03bdCopy full SHA for bae03bd

File tree

+32

-18

lines changed

+32

-18

lines changed

Lines changed: 2 additions & 18 deletions

Original file line number	Diff line number	Diff line change
`@@ -176,15 +176,7 @@ public function accepts(Type $type, bool $strictTypes): AcceptsResult`
`176`	`176`	`try {`
`177`	`177`	`$otherProperty = $type->getProperty($propertyName, $scope);`
`178`	`178`	`} catch (MissingPropertyFromReflectionException) {`
`179`		`- return AcceptsResult::createNo(`
`180`		`- [`
`181`		`- sprintf(`
`182`		`- '%s does not have property $%s.',`
`183`		`- $type->describe(VerbosityLevel::typeOnly()),`
`184`		`- $propertyName,`
`185`		`- ),`
`186`		`- ],`
`187`		`- );`
	`179`	`+ continue;`
`188`	`180`	`}`
`189`	`181`
`190`	`182`	`if (!$otherProperty->isPublic()) {`
`@@ -281,15 +273,7 @@ public function isSuperTypeOf(Type $type): IsSuperTypeOfResult`
`281`	`273`	`try {`
`282`	`274`	`$otherProperty = $type->getProperty($propertyName, $scope);`
`283`	`275`	`} catch (MissingPropertyFromReflectionException) {`
`284`		`- return IsSuperTypeOfResult::createNo(`
`285`		`- [`
`286`		`- sprintf(`
`287`		`- '%s does not have property $%s.',`
`288`		`- $type->describe(VerbosityLevel::typeOnly()),`
`289`		`- $propertyName,`
`290`		`- ),`
`291`		`- ],`
`292`		`- );`
	`276`	`+ continue;`
`293`	`277`	`}`
`294`	`278`	`if (!$otherProperty->isPublic()) {`
`295`	`279`	`return IsSuperTypeOfResult::createNo();`

Lines changed: 6 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -1541,6 +1541,12 @@ public function testBug13310(): void`
`1541`	`1541`	`$this->assertNoErrors($errors);`
`1542`	`1542`	`}`
`1543`	`1543`
	`1544`	`+ public function testBug13511(): void`
	`1545`	`+ {`
	`1546`	`+ $errors = $this->runAnalyse(__DIR__ . '/data/bug-13511.php');`
	`1547`	`+ $this->assertNoErrors($errors);`
	`1548`	`+ }`
	`1549`	`+`
`1544`	`1550`	`/**`
`1545`	`1551`	`* @param string[]\|null $allAnalysedFiles`
`1546`	`1552`	`* @return Error[]`

Lines changed: 24 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,24 @@`
	`1`	`+<?php`
	`2`	`+`
	`3`	`+namespace Bug13511;`
	`4`	`+`
	`5`	`+class User`
	`6`	`+{`
	`7`	`+ public function __construct(`
	`8`	`+ public string $name,`
	`9`	`+ public string $email,`
	`10`	`+ ) {}`
	`11`	`+}`
	`12`	`+`
	`13`	`+class Printer`
	`14`	`+{`
	`15`	`+ /** @param object{name: string, email: string, phone?: string} $object */`
	`16`	`+ function printInfo(object $object): void`
	`17`	`+ {`
	`18`	`+ return;`
	`19`	`+ }`
	`20`	`+}`
	`21`	`+`
	`22`	`+function (Printer $printer, User $user): void {`
	`23`	`+ $printer->printInfo($user);`
	`24`	`+};`

Comments

(0)