Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Rollup of 5 pull requests #72097

Closed
wants to merge 11 commits into from
Closed

Rollup of 5 pull requests #72097

wants to merge 11 commits into from

Commits on May 8, 2020

  1. Add emoji for deprecated messages

    @GuillaumeGomez
    GuillaumeGomez committed May 8, 2020
    Configuration menu
    Copy the full SHA
    abbc736 View commit details
    Browse the repository at this point in the history

  2. Add test for deprecated emoji

    @GuillaumeGomez
    GuillaumeGomez committed May 8, 2020
    Configuration menu
    Copy the full SHA
    9d83108 View commit details
    Browse the repository at this point in the history

Commits on May 9, 2020

  1. display ConstKind::Param

    @lcnr
    lcnr committed May 9, 2020
    Configuration menu
    Copy the full SHA
    0db2aec View commit details
    Browse the repository at this point in the history

Commits on May 10, 2020

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

    @tspiteri
    tspiteri committed May 10, 2020
    Configuration menu
    Copy the full SHA
    0ceacd0 View commit details
    Browse the repository at this point in the history

  2. Improve E0571 wording

    @GuillaumeGomez
    GuillaumeGomez committed May 10, 2020
    Configuration menu
    Copy the full SHA
    0aaff14 View commit details
    Browse the repository at this point in the history

  3. Emit a warning when optimization fuel runs out 

    `eprintln!` gets swallowed by Cargo too easily.
    @jonas-schievink
    jonas-schievink committed May 10, 2020
    Configuration menu
    Copy the full SHA
    62116c3 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2020

  1. Rollup merge of rust-lang#72014 - GuillaumeGomez:deprecated-emoji, r=… 

    …kinnison,ollie27

Deprecated emoji

Fixes rust-lang#67872.

r? @kinnison

cc @rust-lang/rustdoc
    @Dylan-DPC
    Dylan-DPC committed May 11, 2020
    Configuration menu
    Copy the full SHA
    1e68d64 View commit details
    Browse the repository at this point in the history

  2. Rollup merge of rust-lang#72052 - lcnr:const_pprint, r=ecstatic-morse 

    display `ConstKind::Param`
    @Dylan-DPC
    Dylan-DPC committed May 11, 2020
    Configuration menu
    Copy the full SHA
    aae77e6 View commit details
    Browse the repository at this point in the history

  3. Rollup merge of rust-lang#72067 - jonas-schievink:fuel-warn, r=varkor 

    Emit a warning when optimization fuel runs out

`eprintln!` gets swallowed by Cargo too easily.
    @Dylan-DPC
    Dylan-DPC committed May 11, 2020
    Configuration menu
    Copy the full SHA
    79ded51 View commit details
    Browse the repository at this point in the history

  4. Rollup merge of rust-lang#72072 - tspiteri:minus-inf, r=Dylan-DPC 

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

Like rust-lang#67430, for the new associated constants.
    @Dylan-DPC
    Dylan-DPC committed May 11, 2020
    Configuration menu
    Copy the full SHA
    c261bc5 View commit details
    Browse the repository at this point in the history

  5. Rollup merge of rust-lang#72077 - GuillaumeGomez:cleanup-E0571, r=Dyl… 

    …an-DPC

Improve E0571 wording

r? @Dylan-DPC
    @Dylan-DPC
    Dylan-DPC committed May 11, 2020
    Configuration menu
    Copy the full SHA
    60b859d View commit details
    Browse the repository at this point in the history