ST-WhereExpr001 is as follows:

for $file in ($input-context//Folder)[1]/File
where ($file, 1)
return $file/FileName

the where predicate is normalized to
fn:boolean(($file, 1))

$file has static type element File of type xs:untyped, and 1 has type xs:integer

The sequence ($file, 1) therefore has static type [FS 4.1]
(element File of type xs:untyped, xs:integer)

This does not satisfy the rule given for fn:boolean [FS 7.2.4]

Thus, I believe in static typing mode, XPTY0004 is the only reasonable result.


Similar for ST-WhereExpr002 and statictyping-7.