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