Исправление asaw, (текущая версия) :
Это в расте есть. Если объект реализует какой-то еще трейт, которого нету в области видимости, то это тоже самое что объект его не реализует. Какая вообще разница что улитка может еще и летать, если в данном модуле она этого точно не сделает?
Например, если данный модуль даст поработать с этой улиткой другому, где она летать умеет, то данный модуль может впоследствии очень сильно удивиться как этой улитке удалось перелететь океан (поведение, на которое данный модуль никак не рассчитывал).
Исходная версия asaw, :
Это в расте есть. Если объект реализует какой-то еще трейт, которого нету в области видимости, то это тоже самое что объект его не реализует. Какая вообще разница что улитка может еще и летать, если в данном модуле она этого точно не сделает?
Например, если данный модуль даст поработать с этой улиткой другому, где она летать умеет, то данный модуль может в последствии очень сильно удивиться как этой улитке удалось перелететь океан (поведение, на которое данный модуль никак не рассчитывал).