Rollup of 4 pull requests - #70425

Closed

Centril wants to merge 14 commits into

rust-lang:masterfrom

Centril:rollup-ghv6bbg

Commits on Mar 24, 2020

Commits on Mar 25, 2020

better explain GLOBAL_KIND choice
RalfJung
committed
4920a33
rename def_id -> static_def_id
RalfJung
committed
b5343d6

Commits on Mar 26, 2020

Throw error when encountering `...` instead of `..` while destructing a pattern
rakshith-ravi
committed
73c8203
trait_bound_spans -> sized_trait_bound_spans
Centril
committed
b514c42
simplify match stmt
lcnr
committed
c21e25c
Rollup merge of #70344 - Centril:hir-pretty, r=eddyb
Centril
authored
cbe0980
Rollup merge of #70385 - RalfJung:miri-nits, r=eddyb
Centril
authored
c33fd53
Rollup merge of #70417 - rakshith-ravi:master, r=Centril
Centril
authored
1d23a4b
Rollup merge of #70424 - lcnr:nit, r=Centril
Centril
authored
ea42fd7