Saxon

In a schematron-generated stylesheet we are making an incorrect type inference, resulting in the message:

Warning: in xsl:variable/@select on line 1472 column 160 of transfer.xsl:
  SXWN9000: Required item type of value of variable $theAttCheck is attribute(); supplied
  value has item type xs:untypedAtomic. The expression can succeed only if the supplied
  value is an empty sequence.

and a subsequent run-time failure. The attribute declaration is:

<xsl:variable name="theAttCheck"
                    select="distinct-values(document('-- uri --')/*/valueSet/conceptList/concept[@code = $theAttValue]/@code)"/>

which does not have a declared type.

Reported on 9.7.0.4 on .NET but reproduced on Java.