Saxon

For the TinyTree case, the XPTY0086 error in test Constr-cont-nsmode-5 is detected in TinyElementImpl.copy(), line 294. There is no check for namespace-sensitive content in the equivalent code for the linked tree (ElementImpl.copy()).

Studying the code path in the debugger, there seems to be a rather bigger issue: the Linked Tree code isn't actually copying the type annotations on attribute nodes. There seem to be quite a few tests that claim to check that types are preserved, but none of them seems to be doing the job properly. For example Constr-cont-constrmod-4 is described as "preserve decimal type", but actually (a) it only tests that the copied attribute is cartable to xs:integer, which will be equally true if the type annotation of the copied node is xs:untypedAtomic, and (b) for reasons I don't understand, it allows error FORG0001.

I created a new test Constr-cont-constrmod-4 which demonstrates this, the test is succeeding using the tinytree and failing using linked.