с чего бы это он "может" ?

в принципе когда говорят про язык

это вопрос реализации

У раста трейты это не наследование, это скорее интерфейс. Изначально нельзя было делать дефолтные реализации методов трейта, теперь можно

Не вижу никакого хайпа по трейтам, есть и хорошо, полезная местами штука

С его определения (и названия). Трейт это лишь гарантия что класс обладает поведением.

+

так он не может обладать поведением без методов

Не может

Одно другому не противоречит

В расте никакой рефлексии и прочего добра нет

In computer programming, a trait is a concept used in object-oriented programming, which represents a set of methods that can be used to extend the functionality of a class.[1][2]

Трейт гарантирует наличие методов, но не должен их реализовывать

For inter-object communication, traits are somewhere between an object-oriented protocol (interface) and a mixin. An interface may define one or more behaviors via method signatures, while a trait defines behaviors via full method definitions: i.e., it includes the body of the methods. In contrast, mixins include full method definitions and may also carry state through member variable, while traits usually don't.

Тут написано includes, а должно быть написано may include

википедия с тобой не согласна

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

Википедия и аикс считает юниксподобным

правильно делает, не VMS же

Увы