gistfile1.txt

trait bar<T> {
    fn get_bar() -> T;
}

fn foo<T, U: bar<T>>(b: U) -> T {
    b.get_bar()
}

class cbar : bar<int> {
    let x: int;
    new(x: int) { self.x = x; }
    fn get_bar() -> int {
        self.x
    }
}

fn main() {
    let x: int = foo(cbar(5));
    assert x == 5;
}

I get this compile error:

test.rs:18:17: 18:20 error: mismatched types: expected `bar<int>` but found `bar<'a>` (int vs type parameter)
test.rs:18     let x: int = foo(cbar(5));
                            ^~~
test.rs:18:17: 18:20 error: mismatched types: expected `'a` but found `int` (type parameter vs integral variable)
test.rs:18     let x: int = foo(cbar(5));
                            ^~~