Something went wrong. Try again.
forked from verus-lang/verus
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081#![feature(rustc_private)]#![feature(box_patterns)]
// not using this as a dependency, only necessary to make the rlib for the compiler crates// available to cargoextern 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;