3 ms·

firefox has tracked some stats on this that are very promising. rust and reason also share a lot of the key correctness features