src/librustc/lib.rs

   1 //! The "main crate" of the Rust compiler. This crate contains common
   2 //! type definitions that are used by the other crates in the rustc
   3 //! "family". Some prominent examples (note that each of these modules
   4 //! has their own README with further details).
   5 //!
   6 //! - **HIR.** The "high-level (H) intermediate representation (IR)" is
   7 //!   defined in the `hir` module.
   8 //! - **MIR.** The "mid-level (M) intermediate representation (IR)" is
   9 //!   defined in the `mir` module. This module contains only the
  10 //!   *definition* of the MIR; the passes that transform and operate
  11 //!   on MIR are found in `librustc_mir` crate.
  12 //! - **Types.** The internal representation of types used in rustc is
  13 //!   defined in the `ty` module. This includes the **type context**
  14 //!   (or `tcx`), which is the central context during most of
  15 //!   compilation, containing the interners and other things.
  16 //! - **Traits.** Trait resolution is implemented in the `traits` module.
  17 //! - **Type inference.** The type inference code can be found in the `infer` module;
  18 //!   this code handles low-level equality and subtyping operations. The
  19 //!   type check pass in the compiler is found in the `librustc_typeck` crate.
  20 //!
  21 //! For more information about how rustc works, see the [rustc guide].
  22 //!
  23 //! [rustc guide]: https://rust-lang.github.io/rustc-guide/
  24 //!
  25 //! # Note
  26 //!
  27 //! This API is completely unstable and subject to change.
  28
  29 #![doc(html_root_url = "https://doc.rust-lang.org/nightly/")]
  30
  31 #![deny(rust_2018_idioms)]
  32 #![allow(explicit_outlives_requirements)]
  33
  34 #![feature(box_patterns)]
  35 #![feature(box_syntax)]
  36 #![feature(core_intrinsics)]
  37 #![feature(drain_filter)]
  38 #![cfg_attr(windows, feature(libc))]
  39 #![feature(never_type)]
  40 #![feature(exhaustive_patterns)]
  41 #![feature(extern_types)]
  42 #![feature(nll)]
  43 #![feature(non_exhaustive)]
  44 #![feature(proc_macro_internals)]
  45 #![feature(optin_builtin_traits)]
  46 #![feature(refcell_replace_swap)]
  47 #![feature(rustc_diagnostic_macros)]
  48 #![feature(rustc_attrs)]
  49 #![feature(slice_patterns)]
  50 #![feature(slice_sort_by_cached_key)]
  51 #![feature(specialization)]
  52 #![feature(unboxed_closures)]
  53 #![feature(thread_local)]
  54 #![feature(trace_macros)]
  55 #![feature(trusted_len)]
  56 #![feature(vec_remove_item)]
  57 #![feature(step_trait)]
  58 #![feature(stmt_expr_attributes)]
  59 #![feature(integer_atomics)]
  60 #![feature(test)]
  61 #![feature(in_band_lifetimes)]
  62 #![feature(crate_visibility_modifier)]
  63
  64 #![recursion_limit="512"]
  65
  66 #![warn(elided_lifetimes_in_paths)]
  67
  68 #[macro_use] extern crate bitflags;
  69 extern crate getopts;
  70 #[macro_use] extern crate lazy_static;
  71 #[macro_use] extern crate scoped_tls;
  72 #[cfg(windows)]
  73 extern crate libc;
  74 #[macro_use] extern crate rustc_data_structures;
  75
  76 #[macro_use] extern crate log;
  77 #[macro_use] extern crate syntax;
  78
  79 // FIXME: This import is used by deriving `RustcDecodable` and `RustcEncodable`. Removing this
  80 // results in a bunch of "failed to resolve" errors. Hopefully, the compiler moves to serde or
  81 // something, and we can get rid of this.
  82 #[allow(rust_2018_idioms)]
  83 extern crate serialize as rustc_serialize;
  84
  85 #[macro_use] extern crate smallvec;
  86
  87 // Note that librustc doesn't actually depend on these crates, see the note in
  88 // `Cargo.toml` for this crate about why these are here.
  89 #[allow(unused_extern_crates)]
  90 extern crate flate2;
  91 #[allow(unused_extern_crates)]
  92 extern crate test;
  93
  94 #[macro_use]
  95 mod macros;
  96
  97 // N.B., this module needs to be declared first so diagnostics are
  98 // registered before they are used.
  99 pub mod diagnostics;
 100
 101 pub mod cfg;
 102 pub mod dep_graph;
 103 pub mod hir;
 104 pub mod ich;
 105 pub mod infer;
 106 pub mod lint;
 107
 108 pub mod middle {
 109     pub mod allocator;
 110     pub mod borrowck;
 111     pub mod expr_use_visitor;
 112     pub mod cstore;
 113     pub mod dead;
 114     pub mod dependency_format;
 115     pub mod entry;
 116     pub mod exported_symbols;
 117     pub mod free_region;
 118     pub mod intrinsicck;
 119     pub mod lib_features;
 120     pub mod lang_items;
 121     pub mod liveness;
 122     pub mod mem_categorization;
 123     pub mod privacy;
 124     pub mod reachable;
 125     pub mod region;
 126     pub mod recursion_limit;
 127     pub mod resolve_lifetime;
 128     pub mod stability;
 129     pub mod weak_lang_items;
 130 }
 131
 132 pub mod mir;
 133 pub mod session;
 134 pub mod traits;
 135 pub mod ty;
 136
 137 pub mod util {
 138     pub mod captures;
 139     pub mod common;
 140     pub mod ppaux;
 141     pub mod nodemap;
 142     pub mod time_graph;
 143     pub mod profiling;
 144     pub mod bug;
 145 }
 146
 147 // A private module so that macro-expanded idents like
 148 // `::rustc::lint::Lint` will also work in `rustc` itself.
 149 //
 150 // `libstd` uses the same trick.
 151 #[doc(hidden)]
 152 mod rustc {
 153     pub use crate::lint;
 154 }
 155
 156 // FIXME(#27438): right now the unit tests of librustc don't refer to any actual
 157 //                functions generated in librustc_data_structures (all
 158 //                references are through generic functions), but statics are
 159 //                referenced from time to time. Due to this bug we won't
 160 //                actually correctly link in the statics unless we also
 161 //                reference a function, so be sure to reference a dummy
 162 //                function.
 163 #[test]
 164 fn noop() {
 165     rustc_data_structures::__noop_fix_for_27438();
 166 }
 167
 168
 169 // Build the diagnostics array at the end so that the metadata includes error use sites.
 170 __build_diagnostic_array! { librustc, DIAGNOSTICS }