#![feature(rustc_private)]
#![feature(box_patterns)]

// not using this as a dependency, only necessary to make the rlib for the compiler crates
// available to cargo
extern crate rustc_driver;

extern crate rustc_arena;
extern crate rustc_ast;
extern crate rustc_data_structures;
extern crate rustc_error_messages;
extern crate rustc_errors;
extern crate rustc_hir;
extern crate rustc_hir_analysis;
extern crate rustc_hir_pretty;
extern crate rustc_index;
extern crate rustc_infer;
extern crate rustc_interface;
extern crate rustc_lint;
extern crate rustc_macros;
extern crate rustc_middle;
extern crate rustc_mir_build;
extern crate rustc_resolve;
extern crate rustc_session;
extern crate rustc_span;
extern crate rustc_trait_selection;
extern crate rustc_type_ir;

mod attributes;
mod buckets;
pub mod commands;
pub mod config;

#[path = "../../../tools/common/consts.rs"]
pub mod consts;

mod automatic_derive;
mod boundary_suggestions;
pub mod cargo_verus;
pub mod cargo_verus_dep_tracker;
pub mod context;
pub mod def;
pub mod driver;
pub mod erase;
mod expand_errors_driver;
pub mod external;
pub mod externs;
pub mod file_loader;
mod fn_call_to_vir;
mod hir_hide_reveal_rewrite;
mod import_export;
mod observers;
mod pre_header;
pub mod profiler;
mod query;
mod resolve_traits;
pub mod reveal_hide;
mod rust_intrinsics_to_vir;
pub mod rust_to_vir;
pub mod rust_to_vir_adts;
pub mod rust_to_vir_base;
pub mod rust_to_vir_ctor;
pub mod rust_to_vir_expr;
pub mod rust_to_vir_func;
pub mod rust_to_vir_global;
mod rust_to_vir_impl;
pub mod rust_to_vir_trait;
#[cfg(feature = "singular")]
pub mod singular;
mod spans;
pub mod test_observer;
pub mod trait_check;
mod trait_check_ast;
mod trait_check_emit;
mod trait_check_generate;
mod trait_conflicts;
mod user_filter;
pub mod util;
pub mod verifier;
pub mod verus_items;