include! macro fails if included file has top-level inner attributes

Issue by dwrensha
Sunday Nov 09, 2014 at 14:25 GMT

For earlier discussion, see https://github.com/rust-lang/rust/issues/18810

This issue was labelled with: in the Rust repository

// test.rs

pub mod included {
    include!("test_included.rs")
}

fn main() {}

// test_included.rs

#![allow(dead_code)]

pub fn foo() {}

$ rustc test.rs
test_included.rs:3:3: 3:4 error: an inner attribute is not permitted in this context
test_included.rs:3 #![allow(dead_code)]
                     ^
error: aborting due to previous error

I at first thought that the problem was due to the implicit insert of the prelude in the included module. However, adding a #[no_implicit_prelude] attribute does not help.

Start by reproducing the failure with the issue's test.rs and test_included.rs files, then inspect how rustc handles include! inside a module and top-level inner attributes. Use the linked earlier discussion in issue 18810 as context. Done means the included file's #![allow(dead_code)] is accepted in this example without the reported compiler error.