4 ms·

How does this check exhaustiveness?