Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

@psalm-check-type prepends current namespace to built-in types #10573

Closed
vudaltsov opened this issue Jan 18, 2024 · 3 comments
Closed

@psalm-check-type prepends current namespace to built-in types #10573

vudaltsov opened this issue Jan 18, 2024 · 3 comments
Labels

Comments

@vudaltsov
Copy link
Contributor

https://psalm.dev/r/f45e4c4a68

Copy link

I found these snippets:

https://psalm.dev/r/f45e4c4a68
<?php

namespace X;

$_a = [];

/** @psalm-check-type-exact $_a = list */
Psalm output (using commit a2140cc):

ERROR: CheckType - 7:42 - Checked variable $_a = X\list does not match $_a = array<never, never>

@vudaltsov vudaltsov changed the title @psalm-check-type prepends slash to built-in types @psalm-check-type prepends current namespace to built-in types Jan 18, 2024
@weirdan weirdan added the bug label Jan 27, 2024
@kkmuffme
Copy link
Contributor

kkmuffme commented Feb 1, 2024

This bug was created by this PR #10264 which fixed #10205 reported by you earlier.

@robchett would you mind taking a look at your PR again and fix this + add a test for it.

@weirdan
Copy link
Collaborator

weirdan commented Feb 3, 2024

Fixed in #10648

@weirdan weirdan closed this as completed Feb 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

3 participants