Warn on inductive cycle in coherence leading to impls being considered not overlapping by compiler-errors · Pull Request #114023

Warn on inductive cycle in coherence leading to impls being considered not overlapping by compiler-errors · Pull Request #114023 · rust-lang/rust

rustbot added S-waiting-on-review

Status: Awaiting review from the assignee but also interested parties.

T-compiler

Relevant to the compiler team, which will review and decide on the PR/issue.

labels

Jul 24, 2023

lcnr added needs-fcp

This change is insta-stable, or significant enough to need a team FCP to proceed.

T-types

Relevant to the types team, which will review and decide on the PR/issue.

and removed T-compiler

Relevant to the compiler team, which will review and decide on the PR/issue.

labels

Jul 24, 2023

compiler-errors changed the title ~~Warn on coinductive cycle in coherence leading to impls being considered not overlapping~~ Warn on inductive cycle in coherence leading to impls being considered not overlapping

Jul 25, 2023

bors added S-waiting-on-bors

Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

and removed S-waiting-on-author

Status: This is awaiting some action (such as code changes or more information) from the author.

labels

Aug 15, 2023

This was referenced

Aug 15, 2023

bors added a commit to rust-lang-ci/rust that referenced this pull request

Aug 31, 2023

wip-sync pushed a commit to NetBSD/pkgsrc-wip that referenced this pull request

Oct 6, 2023

netbsd-srcmastr pushed a commit to NetBSD/pkgsrc that referenced this pull request

Nov 16, 2023

lcnr mentioned this pull request

Dec 8, 2023