[WIP] Rollup of 5 pull requests - #72083

Closed

Dylan-DPC-zz wants to merge 12 commits into

rust-lang:masterfrom

Dylan-DPC-zz:rollup-2lwveb6

Commits on May 8, 2020

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

Commits on May 10, 2020

doc: minus (U+2212) instead of dash (U+002D) for negative infinity
tspiteri
committed
0ceacd0
use min_specialization for some rustc crates where it requires no changes
RalfJung
committed
c82103c
Improve E0571 wording
GuillaumeGomez
committed
0aaff14
Emit a warning when optimization fuel runs out
jonas-schievink
committed
62116c3
Rollup merge of #72014 - GuillaumeGomez:deprecated-emoji, r=kinnison,ollie27
Dylan-DPC
authored
fbd5fe8
Rollup merge of #72044 - RalfJung:min-spec, r=matthewjasper
Dylan-DPC
authored
95c55b8
Rollup merge of #72067 - jonas-schievink:fuel-warn, r=varkor
Dylan-DPC
authored
be9583f
Rollup merge of #72072 - tspiteri:minus-inf, r=Dylan-DPC
Dylan-DPC
authored
7a1ea3e
Rollup merge of #72077 - GuillaumeGomez:cleanup-E0571, r=Dylan-DPC
Dylan-DPC
authored
41d1082

Commits on May 11, 2020

[DO NOT MERGE] test apple on try
emilyalbini
committed
ad21667