Test object shape property type from intersection with universal object crate

ondrejmirtes · ondrejmirtes · commit d267e51057c1 · 2023-04-12T10:16:14.000+02:00
diff --git a/tests/PHPStan/Analyser/data/object-shape.php b/tests/PHPStan/Analyser/data/object-shape.php
@@ -54,6 +54,8 @@ public function testGenerics()
 	{
 		$o = (object) ['foo' => 1, 'bar' => new \Exception()];
 		assertType('object{foo: 1, bar: Exception}&stdClass', $o);
+		assertType('1', $o->foo);
+		assertType('Exception', $o->bar);
 
 		assertType('Exception', $this->generics($o));
 	}

Original file line number	Diff line number	Diff line change
`@@ -54,6 +54,8 @@ public function testGenerics()`
`54`	`54`	`{`
`55`	`55`	`$o = (object) ['foo' => 1, 'bar' => new \Exception()];`
`56`	`56`	`assertType('object{foo: 1, bar: Exception}&stdClass', $o);`
	`57`	`+ assertType('1', $o->foo);`
	`58`	`+ assertType('Exception', $o->bar);`
`57`	`59`
`58`	`60`	`assertType('Exception', $this->generics($o));`
`59`	`61`	`}`