Polymorphic return types, most notoriously. But also anything that's complex enough so that dynamically typed implementations become unfeasible or effectively unmaintainable.
If you're listing a core language feature as something that "can't be done in that language", you may not understand the language as well as you think.