<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">IMHO be careful what you wish for. If the compiler enforces this then we&#39;re just repeating the mistakes of Java&#39;s checked exceptions. All roads would eventually lead to &quot;throws ErrorType&quot;, defeating the supposed purpose.</div><div class="gmail_quote"><br></div><div class="gmail_quote">russ</div></div></div>