[Bug 3854] K-InternalVariablesWith-19

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3854

           Summary: K-InternalVariablesWith-19
           Product: XML Query Test Suite
           Version: 1.0.1
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: tim@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


In addition to exhibiting a circular variable definition, this query also
exhibits a static type checking error, because $var2 has type item()* and
(item()* + 1) fails to typecheck.  This is not reflected in the set of expected
error codes.

declare variable $var2 := local:func1();
declare variable $var := $var2 + 1;
declare function local:func1()
{
        local:func2()
};
declare function local:func2()
{
        local:func3()
};
declare function local:func3()
{
        local:func4()
};
declare function local:func4()
{
        $var
};
boolean($var)