[Bug 3818] Static typing of $input-context1/works[1]/employee[1]/empnum[1]

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





------- Comment #6 from mike@saxonica.com  2006-11-02 18:59 -------
In fact we explicitly decided to permit a broadening "treat as". There was a
rule against it at one stage, and it placed a great and unnecessary burden on
users to understand the static type inferencing. When I assert EXP treat as
element(employee) I am asserting that EXP will always return an employee. I
want the system to tell me if EXP doesn't return an employee, but I don't want
it to reject my query because the system was able to work out for itself that
EXP was an employee without my telling it.