Rust: Type inference refactor and improve join orders#20076

Open

paldepind wants to merge 3 commits intogithub:mainfrom

paldepind:rust/type-inference-cleanup-join

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

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

Alternative Proxies:

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Rust: Type inference refactor and improve join orders#20076

Rust: Type inference refactor and improve join orders#20076
paldepind wants to merge 3 commits intogithub:mainfrom
paldepind:rust/type-inference-cleanup-join

Commits on Jul 18, 2025

Shared, Rust: Adjust type inference predicates to better match use sites

Shared, Rust: Ensure that the constraints in `satisfiesConstraintType` are in `relevantConstraint`

Shared, Rust: Reuse `hasTypeConstraint` in `potentialInstantiationOf` and factor out `multipleConstraintImplementations`

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Rust: Type inference refactor and improve join orders#20076paldepind wants to merge 3 commits intogithub:maingithub/codeql:mainfrom paldepind:rust/type-inference-cleanup-joinpaldepind/codeql:rust/type-inference-cleanup-joinCopy head branch name to clipboard

Commits

Commits on Jul 18, 2025

Shared, Rust: Adjust type inference predicates to better match use sites

Shared, Rust: Ensure that the constraints in `satisfiesConstraintType` are in `relevantConstraint`

Shared, Rust: Reuse `hasTypeConstraint` in `potentialInstantiationOf` and factor out `multipleConstraintImplementations`

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Rust: Type inference refactor and improve join orders#20076
paldepind wants to merge 3 commits intogithub:mainfrom
paldepind:rust/type-inference-cleanup-join