Code

Rollup of 5 pull requests#70807

Code

Merged

bors merged 20 commits intorust-lang:masterrust-lang/rust:masterfrom

Dylan-DPC-zz:rollup-qd1kgl2Dylan-DPC-zz/rust:rollup-qd1kgl2Copy head branch name to clipboard

Apr 5, 2020

Commits

Commits on Mar 30, 2020

• fix Vec::extend invalidating unrelated pointers

  RalfJung

  committed
  6556549

  Copy full SHA for 6556549

• fix pointer invalidation when extnding a vector from an untrusted iterator

  RalfJung

  committed
  86c1c43

  Copy full SHA for 86c1c43

• fix ptr invalidation in Vec::truncate

  RalfJung

  committed
  fa6c883

  Copy full SHA for fa6c883

• add some tests

  RalfJung

  committed
  4393923

  Copy full SHA for 4393923

• test more mutating vector methods

  RalfJung

  committed
  3411ade

  Copy full SHA for 3411ade

• also cover next() path of draining iterators

  RalfJung

  committed
  4eacf45

  Copy full SHA for 4eacf45

• fix aliasing in remove()

  Show description for 8f479e3
  RalfJung

  committed
  8f479e3

  Copy full SHA for 8f479e3

• fix and test aliasing in swap_remove

  RalfJung

  committed
  5bbaac3

  Copy full SHA for 5bbaac3

Commits on Apr 4, 2020

• docs: make the description of Result::map_or more clear

  PonasKovas

  committed
  b4f416d

  Copy full SHA for b4f416d

• Miri: remove an outdated FIXME

  RalfJung

  committed
  e901b2f

  Copy full SHA for e901b2f

Commits on Apr 5, 2020

• tweak swap_remove

  RalfJung

  committed
  7e81c11

  Copy full SHA for 7e81c11

• miri assignment check: compare types after normalizing all late-bound regions away

  RalfJung

  committed
  05a5895

  Copy full SHA for 05a5895

• add test

  RalfJung

  committed
  315a3b9

  Copy full SHA for 315a3b9

• clarify safety in RawVec::into_box

  RalfJung

  committed
  6cbe172

  Copy full SHA for 6cbe172

• fix comment

  RalfJung

  committed
  e52a451

  Copy full SHA for e52a451

• Rollup merge of #70558 - RalfJung:vec-extend-aliasing, r=Amanieu

  Show description for 7e4ed72
  Dylan-DPC

  authored
  7e4ed72

  Copy full SHA for 7e4ed72

• Rollup merge of #70760 - PonasKovas:docs, r=Dylan-DPC

  Show description for 6f595e8
  Dylan-DPC

  authored
  6f595e8

  Copy full SHA for 6f595e8

• Rollup merge of #70769 - RalfJung:fixed, r=Dylan-DPC

  Show description for 2448a23
  Dylan-DPC

  authored
  2448a23

  Copy full SHA for 2448a23

• Rollup merge of #70776 - RalfJung:raw-vec, r=Dylan-DPC,TimDiekmann

  Show description for c185c4f
  Dylan-DPC

  authored
  c185c4f

  Copy full SHA for c185c4f

• Rollup merge of #70806 - RalfJung:miri-assignment-check, r=eddyb

  Show description for 31b8d65
  Dylan-DPC

  authored
  31b8d65

  Copy full SHA for 31b8d65