No client could, even. He's talking about static types so it wouldn't have been possible even to express a caller not providing a value.