src/test/compile-fail/ambig_impl_unify.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

trait foo {
    fn foo() -> int;
}

impl ~[uint]: foo {
    fn foo() -> int {1} //~ NOTE candidate #1 is `__extensions__::foo`
}

impl ~[int]: foo {
    fn foo() -> int {2} //~ NOTE candidate #2 is `__extensions__::foo`
}

fn main() {
    let x = ~[];
    x.foo(); //~ ERROR multiple applicable methods in scope
}