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

RFC for unsafe blocks in unsafe fn #2585

Merged
merged 15 commits into from Apr 29, 2020
Merged

RFC for unsafe blocks in unsafe fn #2585

merged 15 commits into from Apr 29, 2020

Commits on Nov 4, 2018

  1. initial RFC for unsafe blocks in unsafe fn

    @RalfJung
    RalfJung committed Nov 4, 2018
    Copy the full SHA
    cbbd0ce View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2018

  1. C# has unsafe blocks

    @RalfJung
    RalfJung committed Nov 5, 2018
    Copy the full SHA
    51ca5b4 View commit details
    Browse the repository at this point in the history

  2. link to logical introduction/elimination

    @RalfJung
    RalfJung committed Nov 5, 2018
    Copy the full SHA
    77a9992 View commit details
    Browse the repository at this point in the history

  3. this makes short unsafe fn less ergonomic

    @RalfJung
    RalfJung committed Nov 5, 2018
    Copy the full SHA
    aa85ef7 View commit details
    Browse the repository at this point in the history

  4. numbered steps for the action plan

    @RalfJung
    RalfJung committed Nov 5, 2018
    Copy the full SHA
    5d46a2d View commit details
    Browse the repository at this point in the history

  5. add clippy to action plan

    @RalfJung
    RalfJung committed Nov 5, 2018
    Copy the full SHA
    5571c39 View commit details
    Browse the repository at this point in the history

  6. 2021 maybe

    @RalfJung
    RalfJung committed Nov 5, 2018
    Copy the full SHA
    2550a0b View commit details
    Browse the repository at this point in the history

  7. maybe we should employ cargo fix

    @RalfJung
    RalfJung committed Nov 5, 2018
    Copy the full SHA
    153d286 View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2018

  1. more alternatives

    @RalfJung
    RalfJung committed Nov 12, 2018
    Copy the full SHA
    8cb1b3f View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2020

  1. improve motivation

    @RalfJung
    RalfJung committed Mar 29, 2020
    Copy the full SHA
    949590b View commit details
    Browse the repository at this point in the history

  2. update plan to include the lint

    @RalfJung
    RalfJung committed Mar 29, 2020
    Copy the full SHA
    ec454f2 View commit details
    Browse the repository at this point in the history

  3. mention that the lint name is not final yet

    @RalfJung
    RalfJung committed Mar 29, 2020
    Copy the full SHA
    1b3e1dd View commit details
    Browse the repository at this point in the history

  4. minor editing; unsafe_to_call alternative

    @RalfJung
    RalfJung committed Mar 29, 2020
    Copy the full SHA
    2e47c41 View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2020

  1. mention an alternative that avoids lint-on-lint dependencies

    @RalfJung
    RalfJung committed Mar 30, 2020
    Copy the full SHA
    814301e View commit details
    Browse the repository at this point in the history

  2. mention 'other opt-in switch' as unresolved question

    @RalfJung
    RalfJung committed Mar 30, 2020
    Copy the full SHA
    9838e5d View commit details
    Browse the repository at this point in the history