Move check for error in impl header outside of reporting by compiler-errors · Pu...
source link: https://github.com/rust-lang/rust/pull/122894
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Move check for error in impl header outside of reporting #122894
Conversation
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
@@ -0,0 +1,15 @@ | ||
//@ compile-flags: -Znext-solver |
||
Contributor
// Regression test for #121006. |
Contributor
also: slightly minimized
trait ToUnit<'a> {
type Unit;
}
impl<T> ToUnit for T {}
//~^ ERROR implicit elided lifetime not allowed here
trait Overlap {}
impl<U> Overlap for fn(U) {}
impl Overlap for for<'a> fn(<() as ToUnit<'a>>::Unit) {}
fn main() {}
Please move it to the general coherence
folder, it also affects the old solver (and use revisions)
Contributor
@bors r+ rollup |
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-review Status: Awaiting review from the assignee but also interested parties.
labels
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet
Successfully merging this pull request may close these issues.
ICE: downgrade_to_delayed_bug: cannot downgrade Warning to DelayedBug: not an error
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK