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.

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

ICE with impl Foo for Foo for object safe Foo #20939

Closed
huonw opened this issue Jan 11, 2015 · 0 comments · Fixed by #24259
Closed

ICE with impl Foo for Foo for object safe Foo #20939

huonw opened this issue Jan 11, 2015 · 0 comments · Fixed by #24259
Labels
A-trait-system Area: Trait system E-needs-test Call for participation: An issue has been fixed and does not reproduce, but no test has been added. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️

Comments

@huonw
Copy link
Member

huonw commented Jan 11, 2015

trait Foo {}

impl<'a> Foo for Foo+'a {}

fn main() {}
<anon>:3:1: 3:27 error: internal compiler error: coherence failed to report ambiguity: cannot locate the impl of the trait `Foo` for the type `Foo + 'a`
<anon>:3 impl<'a> Foo for Foo+'a {}
         ^~~~~~~~~~~~~~~~~~~~~~~~~~

cc #20940

@huonw huonw added I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ A-trait-system Area: Trait system labels Jan 11, 2015
@ghost ghost added the E-needs-test Call for participation: An issue has been fixed and does not reproduce, but no test has been added. label Apr 3, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-trait-system Area: Trait system E-needs-test Call for participation: An issue has been fixed and does not reproduce, but no test has been added. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant