[saxon] Implementing static detection of invalid casting combinations


Thread view