Rollup of 5 pull requests - #70807

Merged

bors merged 20 commits into

rust-lang:masterfrom

Dylan-DPC-zz:rollup-qd1kgl2

Apr 5, 2020

Commits on Mar 30, 2020

fix Vec::extend invalidating unrelated pointers
RalfJung
committed
6556549
fix pointer invalidation when extnding a vector from an untrusted iterator
RalfJung
committed
86c1c43
fix ptr invalidation in Vec::truncate
RalfJung
committed
fa6c883
add some tests
RalfJung
committed
4393923
test more mutating vector methods
RalfJung
committed
3411ade
also cover next() path of draining iterators
RalfJung
committed
4eacf45
fix aliasing in remove()
RalfJung
committed
8f479e3
fix and test aliasing in swap_remove
RalfJung
committed
5bbaac3

Commits on Apr 4, 2020

docs: make the description of Result::map_or more clear
PonasKovas
committed
b4f416d
Miri: remove an outdated FIXME
RalfJung
committed
e901b2f

Commits on Apr 5, 2020

tweak swap_remove
RalfJung
committed
7e81c11
miri assignment check: compare types after normalizing all late-bound regions away
RalfJung
committed
05a5895
add test
RalfJung
committed
315a3b9
clarify safety in RawVec::into_box
RalfJung
committed
6cbe172
fix comment
RalfJung
committed
e52a451
Rollup merge of #70558 - RalfJung:vec-extend-aliasing, r=Amanieu
Dylan-DPC
authored
7e4ed72
Rollup merge of #70760 - PonasKovas:docs, r=Dylan-DPC
Dylan-DPC
authored
6f595e8
Rollup merge of #70769 - RalfJung:fixed, r=Dylan-DPC
Dylan-DPC
authored
2448a23
Rollup merge of #70776 - RalfJung:raw-vec, r=Dylan-DPC,TimDiekmann
Dylan-DPC
authored
c185c4f
Rollup merge of #70806 - RalfJung:miri-assignment-check, r=eddyb
Dylan-DPC
authored
31b8d65