Feature request
as requested, this is more or less a duplicate of #3634
but this time with a repro, which can be found in https://github.com/staabm/phpstan-bug3634
when running the repro, currently we get Call to an undefined method HttpResponse::deleteCookie()' error.
expected result: no error, since the composer loadable HttpResponse should be preferred over the HttpResponse class from PHPStorm stubs.
Feature request
as requested, this is more or less a duplicate of #3634
but this time with a repro, which can be found in https://github.com/staabm/phpstan-bug3634
when running the repro, currently we get
Call to an undefined method HttpResponse::deleteCookie()' error.expected result: no error, since the composer loadable HttpResponse should be preferred over the HttpResponse class from PHPStorm stubs.