4 ms·
Which, to be fair, overall probably still saved quite some time. The compile times alone would've meant they wasted so much more time by repeated earlier checks
by gnatolf 3mo ago
Which, to be fair, overall probably still saved quite some time. The compile times alone would've meant they wasted so much more time by repeated earlier checks.
Whether a looming deadline changed the perception about that, we don't know ;-P