This test is:

(1 div 0) castable as xs:string

and expects a dynamic error.

Under the "Errors and Optimizations" rules it can also return true (every item is castable to string, so why bother doing the evaluation?)

The intent of the test would be better satisfied by changing the test to

xs:string(1 div 0) castable as xs:integer