Skip to content

Rust: Remove member predicates on Type#20557

Merged
paldepind merged 2 commits intogithub:mainfrom
paldepind:rust/type-inference-delete-predicates
Oct 1, 2025
Merged

Rust: Remove member predicates on `Type`#20557
paldepind merged 2 commits intogithub:mainfrom
paldepind:rust/type-inference-delete-predicates

Commits

Commits on Sep 30, 2025

Commits on Oct 1, 2025