False positive on new @var lying detection as phpstan cannot infer type from callback

# Bug report

> PHPDoc tag @var with type Ds\Map<string, array{a: int}> is not subtype of type Ds\Map<mixed, array>.

PHPStan throws away the type from anonymous function and declares it as mixed.

### Code snippet that reproduces the problem

https://phpstan.org/r/1b229552-a407-4a05-b91f-029b1846395f

### Expected output

No errors
