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

continue nll transition by removing stuff #98584

Merged
merged 6 commits into from
Jul 5, 2022
Merged

continue nll transition by removing stuff #98584

merged 6 commits into from
Jul 5, 2022

Commits on Jul 4, 2022

  1. remove an unused DefId

    @lcnr
    lcnr committed Jul 4, 2022
    Configuration menu
    Copy the full SHA
    24799e3 View commit details
    Browse the repository at this point in the history

  2. RegionCtxt merged body_id with body_owner

    @lcnr
    lcnr committed Jul 4, 2022
    Configuration menu
    Copy the full SHA
    edd45f9 View commit details
    Browse the repository at this point in the history

  3. only use FnCtxt for regionck inside of bodies

    @lcnr
    lcnr committed Jul 4, 2022
    Configuration menu
    Copy the full SHA
    68d70fc View commit details
    Browse the repository at this point in the history

  4. rip out RegionCtxt from hir typeck

    @lcnr
    lcnr committed Jul 4, 2022
    Configuration menu
    Copy the full SHA
    e78e0e2 View commit details
    Browse the repository at this point in the history

  5. implied bounds byebye nested hir ids

    @lcnr
    lcnr committed Jul 4, 2022
    Configuration menu
    Copy the full SHA
    a0d2d9f View commit details
    Browse the repository at this point in the history

  6. region obligations, remove body_id

    @lcnr
    lcnr committed Jul 4, 2022
    Configuration menu
    Copy the full SHA
    9f95c60 View commit details
    Browse the repository at this point in the history