No type-checking code is generated when the required type is an empty sequence, so providing a value that is not an empty sequence does not trigger an error.