Yeah, I agree this is testing the error case properly. But if I could nit: this is a sufficiently subtle (but also important) case that I'd suggest putting it into its own test with a comment or docstring indicating its purpose