1cdecc858Syuyang-ok // See https://github.com/rust-lang/rust/issues/47995: we cannot use `#![...]` attributes inside of
2cdecc858Syuyang-ok // the generated ISLE source below because we include!() it. We must include!() it because its path
3cdecc858Syuyang-ok // depends on an environment variable; and also because of this, we can't do the `#[path = "..."]
4cdecc858Syuyang-ok // mod generated_code;` trick either.
5*099102d9SAlex Crichton #![expect(
6*099102d9SAlex Crichton     dead_code,
7*099102d9SAlex Crichton     unreachable_patterns,
8*099102d9SAlex Crichton     unused_imports,
9*099102d9SAlex Crichton     unused_variables,
10*099102d9SAlex Crichton     irrefutable_let_patterns,
11*099102d9SAlex Crichton     clippy::clone_on_copy,
12*099102d9SAlex Crichton     reason = "generated code"
13*099102d9SAlex Crichton )]
14cdecc858Syuyang-ok 
15cdecc858Syuyang-ok include!(concat!(env!("ISLE_DIR"), "/isle_riscv64.rs"));
16