別の錆のジェネリックは、私が錆で特性のようなモナドを実装しようとしている

Question

を行使する。ほとんどの場合、楽しく、タイプシステムに精通しているだけです。私はこのreddit discussionで説明されているような "上位の種類"がないためMonadの特性を完全に実装することができないと確信しています。何らかの理由でこのコードをコンパイルすることはできません。それはすべきだと思われる。なぜ誰かが説明できますか？ありがとう。

trait Monad<T> { 
    fn lift(val: T) -> Self; 
} 

struct Context<T>{ 
    val: T 
} 

impl<T> Monad<T> for Context<T> { 
    fn lift(x: T) -> Context<T> { 
     Context{val: x} 
    } 
} 

fn main() { 
    let c:Context<int> = Context<int>::lift(5i); 
} 

Answer 1

特性で定義された静的メソッドは、それを介して呼び出される必要があります。だから、あなたが持っていると思います：あなたはそれがあなたに与えた正確なエラーメッセージを追加した場合

let c: Context<int> = Monad::lift(5);