Skip to content

Conversation

dereuromark
Copy link
Member

@dereuromark dereuromark commented Apr 15, 2025

This is what psalm 6.10 with --alter wants to add

tools/psalm --alter --issues=MissingOverrideAttribute

DO we want this?
The benefits are minor, right?

We would still need to run CS and then there is an extra use statement in there.

@dereuromark dereuromark added this to the 5.2.2 milestone Apr 15, 2025
@ADmad
Copy link
Member

ADmad commented Apr 15, 2025

DO we want this?

NO

@dereuromark dereuromark deleted the 5.next-override branch April 15, 2025 15:51
@LordSimal
Copy link
Contributor

the-office-steve-carell

@LordSimal LordSimal mentioned this pull request Apr 18, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants