Rust: Type inference refactor and improve join orders#20076

Merged

paldepind merged 3 commits intogithub:mainfrom

paldepind:rust/type-inference-cleanup-join

Jul 23, 2025

Commits on Jul 18, 2025

Shared, Rust: Adjust type inference predicates to better match use sites
paldepind
committed
Shared, Rust: Ensure that the constraints in `satisfiesConstraintType` are in `relevantConstraint`
paldepind
committed
Shared, Rust: Reuse `hasTypeConstraint` in `potentialInstantiationOf` and factor out `multipleConstraintImplementations`
paldepind
committed