我在专业化功能上做错了什么？

Question

我想创建一个结构来实现具有默认关联类型和函数的特征以及专门的特征实现。但是，在尝试从默认实现构造结构实例时出现错误。

这是一些代码，显示了我正在尝试做的事情。在 Rust 操场上试一试here。

#![allow(incomplete_features)]
#![feature(specialization)]

pub trait Data {
    type Data;
    fn new() -> Self;
}

pub struct MyStruct<T> {
    pub data: <Self as Data>::Data,
}

// default implementation
impl<T> Data for MyStruct<T> {
    default type Data = u64;
    default fn new() -> Self {
        MyStruct::<T> {data: 1u64}
    }
}

// a specialized implementation
impl Data for MyStruct<i64> {
    type Data = u32;
    fn new() -> Self {
        MyStruct::<i64> {data: 1u32}
    }
}

这给出了错误：

error[E0308]: mismatched types
  --> src/lib.rs:16:30
   |
14 |     default type Data = u64;
   |     ------------------------ expected this associated type
15 |     default fn new() -> Self {
16 |         MyStruct::<T> {data: 1u64}
   |                              ^^^^ expected associated type, found `u64`
   |
   = note: expected associated type `<MyStruct<T> as Data>::Data`
                         found type `u64`

For more information about this error, try `rustc --explain E0308`.
error: could not compile `playground` due to previous error

错误描述非常笼统，我不确定自己做错了什么。我知道这是一个不完整的功能是有原因的，但我觉得我做错了什么，而不是这个功能有问题。

Answer 1

我认为这只是它不完整的一个例子（并且来自 cmets 甚至可能不支持这种情况）。这段代码直接来自Specialization RFC（据我的理解表明它应该可以工作）但它失败并出现类似的错误：

#![allow(incomplete_features)]
#![feature(specialization)]

trait Example {
    type Output;
    fn generate(self) -> Self::Output;
}

impl<T> Example for T {
    default type Output = Box<T>;
    default fn generate(self) -> Box<T> { Box::new(self) }
}

impl Example for bool {
    type Output = bool;
    fn generate(self) -> bool { self }
}

error[E0053]: method `generate` has an incompatible type for trait
  --> src/lib.rs:11:34
   |
6  |     fn generate(self) -> Self::Output;
   |                          ------------ type in trait
...
10 |     default type Output = Box<T>;
   |     ----------------------------- expected this associated type
11 |     default fn generate(self) -> Box<T> { Box::new(self) }
   |                                  ^^^^^^
   |                                  |
   |                                  expected associated type, found struct `Box`
   |                                  help: change the output type to match the trait: `<T as Example>::Output`
   |
   = note: expected fn pointer `fn(_) -> <T as Example>::Output`
              found fn pointer `fn(_) -> Box<T>`

Playground