In fact shouldn't this error? What is the behaviour if this condition is met? It is not tested.