[saxon] bug (?) in sequence type matching


Thread view