Нет, и в привычном для скалы или хаскеля виде не будут.
Будут только generic associated types в трейтах.
Но этого должно хватит, чтобы решить чисто растовские проблемы, которые требуют хкт, типа возврат associated типа из трейта, зависищего от лайфтайма и т.п