PHP型別提示特徵

我有一個特點.為了創造力,讓我們稱之為“特質”特徵：

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

現在,我也有一個使用這個特徵的類,User.當試圖用即時使用者來打電話時,一切正常.但是我想鍵入提示,只有使用特徵的類的例項應該被賦予為引數,如：

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

可悲的是,這導致了一個致命的箭頭,表示該功能正在期待一個特徵的例項,但是給出了一個User的例項.這種型別的提示對於繼承和實現是完美的,但是如何鍵入 – 提示一個特徵？