trait Foo {
    pub type Foo;
    //~^ ERROR visibility qualifiers are not permitted here
}

fn main() {}