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

new solver normalization improvements #117278

Merged
merged 6 commits into from
Nov 17, 2023
Merged

new solver normalization improvements #117278

merged 6 commits into from
Nov 17, 2023

Commits on Nov 9, 2023

  1. try_normalize_ty end with rigid alias on failure

    @lcnr
    lcnr committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    1f12f1c View commit details
    Browse the repository at this point in the history

  2. only instantiate opaques with rigid types

    @lcnr
    lcnr committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    1c54494 View commit details
    Browse the repository at this point in the history

  3. rework alias-relate to norm(lhs) == norm(rhs)

    @lcnr
    lcnr committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    e3850f4 View commit details
    Browse the repository at this point in the history

  4. update tests

    @lcnr
    lcnr committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    28e5c95 View commit details
    Browse the repository at this point in the history

  5. update overflow handling for norm, add test

    @lcnr
    lcnr committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    442e112 View commit details
    Browse the repository at this point in the history

  6. remove stability assert in evaluate_goal

    @lcnr
    lcnr committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    fce71ad View commit details
    Browse the repository at this point in the history