3 ms·

Thanks for this trick for exhaustiveness checking, I've just been putting assert False, "This is unreachable." in my code until now.