fn main() {
    let unused = ();

    #![allow(unused_variables)] //~ ERROR not permitted in this context
    fn foo() {}
}