mirror of https://github.com/rust-lang/rust.git
28 lines
381 B
Rust
28 lines
381 B
Rust
#![feature(rustc_attrs)]
|
|
#![feature(negative_impls)]
|
|
|
|
// B --> A
|
|
|
|
trait A {
|
|
fn foo_a1(&self) {}
|
|
fn foo_a2(&self) where Self: Send {}
|
|
}
|
|
|
|
trait B: A {
|
|
fn foo_b1(&self) {}
|
|
fn foo_b2(&self) where Self: Send {}
|
|
}
|
|
|
|
struct S;
|
|
impl !Send for S {}
|
|
|
|
#[rustc_dump_vtable]
|
|
impl A for S {}
|
|
//~^ error vtable
|
|
|
|
#[rustc_dump_vtable]
|
|
impl B for S {}
|
|
//~^ error vtable
|
|
|
|
fn main() {}
|