[beta] backports#158420

Merged

rust-bors[bot] merged 6 commits into

rust-lang:betafrom

cuviper:beta-next

Jun 26, 2026

Commits on Jun 25, 2026

add auxiliary module to define Trait and type in a different crate

Shourya742
authored and
cuviper
committed
test to see if the coherence fails, when aliases are eagerly normalized

Shourya742
authored and
cuviper
committed
make sure to not normalize impl header in coherence

Shourya742
authored and
cuviper
committed
updating other test error types

Shourya742
authored and
cuviper
committed
add test case for miscompilation

hanna-kruppe
authored and
cuviper
committed
don't try to remove assignments in SimplifyComparisonIntegral

hanna-kruppe
authored and
cuviper
committed