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


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

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

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
}