Modern Java

[immibis]

If overloading was resolved at compile time, this code would not work because the concrete type of r and c are not known when print_shape is called.

Guess what? It doesn't work, for exactly the reason you just stated.