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

Error when RPITITs' hidden types capture more lifetimes than their trait definitions #113182

Merged
merged 3 commits into from
Jul 1, 2023
Merged

Error when RPITITs' hidden types capture more lifetimes than their trait definitions #113182

merged 3 commits into from
Jul 1, 2023

Commits on Jun 30, 2023

  1. Error for RPITIT hidden tys that capture more than their trait defn

    @compiler-errors
    compiler-errors committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    d567e4f View commit details
    Browse the repository at this point in the history

  2. Flip the order of binder instantiation for better diagnostics

    @compiler-errors
    compiler-errors committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    473c88d View commit details
    Browse the repository at this point in the history

  3. Adapt tests from rust-lang#105258

    @compiler-errors
    compiler-errors committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    8ad5ea7 View commit details
    Browse the repository at this point in the history