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

Commits

Commits on Nov 24, 2023