While writing an XQuery, I ran into a problem with Saxon 7.9.1. The following query:
case $e as element() return $e
default $x return $x
caused this error:
java.lang.IllegalStateException: Variable $x has
not been fixed up
I reported the error to the firstname.lastname@example.org mailing list.