tests/ui/traits/trait-upcasting/multiple-supertraits-modulo-binder-vtable.rs


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

#![feature(rustc_attrs)]

// Test for <https://github.com/rust-lang/rust/issues/135316>.

trait Supertrait<T> {
    fn _print_numbers(&self, mem: &[usize; 100]) {
    }
}
impl<T> Supertrait<T> for () {}

trait Trait<T, U>: Supertrait<T> + Supertrait<U> {
    fn say_hello(&self, _: &usize) {
    }
}
impl<T, U> Trait<T, U> for () {}

// We should observe compatibility between these two vtables.

#[rustc_dump_vtable]
type First = dyn for<'a> Trait<&'static (), &'a ()>;
//~^ ERROR vtable entries

#[rustc_dump_vtable]
type Second = dyn Trait<&'static (), &'static ()>;
//~^ ERROR vtable entries

fn main() {}