summary refs log tree commit diff
path: root/src/test/compile-fail/iface-test-2.rs
blob: b2ee357ffc589cad1732e7683346999f60140c9c (plain)
1
2
3
4
5
6
7
8
9
10
11
iface bar { fn dup() -> self; fn blah<X>(); }
impl of bar for int { fn dup() -> int { self } fn blah<X>() {} }
impl of bar for uint { fn dup() -> uint { self } fn blah<X>() {} }
impl of bar for uint { fn dup() -> uint { self } fn blah<X>() {} }

fn main() {
    10.dup::<int>(); //~ ERROR does not take type parameters
    10.blah::<int, int>(); //~ ERROR incorrect number of type parameters
    10u.dup(); //~ ERROR multiple applicable methods
    (10 as bar).dup(); //~ ERROR contains a self type
}