gistfile1.txt

trait MyNum {                                                                                                                                                                                                        
    static fn from_int(int) -> self;                                                                                                                                                                                 
}                                                                                                                                                                                                                    
                                                                                                                                                                                                                     
pub trait NumExt: MyNum {}                                                                                                                                                                                           
                                                                                                                                                                                                                     
fn greater_than_one<T:NumExt>() -> T { from_int(1) }                                                                                                                                                                 
                                                                                                                                                                                                                     
struct S {                                                                                                                                                                                                           
    v: int                                                                                                                                                                                                           
}                                                                                                                                                                                                                    
                                                                                                                                                                                                                     
impl S: MyNum {                                                                                                                                                                                                      
    static fn from_int(i: int) -> S {                                                                                                                                                                                
        S {                                                                                                                                                                                                          
            v: i                                                                                                                                                                                                     
        }                                                                                                                                                                                                            
    }                                                                                                                                                                                                                
}                                                                                                                                                                                                                    
                                                                                                                                                                                                                     
impl S: NumExt { }                                                                                                                                                                                                   
                                                                                                                                                                                                                     
fn main() {                                                                                                                                                                                                          
    let v: S = greater_than_one();                                                                                                                                                                                   
    assert v.v == 1;                                                                                                                                                                                                 
}