The confusion is to assume "runtime" is statically defined. JIT generates code which omits type information that's determined not to be needed in the context of

The confusion is to assume "runtime" is statically defined. JIT generates code which omits type information that's determined not to be needed in the context of the compiled method/trace/class/module. That code still "runs" it's "runtime".