#![feature(
rustc_private,
box_patterns,
associated_type_defaults,
min_specialization,
type_alias_impl_trait,
trait_alias,
let_chains,
unboxed_closures,
exact_size_is_empty,
type_changing_struct_update,
extract_if,
hash_extract_if
)]
#![deny(
clippy::all,
clippy::bool_to_int_with_if,
clippy::case_sensitive_file_extension_comparisons,
clippy::cloned_instead_of_copied,
clippy::default_trait_access,
clippy::empty_enum,
clippy::enum_glob_use,
clippy::expl_impl_clone_on_copy,
clippy::explicit_deref_methods,
clippy::filter_map_next,
clippy::flat_map_option,
clippy::float_cmp,
clippy::fn_params_excessive_bools,
clippy::from_iter_instead_of_collect,
clippy::if_not_else,
clippy::implicit_clone,
clippy::inconsistent_struct_constructor,
clippy::large_stack_arrays,
clippy::large_types_passed_by_value,
clippy::macro_use_imports,
clippy::manual_assert,
clippy::manual_let_else,
clippy::manual_ok_or,
clippy::manual_string_new,
clippy::many_single_char_names,
clippy::map_unwrap_or,
clippy::match_bool,
clippy::match_on_vec_items,
clippy::match_same_arms,
clippy::mut_mut,
clippy::needless_for_each,
clippy::option_option,
clippy::similar_names
)]
#![allow(uncommon_codepoints)]
extern crate datafrog;
extern crate either;
extern crate polonius_engine;
extern crate rustc_abi;
extern crate rustc_apfloat;
extern crate rustc_borrowck;
extern crate rustc_const_eval;
extern crate rustc_data_structures;
extern crate rustc_driver;
extern crate rustc_error_messages;
extern crate rustc_errors;
extern crate rustc_hir;
extern crate rustc_hir_pretty;
extern crate rustc_index;
extern crate rustc_infer;
extern crate rustc_interface;
extern crate rustc_macros;
extern crate rustc_middle;
extern crate rustc_mir_dataflow;
extern crate rustc_mir_transform;
extern crate rustc_serialize;
extern crate rustc_session;
extern crate rustc_span;
extern crate rustc_target;
extern crate rustc_trait_selection;
extern crate rustc_type_ir;
extern crate smallvec;
pub mod analysis;
pub mod errors;
#[allow(clippy::similar_names)]
pub mod interpreter;
#[cfg(feature = "testing")]
pub mod test_utils;