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

support higher-ranked regions in opaque type inference #100503

Closed
wants to merge 5 commits into from
Closed

support higher-ranked regions in opaque type inference #100503

wants to merge 5 commits into from

Commits on Aug 15, 2022

  1. [REFACTOR] add fn finalize_opaque_types

    @aliemjay
    aliemjay committed Aug 15, 2022
    Configuration menu
    Copy the full SHA
    73a3c7e View commit details
    Browse the repository at this point in the history

  2. [REFACTOR] use OpaqueTypeMap type alias

    @aliemjay
    aliemjay committed Aug 15, 2022
    Configuration menu
    Copy the full SHA
    0329621 View commit details
    Browse the repository at this point in the history

  3. fix eval_outlives for higher-ranked regions 

    When checking `'sup: 'sub`, take placeholder elements into account.

This wasn't a problem previously (I hope!) because `eval_outlives` was
only used for type_tests, which don't have higher-ranked outlive
relations.
    @aliemjay
    aliemjay committed Aug 15, 2022
    Configuration menu
    Copy the full SHA
    3a423b7 View commit details
    Browse the repository at this point in the history

  4. support higher-ranked region in member constraints

    @aliemjay
    aliemjay committed Aug 15, 2022
    Configuration menu
    Copy the full SHA
    fcbd6a3 View commit details
    Browse the repository at this point in the history

  5. support higher-ranked regions in opaque type inference

    @aliemjay
    aliemjay committed Aug 15, 2022
    Configuration menu
    Copy the full SHA
    e6b62a0 View commit details
    Browse the repository at this point in the history