Analyzer false positive when using `is_...` php type check functions with array_filter

[KorvinSzanto]

Description

Mago infers array_filter($array, is_string(...)) as array<array-key, mixed> rather than array<array-key, string>. Same is true for other built in is_... functions.

You can mitigate by setting it to a variable and declaring the type of that variable, but then lint --fix will remove the redundant variable and reintroduce the issue.

Playground Link

https://mago.carthage.software/playground#019b5400-fa0c-4094-f56e-f97a5dbcfdec

Reproduction

No response

Environment

• mago 1.0.3
• OS Linux
• Installed via composer

[azjezz]

You can mitigate by setting it to a variable and declaring the type of that variable, but then lint --fix will remove the redundant variable and reintroduce the issue.

You can actually use /** @var on top of return directly
https://mago.carthage.software/playground#019b5aac-91aa-e133-26c0-8e88fb2b3a90