Skip to content

Delete SimplifyArmIdentity and SimplifyBranchSame mir opts#107256

Merged
bors merged 1 commit intorust-lang:masterfrom
JakobDegen:delete-sai
Jan 26, 2023
Merged

Delete `SimplifyArmIdentity` and `SimplifyBranchSame` mir opts#107256
bors merged 1 commit intorust-lang:masterfrom
JakobDegen:delete-sai

Commits

Commits on Jan 24, 2023