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