Skip to content

trait_sel: deep reject match_normalize_trait_ref#140978

Merged
bors merged 2 commits into
rust-lang:masterfrom
davidtwco:deep-reject-in-match-norm-trait-ref
May 17, 2025
Merged

trait_sel: deep reject match_normalize_trait_ref#140978
bors merged 2 commits into
rust-lang:masterfrom
davidtwco:deep-reject-in-match-norm-trait-ref

type_ir: add faster exit for `types_may_unify`

febb16a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs