Under which circumstances could that happen? Maybe we should throw an error that indicates an unexpected situation?