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

Clean up derived obligation creation #96892

Merged
merged 15 commits into from
May 17, 2022
Merged

Clean up derived obligation creation #96892

merged 15 commits into from
May 17, 2022

Commits on May 10, 2022

  1. Simplify derived obligation peeling

    @oli-obk
    oli-obk committed May 10, 2022
    Configuration menu
    Copy the full SHA
    2ea2ced View commit details
    Browse the repository at this point in the history

  2. Remove some unnecessary clones

    @oli-obk
    oli-obk committed May 10, 2022
    Configuration menu
    Copy the full SHA
    312d27d View commit details
    Browse the repository at this point in the history

  3. Don't lose an obligation cause

    @oli-obk
    oli-obk committed May 10, 2022
    Configuration menu
    Copy the full SHA
    7e2e3d4 View commit details
    Browse the repository at this point in the history

  4. Move an extension trait method onto the type directly and reuse it

    @oli-obk
    oli-obk committed May 10, 2022
    Configuration menu
    Copy the full SHA
    704bbe5 View commit details
    Browse the repository at this point in the history

  5. Remove another use of clone_code

    @oli-obk
    oli-obk committed May 10, 2022
    Configuration menu
    Copy the full SHA
    063795c View commit details
    Browse the repository at this point in the history

  6. Remove another use of clone_code

    @oli-obk
    oli-obk committed May 10, 2022
    Configuration menu
    Copy the full SHA
    dc21fcb View commit details
    Browse the repository at this point in the history

  7. Remove clone_code method

    @oli-obk
    oli-obk committed May 10, 2022
    Configuration menu
    Copy the full SHA
    05a62c5 View commit details
    Browse the repository at this point in the history

  8. Add a helper function for a common piece of code

    @oli-obk
    oli-obk committed May 10, 2022
    Configuration menu
    Copy the full SHA
    5b5b549 View commit details
    Browse the repository at this point in the history

  9. Make the derived obligation cause parent private

    @oli-obk
    oli-obk committed May 10, 2022
    Configuration menu
    Copy the full SHA
    9ba6ddb View commit details
    Browse the repository at this point in the history

  10. Don't allocate misc obligation parents of derived obligations

    @oli-obk
    oli-obk committed May 10, 2022
    Configuration menu
    Copy the full SHA
    1b51e1a View commit details
    Browse the repository at this point in the history

  11. Make FunctionArgumentObligation also use the "no allocation for mis… 

    …c" trick
    @oli-obk
    oli-obk committed May 10, 2022
    Configuration menu
    Copy the full SHA
    213c174 View commit details
    Browse the repository at this point in the history

  12. Use InternedObligationCauseCode everywhere

    @oli-obk
    oli-obk committed May 10, 2022
    Configuration menu
    Copy the full SHA
    824e9e4 View commit details
    Browse the repository at this point in the history

Commits on May 12, 2022

  1. Give the inliner some hints

    @oli-obk
    oli-obk committed May 12, 2022
    Configuration menu
    Copy the full SHA
    72f144d View commit details
    Browse the repository at this point in the history

Commits on May 13, 2022

  1. Avoid invoking the full eq infrastructure when all we want is to ch… 

    …eck a discriminant
    @oli-obk
    oli-obk committed May 13, 2022
    Configuration menu
    Copy the full SHA
    59bbbe7 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2022

  1. Force inline InternedObligationCauseCode creation

    @oli-obk
    oli-obk committed May 16, 2022
    Configuration menu
    Copy the full SHA
    0cefa5f View commit details
    Browse the repository at this point in the history