@@ -3651,23 +3651,23 @@ specialized further. Erroneous code example:
36513651```compile_fail
36523652#![feature(specialization)]
36533653
3654- trait SpaceLama {
3654+ trait SpaceLlama {
36553655 fn fly(&self);
36563656}
36573657
36583658// applies to all T
3659- impl<T> SpaceLama for T {
3659+ impl<T> SpaceLlama for T {
36603660 default fn fly(&self) {}
36613661}
36623662
36633663// non-default impl
36643664// applies to all `Clone` T and overrides the previous impl
3665- impl<T: Clone> SpaceLama for T {
3665+ impl<T: Clone> SpaceLlama for T {
36663666 fn fly(&self) {}
36673667}
36683668
36693669// since `i32` is clone, this conflicts with the previous implementation
3670- impl SpaceLama for i32 {
3670+ impl SpaceLlama for i32 {
36713671 default fn fly(&self) {}
36723672 // error: item `fly` is provided by an `impl` that specializes
36733673 // another, but the item in the parent `impl` is not marked
@@ -3684,23 +3684,23 @@ Example:
36843684```
36853685#![feature(specialization)]
36863686
3687- trait SpaceLama {
3687+ trait SpaceLlama {
36883688 fn fly(&self);
36893689}
36903690
36913691// applies to all T
3692- impl<T> SpaceLama for T {
3692+ impl<T> SpaceLlama for T {
36933693 default fn fly(&self) {} // This is a parent implementation.
36943694}
36953695
36963696// applies to all `Clone` T; overrides the previous impl
3697- impl<T: Clone> SpaceLama for T {
3697+ impl<T: Clone> SpaceLlama for T {
36983698 default fn fly(&self) {} // This is a parent implementation but was
36993699 // previously not a default one, causing the error
37003700}
37013701
37023702// applies to i32, overrides the previous two impls
3703- impl SpaceLama for i32 {
3703+ impl SpaceLlama for i32 {
37043704 fn fly(&self) {} // And now that's ok!
37053705}
37063706```
0 commit comments