вывод типов выводит тип на этапе комппляции, то есть
X++:
var c = System.Console;
c+=1;
ругнется на этапе компиляции, что на типе Console не определен оператор +=
а в случае динамической типизации, можно получить только сообщение во время выполнения программы.