Commitd38ed50

committed

Casting ArrayObject to array should not lead to array shape

1 parentabbae6a commitd38ed50Copy full SHA for d38ed50

File tree

+21

-0

lines changed

+21

-0

lines changed

Lines changed: 2 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -3,6 +3,7 @@`
`3`	`3`	`namespacePHPStan\Type;`
`4`	`4`
`5`	`5`	`useArrayAccess;`
	`6`	`+useArrayObject;`
`6`	`7`	`useClosure;`
`7`	`8`	`useCountable;`
`8`	`9`	`useDateTime;`
`@@ -634,6 +635,7 @@ public function toArray(): Type`
`634`	`635`
`635`	`636`	`if (`
`636`	`637`	`!$classReflection->getNativeReflection()->isUserDefined()`
	`638`	`+\|\|$classReflection->is(ArrayObject::class)`
`637`	`639`	`\|\| UniversalObjectCratesClassReflectionExtension::isUniversalObjectCrate(`
`638`	`640`	`$reflectionProvider,`
`639`	`641`	`Broker::getInstance()->getUniversalObjectCratesClasses(),`

Lines changed: 19 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,19 @@`
	`1`	`+<?php// lint >= 8.0`
	`2`	`+`
	`3`	`+namespaceBug12182;`
	`4`	`+`
	`5`	`+useArrayObject;`
	`6`	`+usefunctionPHPStan\Testing\assertType;`
	`7`	`+`
	`8`	`+/**`
	`9`	`+ * @extends ArrayObject<int, string>`
	`10`	`+ */`
	`11`	`+class HelloWorldextends ArrayObject`
	`12`	`+{`
	`13`	`+publicfunction__construct(privateint$a =42) {`
	`14`	`+}`
	`15`	`+}`
	`16`	`+`
	`17`	`+function (HelloWorld$hw):void {`
	`18`	`+assertType('array', (array)$hw);`
	`19`	`+};`

Comments

(0)