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 4 pull requests #71746

Closed
wants to merge 10 commits into from
Closed

Rollup of 4 pull requests #71746

wants to merge 10 commits into from

Commits on Apr 30, 2020

  1. coerce documentation

    @lcnr
    lcnr committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    01b3637 View commit details
    Browse the repository at this point in the history

  2. handle ByRef in relate

    @lcnr
    lcnr committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    a08bccb View commit details
    Browse the repository at this point in the history

  3. Miri: port error backtraces to std::backtrace

    @RalfJung
    RalfJung committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    30b32c6 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2020

  1. remove AllocId generalization of Pointer

    @RalfJung
    RalfJung committed May 1, 2020
    Configuration menu
    Copy the full SHA
    d0a746e View commit details
    Browse the repository at this point in the history

  2. remove obsolete comment 

    Referenced was removed in 9f492fe
    @tshepang
    tshepang committed May 1, 2020
    Configuration menu
    Copy the full SHA
    8abfb68 View commit details
    Browse the repository at this point in the history

  3. fmt

    @RalfJung
    RalfJung committed May 1, 2020
    Configuration menu
    Copy the full SHA
    62ee0ea View commit details
    Browse the repository at this point in the history

  4. Rollup merge of rust-lang#71018 - lcnr:custom-const-param, r=eddyb 

    handle ConstValue::ByRef in relate

fixes rust-lang#68615

r? @eddyb
    @Dylan-DPC
    Dylan-DPC authored May 1, 2020
    Configuration menu
    Copy the full SHA
    100bee6 View commit details
    Browse the repository at this point in the history

  5. Rollup merge of rust-lang#71712 - RalfJung:error-backtrace, r=oli-obk 

    Miri: port error backtraces to std::backtrace

No need to pull in an external dependency if libstd already includes this feature (using the same dependency internally, but... still).

r? @oli-obk
    @Dylan-DPC
    Dylan-DPC authored May 1, 2020
    Configuration menu
    Copy the full SHA
    2f2aa08 View commit details
    Browse the repository at this point in the history

  6. Rollup merge of rust-lang#71738 - RalfJung:pointer-no-alloc-id, r=oli… 

    …-obk

remove AllocId generalization of Pointer

This was only needed for the "snapshot" machinery, which is gone.

r? @oli-obk
    @Dylan-DPC
    Dylan-DPC authored May 1, 2020
    Configuration menu
    Copy the full SHA
    4bd4458 View commit details
    Browse the repository at this point in the history

  7. Rollup merge of rust-lang#71739 - tshepang:master, r=Dylan-DPC 

    remove obsolete comment

Referenced was removed in 9f492fe
    @Dylan-DPC
    Dylan-DPC authored May 1, 2020
    Configuration menu
    Copy the full SHA
    fbdb885 View commit details
    Browse the repository at this point in the history