特化可能な関連タイプをデフォルトメソッドから戻すにはどうすればよいですか？

Question

私はimplementing tuple flatteningのために錆です。

/// For non-tuple types. 
impl<T> IntoCons for Val<T> { 
    default type Out = Cons<T, Nil>; 

    default fn into_cons(self) -> Cons<T, Nil> { 
     Cons { 
      head: self, 
      tail: Nil, 
     } 
    } 
} 

はどうすればこれを行うことができます：それは、私は専門を使用してみましたが、コンパイラがそれを好きではない

Cons[ 
    Cons[A, B, Nil], 
    Cons[ 
     C, Cons[D, E, Nil], Nil 
    ], 
    F, 
    Nil 
] 

に

((A,B), (C, (D, E)), F) 

の変換が必要ですか？ unsafeを使用しない代替方法は問題ありません。

コンプリート例：

#![feature(specialization)] 
use std::fmt::{Debug, Display}; 

pub trait Tr { 
    type It; 
    fn it(self) -> Self::It; 
} 

impl<T> Tr for T 
where 
    T: Debug, 
{ 
    default type It = u8; 

    default fn it(self) -> Self::It { 
     0 
    } 
} 

impl<T> Tr for T 
where 
    T: Debug + Display, 
{ 
    type It = u16; 

    fn it(self) -> Self::It { 
     0 
    } 
} 

fn main() {} 

playground

コンパイラ出力：

error[E0308]: mismatched types 
    --> src/main.rs:17:9 
    | 
16 |  default fn it(self) -> Self::It { 
    |       -------- expected `<T as Tr>::It` because of return type 
17 |   0 
    |  ^expected associated type, found integral variable 
    | 
    = note: expected type `<T as Tr>::It` 
       found type `{integer}` 

Answer 1

ここでの問題は、あなたがSelf::Itを返すが、それを誰かがした場合どうなります0を与えているということですItがStringの場合はこれを実装しますか？これが常に数字になることを証明する方法がないので、特性の境界が必要か、メソッドのシグネチャを変更する必要があります。これはでの実装ではありません - 誰かがそれは `STRING` *であることでこれを実装した場合はどうなります

pub trait Tr { 
    type It: Default; 
    fn it(self) -> Self::It; 
} 

impl<T> Tr for T 
where 
    T: Debug, 
{ 
    default type It = u8; 

    default fn it(self) -> Self::It { 
     Default::default() 
    } 
} 

Playground Link