This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
It is possible to determine statically that the argument to fn:empty in K2-SeqDocFunc-12 is of type empty-sequence(). Therefore this test should also expect error XPST0005.
Fixed in CVS.