| #![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() {} |
