Skip to content

Instantly share code, notes, and snippets.

@nikomatsakis

nikomatsakis/stage1.rs Secret

Created September 28, 2016 00:02
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save nikomatsakis/6915207ffc48b80f4adb52ac63dae85f to your computer and use it in GitHub Desktop.
Save nikomatsakis/6915207ffc48b80f4adb52ac63dae85f to your computer and use it in GitHub Desktop.
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