По данным Google (если вы введете «определить статический полиморфизм»):
Полиморфизм, реализованный во время компиляции; дженерики.
Во время компиляции точно известно, какую перегрузку вызывать (на основе аргументов). Если компилятор не может определить это, он генерирует ошибку.
Единственное исключение - динамическое ключевое слово.