Мимо Проходящий
чего так? ну ругнётся конпилятор, не проблема же
Не ругнется при даункастах i.(T), не ругнется если у вас либа или "библиотечный" модуль, потому что имплементирующие типы нигде не используются, а высовываются наружу
Короче, проблема переносится на самый поздний момент, когда тип уже должен использоваться как интерфейс