summaryrefslogtreecommitdiffstats
path: root/tests/ui/inference/need_type_info/concrete-impl.rs
blob: 72e0e74f3234233e6e498dc4fde58ff6eec662e3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
trait Ambiguous<A> {
    fn method() {}
}

struct One;
struct Two;
struct Struct;

impl Ambiguous<One> for Struct {}
impl Ambiguous<Two> for Struct {}

fn main() {
    <Struct as Ambiguous<_>>::method();
    //~^ ERROR type annotations needed
    //~| ERROR type annotations needed
}