<div class="gmail_quote">On Sat, Dec 5, 2009 at 4:46 AM, Reinier Zwitserloot <span dir="ltr">&lt;<a href="mailto:reinier@zwitserloot.com">reinier@zwitserloot.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">

<div>One could claim then that type casting causes weirdness to ensue, such as:</div><div><br></div><div>Nothing x = getInstanceOfNothing();</div><div>throw (IOException)x;</div></blockquote><div><br>I don&#39;t think you can declare a variable to be of type Nothing (any more than you can declare one to be of type void).  It isn&#39;t useful to do so, and disallowing it doesn&#39;t prevent you from doing anything useful.<br>

</div></div><br>