//@ aux-build:extra-item.rs
//@ compile-flags:--extern extra_item

struct S;

impl extra_item::MyTrait for S {
    fn extra() {} //~ ERROR method `extra` is not a member of trait `extra_item::MyTrait`
}

fn main() {}