4 ms·

C# is an example of a language that decided that including definite assignment analysis into the language spec was worth the tradeoff.