[detaro]

And the compiler generates the code necessary for dynamic dispatch to happen at runtime.

[ukj]

But it doesn’t static-type-check that particular code-path.

Because it can’t.