If this line were reachable, I'd think the error message too terse. But I can't see how it can be reached, so this condition should be deleted.