This test doesn't really test prohibition of the static typing feature.

      declare option prohibit-feature "static-typing";
      try { let $i as xs:integer := "foo" return $i } catch * { 0 }

Since "foo" is never an xs:integer, any implementation might reasonably raise this at compile time.

I suggest changing the test to

try 
{ 
   let $i as xs:integer := if (current-date() eq xs:date('1900-01-01'))
                           then ()
                           else 1
   return $i 
} 
catch * { 0 }