Code

Rollup of 5 pull requests#115068

Code

Closed

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

matthiaskrgr:rollup-ia62x4smatthiaskrgr/rust:rollup-ia62x4sCopy head branch name to clipboard

Commits

Commits on Aug 17, 2023

• tree borrows: more comments in foreign_read transition

  RalfJung

  committed
  f836cfa

  Copy full SHA for f836cfa

• Auto merge of #3031 - RalfJung:foreign-read, r=RalfJung

  Show description for 23b9d95
  bors

  committed
  23b9d95

  Copy full SHA for 23b9d95

Commits on Aug 20, 2023

• Warn on elided lifetimes in associated constants

  compiler-errors

  committed
  fad7d22

  Copy full SHA for fad7d22

• pin a version of serde without intransparent unreproducible binary blobs

  RalfJung

  committed
  44fa4cd

  Copy full SHA for 44fa4cd

• Auto merge of #3032 - RalfJung:serde, r=RalfJung,oli-obk

  Show description for 92217bb
  bors

  committed
  92217bb

  Copy full SHA for 92217bb

Commits on Aug 21, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  c05fb4c

  Copy full SHA for c05fb4c

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  f2fb463

  Copy full SHA for f2fb463

• fmt

  

  The Miri Conjob Bot

  committed
  5356aa4

  Copy full SHA for 5356aa4

• Auto merge of #3033 - rust-lang:rustup-2023-08-21, r=RalfJung

  Show description for 83ca922
  bors

  committed
  83ca922

  Copy full SHA for 83ca922

• update recommended RA config

  RalfJung

  committed
  5615562

  Copy full SHA for 5615562

• fix MIRI_AUTO_OPS not having an effect any more

  RalfJung

  committed
  2f6ffa9

  Copy full SHA for 2f6ffa9

• Auto merge of #3034 - RalfJung:ra, r=RalfJung

  Show description for a5ba57e
  bors

  committed
  a5ba57e

  Copy full SHA for a5ba57e

• update lockfile

  RalfJung

  committed
  9a3cb9e

  Copy full SHA for 9a3cb9e

• Fix syntax in E0191 explanation.

  Show description for fd2982c
  waywardmonkeys

  committed
  fd2982c

  Copy full SHA for fd2982c

• stable_mir: docs clarification

  RalfJung

  committed
  44cc310

  Copy full SHA for 44cc310

• Fix table issues in platform support documentation

  ChristiaanRiscure

  committed
  dfbac25

  Copy full SHA for dfbac25

• Rollup merge of #115011 - compiler-errors:warn-on-elided-assoc-ct-lt, r=cjgillot

  Show description for 3e4d2ad
  matthiaskrgr

  authored
  3e4d2ad

  Copy full SHA for 3e4d2ad

• Rollup merge of #115044 - RalfJung:smir, r=spastorino

  Show description for e5e7d16
  matthiaskrgr

  authored
  e5e7d16

  Copy full SHA for e5e7d16

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

  Show description for 4eb30bc
  matthiaskrgr

  authored
  4eb30bc

  Copy full SHA for 4eb30bc

• Rollup merge of #115054 - waywardmonkeys:fix-syntax-in-e0191, r=compiler-errors

  Show description for 8a10d2a
  matthiaskrgr

  authored
  8a10d2a

  Copy full SHA for 8a10d2a

• Rollup merge of #115055 - Kriskras99:master, r=ehuss

  Show description for 25118db
  matthiaskrgr

  authored
  25118db

  Copy full SHA for 25118db