15d671952SChris Fallin // See https://github.com/rust-lang/rust/issues/47995: we cannot use `#![...]` attributes inside of
25d671952SChris Fallin // the generated ISLE source below because we include!() it. We must include!() it because its path
35d671952SChris Fallin // depends on an environment variable; and also because of this, we can't do the `#[path = "..."]
45d671952SChris Fallin // mod generated_code;` trick either.
5*099102d9SAlex Crichton #![expect(
6*099102d9SAlex Crichton     missing_docs,
7*099102d9SAlex Crichton     dead_code,
8*099102d9SAlex Crichton     unreachable_patterns,
9*099102d9SAlex Crichton     unused_imports,
10*099102d9SAlex Crichton     unused_variables,
110c0153c1SNick Fitzgerald     irrefutable_let_patterns,
12*099102d9SAlex Crichton     clippy::clone_on_copy,
13*099102d9SAlex Crichton     reason = "generated code"
140c0153c1SNick Fitzgerald )]
151141169fSAlex Crichton 
165d671952SChris Fallin include!(concat!(env!("ISLE_DIR"), "/isle_aarch64.rs"));
17