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

Initial implementation of unsafe binder types #130514

Draft
wants to merge 8 commits into
base: master
Choose a base branch
from
Draft

Initial implementation of unsafe binder types #130514

wants to merge 8 commits into from
+1,126 −79

Commits on Sep 23, 2024

  1. Parsing unsafe binders

    @compiler-errors
    compiler-errors committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    9bdba7b View commit details
    Browse the repository at this point in the history

  2. Lower AST and resolve lifetimes for unsafe binder type

    @compiler-errors
    compiler-errors committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    888211f View commit details
    Browse the repository at this point in the history

  3. Initial work on the type system layer

    @compiler-errors
    compiler-errors committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    29fa325 View commit details
    Browse the repository at this point in the history

  4. Add unwrap_unsafe_binder and wrap_unsafe_binder macro operators

    @compiler-errors
    compiler-errors committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    ce76ef3 View commit details
    Browse the repository at this point in the history

  5. Implement MIR projection for unsafe binder cast

    @compiler-errors
    compiler-errors committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    3ccd62d View commit details
    Browse the repository at this point in the history

  6. Fix drop elaboration and move analysis for unsafe binders

    @compiler-errors
    compiler-errors committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    5c25145 View commit details
    Browse the repository at this point in the history

  7. Mark unsafe binder casts as unsafe

    @compiler-errors
    compiler-errors committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    3b15ead View commit details
    Browse the repository at this point in the history

  8. Fix tools

    @compiler-errors
    compiler-errors committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    ce3fbcb View commit details
    Browse the repository at this point in the history