How to properly use type-hinting with model scopes and custom interfaces?

[smares]

Let's say I have an interface for models called Translatable, and part of this interface are also scopes for filtering and sorting. In another place, I have a method that accepts an Eloquent\Builder instance to perform some querying. This method should only accept instances for models that implement the Translatable interface and thus have the scopes. The problem I have is I can get the Builder model and check with instanceof if it implements the interface, or I can also use hasNamedScope, but PhpStorm keeps complaining that it cannot find the method in Builder. Given that PhpStorm is a popular IDE, I thought you guys might have had this issue, too. Do you have any idea how to solve it?

[smares]

Another challenge I have is with the models themselves. Let's say I have a method and want to accept only models that implement Translatable with its scopeFoo() method. I use https://github.com/barryvdh/laravel-ide-helper and that generates the corresponding method definition @method static Eloquent\Builder|Model foo(...), so PhpStorm accepts if I call Model::foo(...) or $model->foo(...), but if I have Translatable $model as expected property, that doesn't work any longer. And if I add @method comments myself to the interface to define @method static Eloquent\Builder|static foo(...), PhpStorm is happy in combination with Translatable method arguments, but Model::foo(...) and $model->foo(...) no longer work with the error that I cannot call the abstract method foo pointing to the declaration in the interface.