ну в сишарпе только на этом все и заканчивается, потому что уточнять типы особо некуда
ага, в плюсах чуть дальше заканчивается, но уже плюсовый уровень уточнений начинает чинить проблемы, которые либо обнаружит один тест, либо одна вычитка кода на соблюдение правил