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

Fix Psalm v4.21 compatibility #221

Merged
merged 2 commits into from
Feb 22, 2022
Merged

Fix Psalm v4.21 compatibility #221

merged 2 commits into from
Feb 22, 2022

Conversation

mzur
Copy link
Contributor

@mzur mzur commented Feb 21, 2022

totallyTyped was deprecated in Psalm v4.21.0.

Drom the docs: totallyTyped="true" is equivalent to errorLevel="1" and totallyTyped="false" is equivalent to errorLevel="2" plus reportMixedIssues="false".

totallyTyped was deprecated in Psalm v4.21.0 [1].

totallyTyped="true" is equivalent to errorLevel="1" and
totallyTyped="false" is equivalent to errorLevel="2" plus
reportMixedIssues="false" [2].

[1] https:/vimeo/psalm/releases/tag/4.21.0
[2] https://psalm.dev/docs/running_psalm/configuration/#totallytyped
The error was intriduced by Psalm 4.21 as it now resolves __DIR__.
It's recommended [1] to ignore the error if it happens despite an
existence check for the file.

[1] vimeo/psalm#3886 (comment)
@mzur mzur changed the title Replace deprecated totallyTyped attribute Fix Psalm v4.21 compatibility Feb 21, 2022
@mzur
Copy link
Contributor Author

mzur commented Feb 21, 2022

There was also an issue with MissingFile in ApplicationProvider that popped up since Psalm 4.21 now resolves __DIR__. This issue needs to be ignored, as the file is checked for existence.

@mzur mzur mentioned this pull request Feb 21, 2022
@mzur
Copy link
Contributor Author

mzur commented Feb 21, 2022

Please see #223 for the failing CS check.

@mzur mzur mentioned this pull request Feb 21, 2022
@mr-feek mr-feek added the chore label Feb 22, 2022
@mr-feek mr-feek merged commit f07dce6 into psalm:master Feb 22, 2022
@mr-feek
Copy link
Collaborator

mr-feek commented Feb 22, 2022

thanks for the pr!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants