Hello internals!
Since «traits» are often an indicator of not very good code and many may not
use them quite correctly, for example, as helpers, I suggest adding support for
the `expects` keyword to indicate that the trait is part of the code
decomposition taking into account ISP.
For example:
```
// Definition
trait LoggerTrait expects LoggerInterface
{
// ...
}
// Usage
class MyService
{
use LoggerTrait; // Fatal Error: Class MyService expects LoggerInterface to
be implemented
}
class MyService2 implements LoggerInterface
{
use LoggerTrait; // OK
}
```
How relevant do you think this idea/proposal is? And what possible problems or
solutions will this entail in the future?
--
Kirill Nesmeyanov
