gistfile1.rs

trait Foo<T> {  }

impl Foo<int> for () {  }

fn bar<T:Send>(_t:T) {  }

fn main() {
    let x = ~() as ~Foo:<int>;
    let y = ~() as ~Foo<int>;
    println!("x: {:?} y: {:?}", x, y);
    bar(y);
}