Code

Rollup of 4 pull requests#71745

Code

Closed

Dylan-DPC-zz wants to merge 10 commits intorust-lang:masterrust-lang/rust:masterfrom Dylan-DPC-zz:rollup-hm57jdjDylan-DPC-zz/rust:rollup-hm57jdjCopy head branch name to clipboard

+135-58

Commits

Commits on Apr 30, 2020

• coerce documentation

  lcnr

  committed
  01b3637

  Copy full SHA for 01b3637

• handle ByRef in relate

  lcnr

  committed
  a08bccb

  Copy full SHA for a08bccb

• Miri: port error backtraces to std::backtrace

  RalfJung

  committed
  30b32c6

  Copy full SHA for 30b32c6

Commits on May 1, 2020

• remove AllocId generalization of Pointer

  RalfJung

  committed
  d0a746e

  Copy full SHA for d0a746e

• remove obsolete comment

  Show description for 8abfb68
  tshepang

  committed
  8abfb68

  Copy full SHA for 8abfb68

• fmt

  RalfJung

  committed
  62ee0ea

  Copy full SHA for 62ee0ea

• Rollup merge of rust-lang#71018 - lcnr:custom-const-param, r=eddyb

  Show description for e215328
  Dylan-DPC

  authored
  e215328

  Copy full SHA for e215328

• Rollup merge of rust-lang#71712 - RalfJung:error-backtrace, r=oli-obk

  Show description for f41b068
  Dylan-DPC

  authored
  f41b068

  Copy full SHA for f41b068

• Rollup merge of rust-lang#71738 - RalfJung:pointer-no-alloc-id, r=oli-obk

  Show description for 921cf89
  Dylan-DPC

  authored
  921cf89

  Copy full SHA for 921cf89

• Rollup merge of rust-lang#71739 - tshepang:master, r=Dylan-DPC

  Show description for 99791f9
  Dylan-DPC

  authored
  99791f9

  Copy full SHA for 99791f9