Saxon

<test-case name="cbcl-treat-as-021">
      <description> test treat as cardinality checks are correct </description>
      <created by="Tim Mills" on="2008-09-19"/>
      <dependency type="spec" value="XQ10+"/>
      <test>
        declare function local:range($arg as xs:integer) as xs:integer* { 1 to $arg };
        declare function local:double($arg as xs:integer+) { for $a in $arg return $a * 2 };
        local:double(local:range(0) treat as xs:integer+)</test>
      <result>
         <error code="XPDY0050"/>
      </result>
   </test-case>

Bug fixed and committed to subversion. Made change to the optimizer in CardinalityChecker to special case a Literal expression.