Not sure if this supports your point. Lots of compilers emit runtime type information, e.g. Golang, Java.
Not sure if this supports your point. Lots of compilers emit runtime type information, e.g. Golang, Java.