Here&#39;s a self-contained example that demonstrates what I mean:<div><br></div><div><div>class Obs {}</div><div>class SubObs extends Obs {}</div><div><br></div><div>fun void count(Obs elems[]) { &lt;&lt;&lt; elems.size() &gt;&gt;&gt;; }</div>
<div><br></div><div>// works...</div><div>[(new Obs), (new Obs)] @=&gt; Obs @ x1[];</div><div>count(x1);</div><div><br></div><div>// works but is really ugly..</div><div>[(new SubObs) $ Obs, (new SubObs) $ Obs] @=&gt; Obs x2[];</div>
<div>count(x2);</div><div><br></div><div>// Doesn&#39;t work: needs casting.  but what&#39;s the syntax?</div><div>[(new SubObs), (new SubObs)] @=&gt; SubObs @ x3[];</div><div>count(x3);</div><div><br></div></div>