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

Handle opaques in the new solver (take 2?) #111473

Merged
merged 8 commits into from
May 25, 2023
Merged

Handle opaques in the new solver (take 2?) #111473

merged 8 commits into from
May 25, 2023

Commits on May 25, 2023

  1. Pull out logic from rust-lang#111131, plus some new logic in EvalCtxt… 

    …::normalize_opaque_type

Co-authored-by: lcnr <rust@lcnr.de>
    @compiler-errors @lcnr
    compiler-errors and lcnr committed May 25, 2023
    Configuration menu
    Copy the full SHA
    4d80b80 View commit details
    Browse the repository at this point in the history

  2. Move DefiningAnchor

    @compiler-errors
    compiler-errors committed May 25, 2023
    Configuration menu
    Copy the full SHA
    a2d7ffc View commit details
    Browse the repository at this point in the history

  3. Prepopulate opaques in canonical input

    @compiler-errors
    compiler-errors committed May 25, 2023
    Configuration menu
    Copy the full SHA
    f3c9c21 View commit details
    Browse the repository at this point in the history

  4. Check that opaque is a defining use, prefer pre-defined opaques

    @compiler-errors
    compiler-errors committed May 25, 2023
    Configuration menu
    Copy the full SHA
    e3f8bea View commit details
    Browse the repository at this point in the history

  5. Pre-populate MIR with opaques, prefer subst-relate candidate

    @compiler-errors
    compiler-errors committed May 25, 2023
    Configuration menu
    Copy the full SHA
    a2d806d View commit details
    Browse the repository at this point in the history

  6. Strongly prefer alias and param-env bounds

    @compiler-errors
    compiler-errors committed May 25, 2023
    Configuration menu
    Copy the full SHA
    97c11ff View commit details
    Browse the repository at this point in the history

  7. Add InferCtxt::register_hidden_type_in_new_solver

    @compiler-errors
    compiler-errors committed May 25, 2023
    Configuration menu
    Copy the full SHA
    980da66 View commit details
    Browse the repository at this point in the history

  8. Match on both reveal and solver mode at the same time

    @compiler-errors
    compiler-errors committed May 25, 2023
    Configuration menu
    Copy the full SHA
    dd98198 View commit details
    Browse the repository at this point in the history