While writing an XQuery, I ran into a problem with Saxon 7.9.1.  The following query:

typeswitch ("x")
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 saxon-help@lists.sourceforge.net mailing list.