For example, certain type systems are expressive enough (typescript is one of the better ones) to dynamically apply constraints based on the other inputs that you've provided, e.g. using type system reachability analysis to figure out which specific object types are valid subjects for a check on an object of a specific type