Code

small interpreter error cleanup#131916

Code

Merged

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom RalfJung:interpret-errRalfJung/rust:interpret-errCopy head branch name to clipboardOct 19, 2024

+108-95

Commits

Commits on Oct 19, 2024

• interpret errors: add map_err_kind, rename InterpError -> InterpErrorKind

  RalfJung

  committed
  eea74be