pub fn types_match_multi(patterns: &[Ty], targets: &[Ty]) -> Option<Subst>Expand description
Match multiple pattern types against target types, returning combined substitution.
Both lists must have the same length. The resulting substitution combines all bindings from matching each pair.