This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
In XQuery 1.0, it was an error XPST0081 to use an unprefixed option name. In XQuery 3.0, it is no longer an error. The namespace URI is http://www.w3.org/2012/xquery, and it doesn't appear to be an error if the local name of an option in the http://www.w3.org/2012/xquery is not defined in the XQuery specification. Therefore this test needs to be split in two.
I have taken the liberty of fixing this.