Rollup of 7 pull requests - #72102

Closed

RalfJung wants to merge 16 commits into

rust-lang:masterfrom

RalfJung:rollup-kve42l5

Commits on May 8, 2020

Add emoji for deprecated messages
GuillaumeGomez
committed
abbc736
Add test for deprecated emoji
GuillaumeGomez
committed
9d83108

Commits on May 9, 2020

expand "incomplete feature" message to include unsoundness and link to tracking issue
RalfJung
committed
1fce203
adjust tests
RalfJung
committed
6a8cf4a
display `ConstKind::Param`
lcnr
committed
0db2aec

Commits on May 10, 2020

Commits on May 11, 2020