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

update overflow handling in the new trait solver #114287

Merged
merged 7 commits into from
Aug 5, 2023
Merged

update overflow handling in the new trait solver #114287

merged 7 commits into from
Aug 5, 2023

Commits on Aug 3, 2023

  1. avoid more ty::Binder:dummy

    @lcnr
    lcnr committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    a090b45 View commit details
    Browse the repository at this point in the history

  2. fix make_ambiguous_response_no_constraints 

    we previously had incorrect universes in the query response.
    @lcnr
    lcnr committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    ae3c353 View commit details
    Browse the repository at this point in the history

  3. add ensure_sufficient_stack to the new solver

    @lcnr
    lcnr committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    c046831 View commit details
    Browse the repository at this point in the history

  4. handle overflow in the EvalCtxt separately

    @lcnr
    lcnr committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    a745cbb View commit details
    Browse the repository at this point in the history

  5. rewrite stack dependent overflow handling

    @lcnr
    lcnr committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    8aca388 View commit details
    Browse the repository at this point in the history

  6. add tests

    @lcnr
    lcnr committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    b1d9cb9 View commit details
    Browse the repository at this point in the history

  7. inline helper methods into with_new_goal

    @lcnr
    lcnr committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    baf0768 View commit details
    Browse the repository at this point in the history