(: Name: typeswitchhq16 :)
(: Description: Simple test for typeswitch with operand expression, that is itself a typeswitch expression evaluating to integer type :)

typeswitch(typeswitch (1) case $i as xs:integer return $i default return <a>fn:false</a> )
 case $i as xs:string
    return <wrap>test failed</wrap> 
 case $i as xs:double
    return <wrap>test failed</wrap> 
 case $i as xs:integer
    return <wrap>test passed - the operand expression should evaluate to an integer type</wrap>
 default
   return <wrap>test failed</wrap>