Un altro esercizio sui generici di ruggine

Question

Sto cercando di implementare un tratto Monad come Rust. Principalmente solo per divertimento e per familiarizzare con il sistema dei tipi. Sono abbastanza sicuro che non sarò in grado di implementare completamente un tratto Monad a causa della mancanza di "tipi superiori" come spiegato in questo reddit discussion, ma voglio vedere quanto vicino posso ottenere. Per qualche motivo non riesco a compilare questo codice. Sembra che dovrebbe. Qualcuno può spiegare perché? Grazie.

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

I metodi statici definiti in un tratto devono essere richiamati attraverso di esso. Quindi, si avrebbe:

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