The type system. Also making it a zero cost abstraction as mentioned by the other child comment. Type system and language semantics are critical for that as w

The type system. Also making it a zero cost abstraction as mentioned by the other child comment. Type system and language semantics are critical for that as well, not just the compiler.