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

Prevent duplicate (Possibly)UnusedMethod/(Possibly)UnusedProperty #8883

Merged
merged 1 commit into from Dec 11, 2022

Conversation

weirdan
Copy link
Collaborator

@weirdan weirdan commented Dec 11, 2022

This also allows (Possibly)UnusedProperty to be suppressed with
referencedProperty attribute in psalm.xml

Fixes #8874

This also allows (Possibly)UnusedProperty to be suppressed with
`referencedProperty` attribute in psalm.xml

Fixes vimeo#8874
@weirdan weirdan added release:fix The PR will be included in 'Fixes' section of the release notes and removed release:fix The PR will be included in 'Fixes' section of the release notes labels Dec 11, 2022
@weirdan
Copy link
Collaborator Author

weirdan commented Dec 11, 2022

None of the 75 plugins I found on Packagist are instantiating (Possibly)UnusedProperty, so I think the BC break is acceptable.

@weirdan weirdan merged commit ca0b2a1 into vimeo:master Dec 11, 2022
@weirdan weirdan deleted the unused-messages-duplicates branch December 11, 2022 10:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release:fix The PR will be included in 'Fixes' section of the release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Psalm 5 cache is unstable
1 participant