Code

Rollup of 4 pull requests#123895

Code

Closed

matthiaskrgr wants to merge 13 commits intorust-lang:masterrust-lang/rust:masterfrom

matthiaskrgr:rollup-gnwtsm2matthiaskrgr/rust:rollup-gnwtsm2Copy head branch name to clipboard

Commits

Commits on Apr 6, 2024

• MIRI_REPLACE_LIBRS_IF_NOT_TEST: also apply to crates.io crates

  RalfJung

  committed
  852f472

  Copy full SHA for 852f472

Commits on Apr 10, 2024

• Auto merge of #3457 - RalfJung:replace-librs, r=RalfJung

  Show description for 788a1db
  bors

  committed
  788a1db

  Copy full SHA for 788a1db

Commits on Apr 12, 2024

• remove dead code

  klensy

  committed
  aff5f47

  Copy full SHA for aff5f47

• De-duplicate SSE2 sll/srl/sra code

  eduardosm

  committed
  474a047

  Copy full SHA for 474a047

• Update backtrace submodule

  dpaoliello

  committed
  ed46e3c

  Copy full SHA for ed46e3c

Commits on Apr 13, 2024

• fix coroutine witness doctest

  oli-obk

  committed
  c9889b0

  Copy full SHA for c9889b0

• Auto merge of #3429 - eduardosm:shift, r=RalfJung

  Show description for c3136b2
  bors

  committed
  c3136b2

  Copy full SHA for c3136b2

• Replace a `DefiningOpaqueTypes::No` with `Yes` by asserting that one side of the comparison is a type variable.

  Show description for c6a4f81
  oli-obk

  committed
  c6a4f81

  Copy full SHA for c6a4f81

• remove some ancient debug output, looks unused?

  klensy

  committed
  7085ff2

  Copy full SHA for 7085ff2

• Rollup merge of #123876 - dpaoliello:backtrace, r=ChrisDenton

  Show description for 97404c5
  matthiaskrgr

  authored
  97404c5

  Copy full SHA for 97404c5

• Rollup merge of #123888 - oli-obk:define_opaque_types4, r=compiler-errors

  Show description for 01ce1e4
  matthiaskrgr

  authored
  01ce1e4

  Copy full SHA for 01ce1e4

• Rollup merge of #123890 - klensy:cl, r=fee1-dead

  Show description for 0d22aa2
  matthiaskrgr

  authored
  0d22aa2

  Copy full SHA for 0d22aa2

• Rollup merge of #123891 - RalfJung:miri, r=RalfJung

  Show description for ebf8f12
  matthiaskrgr

  authored
  ebf8f12

  Copy full SHA for ebf8f12