Code

Automatic Rustup#3241

Code

Merged

bors merged 10 commits intomasterrust-lang/miri:masterfrom rustup-2023-12-26rust-lang/miri:rustup-2023-12-26Copy head branch name to clipboardDec 26, 2023

+17-17

Commits

Commits on Dec 23, 2023

• Remove Session methods that duplicate DiagCtxt methods.

  Show description for f9fa038
  nnethercote

  committed
  f9fa038

• Remove more Session methods that duplicate DiagCtxt methods.

  nnethercote

  committed
  06dcc4d

Commits on Dec 24, 2023

• Auto merge of #119139 - michaelwoerister:cleanup-stable-source-file-id, r=cjgillot

  Show description for 4b8d7fc
  bors

  committed
  4b8d7fc

Commits on Dec 25, 2023

• Auto merge of #119283 - GuillaumeGomez:warning-block-pos, r=notriddle

  Show description for 7982c5e
  bors

  committed
  7982c5e

• Auto merge of #119122 - matthewjasper:if-let-guard-scoping, r=TaKO8Ki

  Show description for ccf9f20
  bors

  committed
  ccf9f20

• Auto merge of #119226 - Mark-Simulacrum:format-efficiency, r=TaKO8Ki

  Show description for 24bb20b
  bors

  committed
  24bb20b

• Auto merge of #116274 - RalfJung:soft_unstable, r=cjgillot

  Show description for 07cf435
  bors

  committed
  07cf435

Commits on Dec 26, 2023

• Auto merge of #119146 - nnethercote:rm-DiagCtxt-api-duplication, r=compiler-errors

  Show description for 1b2a494
  bors

  committed
  1b2a494

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  1bf2548

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  2167282