166989d9dSAndrew Brown // See https://github.com/rust-lang/rust/issues/47995: we cannot use `#![...]`
266989d9dSAndrew Brown // attributes inside of the generated ISLE source below because we include!()
366989d9dSAndrew Brown // it. We must include!() it because its path depends on an environment
466989d9dSAndrew Brown // variable; and also because of this, we can't do the `#[path = "..."] mod
566989d9dSAndrew Brown // generated_code;` trick either.
6*099102d9SAlex Crichton #![expect(
7*099102d9SAlex Crichton     dead_code,
8*099102d9SAlex Crichton     unreachable_patterns,
9*099102d9SAlex Crichton     unused_imports,
10*099102d9SAlex Crichton     unused_variables,
110c0153c1SNick Fitzgerald     missing_docs,
12*099102d9SAlex Crichton     clippy::clone_on_copy,
13*099102d9SAlex Crichton     reason = "generated code"
147adf3cacSSaúl Cabrera )]
15d377b665SNick Fitzgerald 
165d671952SChris Fallin include!(concat!(env!("ISLE_DIR"), "/isle_x64.rs"));
17