Vincent Langlet

Report useless type in union (phpdoc, param/return, catch)

6

# Feature request In the following example https://phpstan.org/r/41a2521f-9aec-4589-8ed9-ab05ff9ca5f5, I think it could be useful to report - An error on the phpdoc `string|numeric-string`, this is resolved to `string` for PHPStan,...

Oversized constant array is too much simplified and doesn't use the `@var` annotation.

7

### Bug report Hi, When using `@phpsan-var array` over a constant array, we get analysis about the values https://phpstan.org/r/6ac176b2-3a05-43b6-9e9b-4b4dab715c87 ``` PHPDoc tag @var for constant ... with type array is...

non-empty-literal-string|literal-string is inferred as string

4

https://psalm.dev/r/21adcbe806

Closes #10925

Fix condition literal-string is non-empty-string

1

Hi @orklah, this PR is similar to https://github.com/vimeo/psalm/pull/10912 Closes https://github.com/vimeo/psalm/issues/10926

literal-string is non-empty-string seems to be considered as always true

1

Similar to https://github.com/vimeo/psalm/issues/10911 The reproducer can be https://psalm.dev/r/e9071d2408

`''` check is loosing literal-string type

1

When doing an early return on `'' === $string` the literal-string type is lost. Notice that the early return on `!$string` doesn't produce the same issue. https://psalm.dev/r/6e2018c6b3

Implode of literal-string should be inferred as literal-string

1

Cf rfc: https://wiki.php.net/rfc/is_literal Cf phpstan: https://phpstan.org/r/ca885493-b98a-4192-9e9b-eccabeda173a Psalm snippet https://psalm.dev/r/36ad98d72b