gistfile1.rs

struct A { a : int }
trait TA { }
impl TA for A { }

fn test_struct(a : &A)
{

}

fn test_trait(a : &TA)
{

}

fn main()
{
    let a = ~A{a : 1};
    let b = A{a : 1};
    let c = @A{a : 1};
    
    // This works fine
    test_struct(a);
    test_struct(&b);
    test_struct(c);
    
    // How to write these?
    test_trait(a as &TA);
    test_trait(&a as &TA);
    test_trait(a as &TA);
}