I'm not talking about type checking with your run time code. Obviously this is exists. My mistake with the wording. I am referring to the topic the poster is t

I'm not talking about type checking with your run time code. Obviously this is exists. My mistake with the wording. I am referring to the topic the poster is talking about, that is, type checking with type script and the precompile type checker of almost all statically typed languages. The precompile type checks do not need run time code. These are separate things executed at separate times AND really you can get by with 100% static.