src/test/ui/traits/trait-upcasting/multiple-occurrence-ambiguousity.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

// check-fail
#![feature(trait_upcasting)]

trait Bar<T> {
    fn bar(&self, _: T) {}
}

trait Foo: Bar<i32> + Bar<u32> {
    fn foo(&self, _: ()) {}
}

struct S;

impl Bar<i32> for S {}
impl Bar<u32> for S {}
impl Foo for S {}

fn main() {
    let s: &dyn Foo = &S;
    let t: &dyn Bar<_> = s; //~ ERROR mismatched types
}