Better support for string literals when defining types

[mind-bending-forks]

Feature request

It would be wonderful if PHP Stan didn't throw errors for this example:

https://phpstan.org/r/fea50f42-6a4b-41d7-8bf6-14feee0b0be8

[phpstan-bot]

@mind-bending-forks After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-11: Offset 'a-param' does not exist on array('type' => 'a', 'a-param' => string)|array('type' => 'a', 'b-param' => string).
-15: Offset 'b-param' does not exist on array('type' => 'b', 'a-param' => string)|array('type' => 'b', 'b-param' => string).
+11: Offset 'a-param' does not exist on array{type: 'a', a-param: string}|array{type: 'a', b-param: string}.
+15: Offset 'b-param' does not exist on array{type: 'b', a-param: string}|array{type: 'b', b-param: string}.

Full report

Line	Error
11	`Offset 'a-param' does not exist on array{type: 'a', a-param: string}
15	`Offset 'b-param' does not exist on array{type: 'b', a-param: string}

[phpstan-bot]

@mind-bending-forks After the latest push in 1.8.x, PHPStan now reports different result with your code snippet:

@@ @@
-11: Offset 'a-param' does not exist on array('type' => 'a', 'a-param' => string)|array('type' => 'a', 'b-param' => string).
-15: Offset 'b-param' does not exist on array('type' => 'b', 'a-param' => string)|array('type' => 'b', 'b-param' => string).
+No errors

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.