Code

Rollup of 7 pull requests#72102

Code

Closed

RalfJung wants to merge 16 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:rollup-kve42l5RalfJung/rust:rollup-kve42l5Copy head branch name to clipboard

Commits

Commits on May 8, 2020

• Add emoji for deprecated messages

  GuillaumeGomez

  committed
  abbc736

  Copy full SHA for abbc736

• Add test for deprecated emoji

  GuillaumeGomez

  committed
  9d83108

  Copy full SHA for 9d83108

Commits on May 9, 2020

• expand "incomplete feature" message to include unsoundness and link to tracking issue

  RalfJung

  committed
  1fce203

  Copy full SHA for 1fce203

• adjust tests

  RalfJung

  committed
  6a8cf4a

  Copy full SHA for 6a8cf4a

• display `ConstKind::Param`

  lcnr

  committed
  0db2aec

  Copy full SHA for 0db2aec

Commits on May 10, 2020

• doc: minus (U+2212) instead of dash (U+002D) for negative infinity

  tspiteri

  committed
  0ceacd0

  Copy full SHA for 0ceacd0

• use min_specialization for some rustc crates where it requires no changes

  RalfJung

  committed
  c82103c

  Copy full SHA for c82103c

• Improve E0571 wording

  GuillaumeGomez

  committed
  0aaff14

  Copy full SHA for 0aaff14

• Emit a warning when optimization fuel runs out

  Show description for 62116c3
  jonas-schievink

  committed
  62116c3

  Copy full SHA for 62116c3

Commits on May 11, 2020

• Rollup merge of #72014 - GuillaumeGomez:deprecated-emoji, r=kinnison,ollie27

  Show description for dc23c80
  RalfJung

  authored
  dc23c80

  Copy full SHA for dc23c80

• Rollup merge of #72044 - RalfJung:min-spec, r=matthewjasper

  Show description for f4c381d
  RalfJung

  authored
  f4c381d

  Copy full SHA for f4c381d

• Rollup merge of #72045 - RalfJung:incomplete-unsound, r=petrochenkov

  Show description for 8f722ea
  RalfJung

  authored
  8f722ea

  Copy full SHA for 8f722ea

• Rollup merge of #72052 - lcnr:const_pprint, r=ecstatic-morse

  Show description for 468ceb9
  RalfJung

  authored
  468ceb9

  Copy full SHA for 468ceb9

• Rollup merge of #72067 - jonas-schievink:fuel-warn, r=varkor

  Show description for fcdc5a4
  RalfJung

  authored
  fcdc5a4

  Copy full SHA for fcdc5a4

• Rollup merge of #72072 - tspiteri:minus-inf, r=Dylan-DPC

  Show description for ed0e1e8
  RalfJung

  authored
  ed0e1e8

  Copy full SHA for ed0e1e8

• Rollup merge of #72077 - GuillaumeGomez:cleanup-E0571, r=Dylan-DPC

  Show description for 19393d0
  RalfJung

  authored
  19393d0

  Copy full SHA for 19393d0