You're incorrect about this, it is actually optional. There are tests in the tree which verify this.