Bug report

A constructor with an unused parameter, coming from an interface is reported as unused.

But if you don't add it, PHP will give a fatal error.

There is a difference between inheriting a constructor from a parent class, or from an interface. Where if it comes from a class you can make adjustments to the constructor, but from an interface you can not.

Code snippet that reproduces the problem

https://phpstan.org/r/b4a70747-e193-4698-9088-3d052eb7a67a

Expected output

No errors

Did PHPStan help you today? Did it make you happy in any way?

No response