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

Fix dyn incompleteness with multiple supertraits with different substitutions #133397

Draft
wants to merge 8 commits into
base: master
Choose a base branch
from
Draft

Fix dyn incompleteness with multiple supertraits with different substitutions #133397

wants to merge 8 commits into from
+331 −687

Commits on Nov 23, 2024

  1. Dont create object type when more than one principal is present

    @compiler-errors
    compiler-errors committed Nov 23, 2024
    Configuration menu
    Copy the full SHA
    898ccdb View commit details
    Browse the repository at this point in the history

  2. Dont create trait object if it has errors in it

    @compiler-errors
    compiler-errors committed Nov 23, 2024
    Configuration menu
    Copy the full SHA
    ce5c754 View commit details
    Browse the repository at this point in the history

  3. Only elaborate principal in object_region_bounds

    @compiler-errors
    compiler-errors committed Nov 23, 2024
    Configuration menu
    Copy the full SHA
    b0048e1 View commit details
    Browse the repository at this point in the history

  4. No need to store original_span in ClauseWithSupertraitSpan

    @compiler-errors
    compiler-errors committed Nov 23, 2024
    Configuration menu
    Copy the full SHA
    2e02439 View commit details
    Browse the repository at this point in the history

  5. Remove span hack that doesnt do anything

    @compiler-errors
    compiler-errors committed Nov 23, 2024
    Configuration menu
    Copy the full SHA
    44be806 View commit details
    Browse the repository at this point in the history

  6. Dont use span as key when collecting missing associated types from dyn

    @compiler-errors
    compiler-errors committed Nov 23, 2024
    Configuration menu
    Copy the full SHA
    bae6668 View commit details
    Browse the repository at this point in the history

  7. Fix ICE when multiple supertrait substitutions need assoc but only on… 

    …e is provided
    @compiler-errors
    compiler-errors committed Nov 23, 2024
    Configuration menu
    Copy the full SHA
    afd7548 View commit details
    Browse the repository at this point in the history

  8. something

    @compiler-errors
    compiler-errors committed Nov 23, 2024
    Configuration menu
    Copy the full SHA
    88fa8f4 View commit details
    Browse the repository at this point in the history