That is the case for most typesystem considered safe, save for introspection use cases. For instance, haskell, a language with strong type guarantees, does eras

That is the case for most typesystem considered safe, save for introspection use cases. For instance, haskell, a language with strong type guarantees, does erase types for runtime.