Skip to content

[beta] backports#158420

Merged
rust-bors[bot] merged 6 commits into
rust-lang:betafrom
cuviper:beta-next
Jun 26, 2026
Merged

[beta] backports#158420
rust-bors[bot] merged 6 commits into
rust-lang:betafrom
cuviper:beta-next

don't try to remove assignments in SimplifyComparisonIntegral

c93dd3e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jun 25, 2026 in 35s