src/test/compile-fail/trait-impl-different-num-params.rs

trait foo {
    fn bar(x: uint) -> self;
}
impl int: foo {
    fn bar() -> int {
        //~^ ERROR method `bar` has 0 parameters but the trait has 1
        self
    }
}

fn main() {
}