Giter VIP home page Giter VIP logo

Comments (5)

ondrejmirtes avatar ondrejmirtes commented on June 3, 2024

from phpstan-strict-rules.

strongholdmedia avatar strongholdmedia commented on June 3, 2024

Sure, excuse me. It is perhaps that I even posted the issue to the wrong repository (it doesn't entail strict rules at all, does it by default).

Expected output: nothing.
Actual output / case:
https://phpstan.org/r/2fef0cbd-16df-4549-af8f-ab0e1d7b19bb

Please note that with this single-file approach, the problem is not necessarily as apparent as it is when separate files are used. It is still reported nevertheless.

from phpstan-strict-rules.

strongholdmedia avatar strongholdmedia commented on June 3, 2024

After a second thought, when I tick "Bleeding Edge",
https://phpstan.org/r/65ff1a02-d80a-4be0-bced-02577decc344
it suggests that PHP will use the trait's namespace when explicitly providing unqualified return types.

After checking it with PHP, at least as of 7.3.5, it seems that indeed this is what PHP does as well, though it is absolutely not documented.

So that perhaps what phpstan does is the "proper" behavior (well, the one that actually match the live one with explicit typing) and an issue should instead be filed against PHP documentation.

As such, I think I close this. Feel free to reopen should any reason for it appear.

Thanks for the great work by the way.

from phpstan-strict-rules.

ondrejmirtes avatar ondrejmirtes commented on June 3, 2024

The current behaviour is correct. phpDoc resolution respects the namespace and use statements in the current file. It would be really weird to change the phpDoc interpretation. It matches the behaviour of native PHP typehints.

What PHPStan means and does by analysing traits in context of each class is that if trait references a property, the analysis complains in classes that use the trait and don't have the property.

I suspect that if you're relying on your proposed behaviour, you're doing something weird and should refactor your code. Can you share what you do exactly?

from phpstan-strict-rules.

github-actions avatar github-actions commented on June 3, 2024

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

from phpstan-strict-rules.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.