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