Saxon supports Conditional Type Assignment, with the exception of the subsumption rules that check whether one type that uses CTA is a valid restriction of another type that uses CTA.
Next