#![feature(no_core)]
#![no_core]

#![feature(lang_items)]
#[lang = "sized"]
pub trait Sized {}

struct S;
trait A {
    fn foo(&self);
}

trait B: A {
    fn foo(&self);
}

impl A for S {
    fn foo(&self) {}
}

impl B for S {
    fn foo(&self) {}
}
// E0592
fn test() {
    let a = S;
    a.foo();
    // { dg-error "duplicate definitions with name .foo." "" { target *-*-* } .-1 }
}