It would be good to have the length error only emitted when we know it to be required.
It would be good to have the length error only emitted when we know it to be required.