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

Coherence negative impls implied bounds #100888

Merged
merged 4 commits into from
Aug 24, 2022
Merged

Coherence negative impls implied bounds #100888

merged 4 commits into from
Aug 24, 2022

Commits on Aug 23, 2022

  1. Move InferCtxtExt to rustc_trait_selection

    @spastorino
    spastorino committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    5ff45dc View commit details
    Browse the repository at this point in the history

  2. Permit negative impls coherence to take advantage of implied bounds

    @spastorino
    spastorino committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    ac0b6af View commit details
    Browse the repository at this point in the history

  3. Do not use unneeded extra errors variable

    @spastorino
    spastorino committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    4cb492e View commit details
    Browse the repository at this point in the history

  4. Use CRATE_HIR_ID and CRATE_DEF_ID for obligations from foreign crates

    @spastorino
    spastorino committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    4da14ef View commit details
    Browse the repository at this point in the history