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

Fixing typo #2

Closed
wants to merge 1 commit into from
Closed

Fixing typo #2

wants to merge 1 commit into from

Conversation

ThomasLandauer
Copy link

No description provided.

@orklah
Copy link
Owner

orklah commented Mar 2, 2021

Thanks! But this is actually not a typo.

I meant the word provably to say that the logic was to check every possible way to break strict_types and only add the declaration when we could prove there was no risk.

It turned more complicated than I thought and there is some rare cases where this plugin could fail and add a strict declaration when the file is not completely compatible. However, the meaning was this one

@orklah orklah closed this Mar 2, 2021
@ThomasLandauer
Copy link
Author

Sorry! "provable" indeed means "able to prove" ;-)

@ThomasLandauer ThomasLandauer deleted the patch-1 branch March 2, 2021 20:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants