//@ pp-exact

trait Foo {
    #![allow(bar)]
}

fn main() {}