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

Warn on inductive cycle in coherence leading to impls being considered not overlapping #114023

Merged
merged 5 commits into from
Aug 15, 2023
Merged

Warn on inductive cycle in coherence leading to impls being considered not overlapping #114023

merged 5 commits into from
Aug 15, 2023

Commits on Aug 15, 2023

  1. more span info

    @compiler-errors
    compiler-errors committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    2ae4bed View commit details
    Browse the repository at this point in the history

  2. Implement lint against coinductive impl overlap

    @compiler-errors
    compiler-errors committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    56f5704 View commit details
    Browse the repository at this point in the history

  3. nits 

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

  4. Reuse the selection context, compute failing obligations first in amb… 

    …ig mode
    @compiler-errors
    compiler-errors committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    ca49a37 View commit details
    Browse the repository at this point in the history

  5. more nits

    @compiler-errors
    compiler-errors committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    0e20155 View commit details
    Browse the repository at this point in the history