Skip to content

Optimize handling of solver errors - #160160

Open
ChayimFriedman2 wants to merge 2 commits into
rust-lang:mainfrom
ChayimFriedman2:if-empty-opt
Open

Optimize handling of solver errors#160160
ChayimFriedman2 wants to merge 2 commits into
rust-lang:mainfrom
ChayimFriedman2:if-empty-opt