3 ms·

I agree that they should. This is one of the types of errors that lint was traditionally used to find.