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

PHP8 Mixed Type Not Being Detected As Nullable #4277

Closed
wants to merge 4 commits into from

Conversation

DeveloperRob
Copy link
Contributor

@DeveloperRob DeveloperRob commented Nov 30, 2020

As far as I can tell, this PR should resolve the issue by marking it as ?mixed internally, but then it should output as mixed (creating valid PHP code where applicable).

The above said, I have only worked with the repo itself for a few hours; so there is a high chance I have either missed issues this will cause and/or other affected cases. If that is the case, I am happy to try and fix if feedback is provided :)

This relates to issue 4276. I realise now that the PR might count as an issue (I am more used to Bitbucket where I need to create an issue and a PR). I won't mess further, but I am sorry if I have caused more admin!

tfli_rh added 4 commits November 30, 2020 21:31
* staging:
  The Fix
  Existing test Work
  Tests
@TysonAndre
Copy link
Member

The above said, I have only worked with the repo itself for a few hours; so there is a high chance I have either missed issues this will cause and/or other affected cases. If that is the case, I am happy to try and fix if feedback is provided :)

Went with #4278 instead - the changes to properly analyze mixed while continuing to analyze ?mixed more strictly for code that didn't handle null (e.g. $unknown['offset']) were fairly involved (and were already issues in Phan's analysis, the mixed type was just showing up less often before php 8.0)

@TysonAndre TysonAndre closed this Dec 9, 2020
@DeveloperRob DeveloperRob deleted the master branch August 9, 2022 14:09
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