Супертрейти
Трейт може вимагати, щоб типи, які його реалізують, також реалізовували інші трейти, так звані супертрейти. У цьому випадку, будь-який тип, що реалізує Pet, повинен реалізувати Animal.
Speaker Notes
Іноді це називають “успадкуванням трейтів”, але студенти не повинні очікувати, що це буде схоже на успадкування об’єктів OO. Це просто вказує додаткову вимогу до реалізації трейту.