fix: evaluate with wrong obligation stack#108901

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

LYF1999:yf/108897LYF1999/rust:yf/108897Copy head branch name to clipboard