[saxon] Static detection of variable types passed as args


Thread view