Skip to content

EvalCtxt::commit_if_ok don't inherit nested goals#118243

Merged
bors merged 1 commit intorust-lang:masterfrom
lcnr:commit-if-ok
Nov 24, 2023
Merged

EvalCtxt::commit_if_ok don't inherit nested goals#118243
bors merged 1 commit intorust-lang:masterfrom
lcnr:commit-if-ok

Commits

Commits on Nov 24, 2023