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