[etc]

Трейс делает интерпретатор, а не компилятор. Ошибка у вас ещё на стадии компиляции, потому что компилятор проверяет все типы и не даст скомпилировать некоррентный код.

Из документации я все это знаю и из простейшего понятия типизации, а также того, что Object — dynamic.