[Bug 3867] Static type checking of Constr-docnode-parent-1

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





------- Comment #1 from nick@cbcl.co.uk  2006-10-26 16:27 -------
Similarly in fn-name-16

for $h in ($input-context1/works/employee[2]) 
return fn:count(fn:name($h/self::div))

$h has a static type of "element employee"

$h/self::div is expecting "element div" so the expression types as empty

(8.2.3.1.1 of the formal semantics is the relevant section)

Therefore I think [err:XPST0005] is valid (and is effectively what the test is
trying to test - but in a dynamic fashion)