Skip to content

Instantly share code, notes, and snippets.

@nikomatsakis nikomatsakis/stage1.rs Secret
Created Sep 28, 2016

Embed
What would you like to do?
Download ZIP
Raw
stage1.rs
trait Foo { }
trait Bar { }
trait Baz { }
// OK
impl<T: Foo> Baz for T { }
impl<T: Foo + Bar> Baz for T { }
Raw
stage2.rs
trait Foo { }
trait Bar { }
trait Baz { }
// But now we add
impl<T: Foo> Bar for T { }
// And now these two are no longer specializations of one another:
impl<T: Foo> Baz for T { }
impl<T: Foo + Bar> Baz for T { }
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.