Inner attributes react strangely with `include!()`

I tried this code:

        let mut bindings_file = dest_dir.clone();
        bindings_file.push(&format!("pg{}.rs", major_version));
        write_rs_file(
            rewritten_items.clone(),
            &bindings_file,
            quote! {
                #![allow(clippy::all)]
                //! All robots and linters must shut the *.h up
                //! to all machines:
                //! - you do not speak unless spoken to!
                //! - and I will NEVER speak to you!
                //! I am a divine being!
                //! you are an object!
                //! you have no right to speak my holy tongue!
                use crate as pg_sys;
                use crate::{Datum, Oid, PgNode};
            },
        )
        .wrap_err_with(|| {
            format!(
                "Unable to write bindings file for pg{} to `{}`",
                major_version,
                bindings_file.display()
            )
        })?;

As you might guess, some code is generated through bindgen on-the-spot and then included into another source file via a mechanism like:

#[cfg(all(feature = "pg13", not(docsrs)))]
pub(crate) mod pg13 {
    include!(concat!(env!("OUT_DIR"), "/pg13.rs"));
}

I expected to see this happen: Not only would my generated code be accepted by Rust, but it would silence all clippy warnings in that file, because it's literally the first item in that file, and when included, it should be the first item in that module. Thus, it seems like it should be a valid source annotation. After all, this code works:

mod something {
    #![allow(unused)]
    
    fn bad_func() {
        let mut buf = [230, 156, 0]; // should be 157
        println!("朝, {:?}", std::str::from_utf8(&buf));
    }
}

Instead, this happened:

Big "inner attribute not allowed" failure

$ cargo check
    Checking pgrx-pg-sys v0.11.0 (/home/jubilee/tcdi/pgrx/pgrx-pg-sys)
error: an inner attribute is not permitted in this context
 --> /home/jubilee/tcdi/pgrx/target/debug/build/pgrx-pg-sys-3e502dbdad64018b/out/pg13.rs:1:1
  |
1 | #![allow(clippy::all)]
  | ^^^^^^^^^^^^^^^^^^^^^^
...
9 | use crate as pg_sys;
  | -------------------- the inner attribute doesn't annotate this `use` import
  |
  = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files
help: to annotate the `use` import, change the attribute from inner to outer style
  |
1 - #![allow(clippy::all)]
1 + #[allow(clippy::all)]
  |

error: an inner attribute is not permitted in this context
 --> /home/jubilee/tcdi/pgrx/target/debug/build/pgrx-pg-sys-3e502dbdad64018b/out/pg13.rs:2:1
  |
2 | #![doc = r" All robots and linters must shut the *.h up"]
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
...
9 | use crate as pg_sys;
  | -------------------- the inner attribute doesn't annotate this `use` import
  |
  = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files
help: to annotate the `use` import, change the attribute from inner to outer style
  |
2 - #![doc = r" All robots and linters must shut the *.h up"]
2 + #[doc = r" All robots and linters must shut the *.h up"]
  |

error: an inner attribute is not permitted in this context
 --> /home/jubilee/tcdi/pgrx/target/debug/build/pgrx-pg-sys-3e502dbdad64018b/out/pg13.rs:3:1
  |
3 | #![doc = r" to all machines:"]
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
...
9 | use crate as pg_sys;
  | -------------------- the inner attribute doesn't annotate this `use` import
  |
  = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files
help: to annotate the `use` import, change the attribute from inner to outer style
  |
3 - #![doc = r" to all machines:"]
3 + #[doc = r" to all machines:"]
  |

error: an inner attribute is not permitted in this context
 --> /home/jubilee/tcdi/pgrx/target/debug/build/pgrx-pg-sys-3e502dbdad64018b/out/pg13.rs:4:1
  |
4 | #![doc = r" - you do not speak unless spoken to!"]
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
...
9 | use crate as pg_sys;
  | -------------------- the inner attribute doesn't annotate this `use` import
  |
  = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files
help: to annotate the `use` import, change the attribute from inner to outer style
  |
4 - #![doc = r" - you do not speak unless spoken to!"]
4 + #[doc = r" - you do not speak unless spoken to!"]
  |

error: an inner attribute is not permitted in this context
 --> /home/jubilee/tcdi/pgrx/target/debug/build/pgrx-pg-sys-3e502dbdad64018b/out/pg13.rs:5:1
  |
5 | #![doc = r" - and I will NEVER speak to you!"]
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
...
9 | use crate as pg_sys;
  | -------------------- the inner attribute doesn't annotate this `use` import
  |
  = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files
help: to annotate the `use` import, change the attribute from inner to outer style
  |
5 - #![doc = r" - and I will NEVER speak to you!"]
5 + #[doc = r" - and I will NEVER speak to you!"]
  |

error: an inner attribute is not permitted in this context
 --> /home/jubilee/tcdi/pgrx/target/debug/build/pgrx-pg-sys-3e502dbdad64018b/out/pg13.rs:6:1
  |
6 | #![doc = r" I am a divine being!"]
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
...
9 | use crate as pg_sys;
  | -------------------- the inner attribute doesn't annotate this `use` import
  |
  = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files
help: to annotate the `use` import, change the attribute from inner to outer style
  |
6 - #![doc = r" I am a divine being!"]
6 + #[doc = r" I am a divine being!"]
  |

error: an inner attribute is not permitted in this context
 --> /home/jubilee/tcdi/pgrx/target/debug/build/pgrx-pg-sys-3e502dbdad64018b/out/pg13.rs:7:1
  |
7 | #![doc = r" you are an object!"]
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
8 | #![doc = r" you have no right to speak my holy tongue!"]
9 | use crate as pg_sys;
  | -------------------- the inner attribute doesn't annotate this `use` import
  |
  = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files
help: to annotate the `use` import, change the attribute from inner to outer style
  |
7 - #![doc = r" you are an object!"]
7 + #[doc = r" you are an object!"]
  |

error: an inner attribute is not permitted in this context
 --> /home/jubilee/tcdi/pgrx/target/debug/build/pgrx-pg-sys-3e502dbdad64018b/out/pg13.rs:8:1
  |
8 | #![doc = r" you have no right to speak my holy tongue!"]
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
9 | use crate as pg_sys;
  | -------------------- the inner attribute doesn't annotate this `use` import
  |
  = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files
help: to annotate the `use` import, change the attribute from inner to outer style
  |
8 - #![doc = r" you have no right to speak my holy tongue!"]
8 + #[doc = r" you have no right to speak my holy tongue!"]
  |

error: could not compile `pgrx-pg-sys` (lib) due to 8 previous errors

For now I added the annotation inside the module, but this seems confusing. What's especially confusing is it trying to warn me about using an "inner attribute" on a use, when I was trying to avoid it thinking that, but alas it seems there's no real surefire way to make that happen, having fiddled with it for a while trying to make that work.

If there is no bug in what rustc accepts, here, there sure is a diagnostic error.

Description

Meta

Contributor guide

First steps

Research direction

Assessment