3 ms·

Is it really the compiler/type system's fault, though? Sounds more like a language's design or specification flaw.