Saxon

A spurious type-checking failure is reported for this query:

declare function local:a() as attribute(a) {attribute a {'A'}}; element e {local:a()}

The error message is

XPTY0004: Required item type of result of function local:a() is

attribute('':a); supplied value has item type attribute(a,

{http://www.w3.org/2001/XMLSchema}untypedAtomic)

The bug was introduced into both the 9.4 and 9.5 branches as a side-effect of bug fixes to handle the xs:error type. It was found during system testing of the 9.5.1.1 release and was fixed in that release without a bug report being raised, but it was not fixed on the 9.4 branch. It is present in 9.4.0.8 and 9.4.0.9. A patch is now being committed to ensure that the bug is cleared in any future maintenance release on the 9.4 branch.