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.

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

Prevent Vec::drain_filter from double dropping on panic #61224

Merged
merged 7 commits into from Jul 9, 2019
Merged

Prevent Vec::drain_filter from double dropping on panic #61224

merged 7 commits into from Jul 9, 2019

Commits on May 27, 2019

  1. Prevent Vec::drain_filter from double dropping on panic 

    Fixes: rust-lang#60977
    @aloucks
    aloucks committed May 27, 2019
    Copy the full SHA
    84ae969 View commit details
    Browse the repository at this point in the history

  2. Fix formatting nit

    @aloucks
    aloucks committed May 27, 2019
    Copy the full SHA
    17a517a View commit details
    Browse the repository at this point in the history

  3. Add drain_filter_unconsumed test

    @aloucks
    aloucks committed May 27, 2019
    Copy the full SHA
    53d46ae View commit details
    Browse the repository at this point in the history

  4. Refactor DrainFilter::next and update comments

    @aloucks
    aloucks committed May 27, 2019
    Copy the full SHA
    b13ae65 View commit details
    Browse the repository at this point in the history

  5. Disable drain_filter tests that require catch_unwind on miri

    @aloucks
    aloucks committed May 27, 2019
    Copy the full SHA
    f5ab031 View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2019

  1. Remove while loop in DrainFilter::drop and add additional docs

    @aloucks
    aloucks committed Jul 7, 2019
    Copy the full SHA
    a4a6a67 View commit details
    Browse the repository at this point in the history

  2. Clarify double-drop comment

    @aloucks
    aloucks committed Jul 7, 2019
    Copy the full SHA
    df5b32e View commit details
    Browse the repository at this point in the history