У меня есть черта. Ради творчества, давайтеНазовите эту черту Черта:

trait Trait{    
    static function treat($instance){    
        // treat that trait instance with care
    }
}

Теперь у меня также есть класс, который использует эту черту, Пользователь. При попытке вызова лечения с экземпляром пользователя все работает. Но я хотел бы напечатать подсказку, что в качестве аргументов должны быть приведены только экземпляры классов, использующих Trait, например:

static function treat(Trait $instance){...}

К сожалению, это приводит к фатальной ошибке, которая говорит о том, что функция ожидала экземпляр Trait, но был предоставлен экземпляр User. Этот тип подсказок по типу отлично работает для наследования и реализации, но как я могу подсказать характерную подсказку?