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 #![allow(missing_docs, dead_code, unreachable_code, unreachable_patterns)]
6 #![allow(unused_imports, unused_variables, non_snake_case, unused_mut)]
7 #![allow(
8     irrefutable_let_patterns,
9     unused_assignments,
10     non_camel_case_types,
11     clippy::clone_on_copy
12 )]
13 
14 include!(concat!(env!("ISLE_DIR"), "/isle_aarch64.rs"));
15