2013-02-28 13:15:32 +00:00
|
|
|
// Copyright 2012-2013 The Rust Project Developers. See the COPYRIGHT
|
2012-12-04 00:48:01 +00:00
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
2017-08-31 18:33:19 +00:00
|
|
|
//! The "main crate" of the Rust compiler. This crate contains common
|
|
|
|
//! type definitions that are used by the other crates in the rustc
|
|
|
|
//! "family". Some prominent examples (note that each of these modules
|
|
|
|
//! has their own README with further details).
|
|
|
|
//!
|
|
|
|
//! - **HIR.** The "high-level (H) intermediate representation (IR)" is
|
|
|
|
//! defined in the `hir` module.
|
|
|
|
//! - **MIR.** The "mid-level (M) intermediate representation (IR)" is
|
|
|
|
//! defined in the `mir` module. This module contains only the
|
|
|
|
//! *definition* of the MIR; the passes that transform and operate
|
|
|
|
//! on MIR are found in `librustc_mir` crate.
|
|
|
|
//! - **Types.** The internal representation of types used in rustc is
|
|
|
|
//! defined in the `ty` module. This includes the **type context**
|
|
|
|
//! (or `tcx`), which is the central context during most of
|
|
|
|
//! compilation, containing the interners and other things.
|
|
|
|
//! - **Traits.** Trait resolution is implemented in the `traits` module.
|
|
|
|
//! - **Type inference.** The type inference code can be found in the `infer` module;
|
|
|
|
//! this code handles low-level equality and subtyping operations. The
|
|
|
|
//! type check pass in the compiler is found in the `librustc_typeck` crate.
|
|
|
|
//!
|
2018-02-25 21:24:14 +00:00
|
|
|
//! For more information about how rustc works, see the [rustc guide].
|
|
|
|
//!
|
|
|
|
//! [rustc guide]: https://rust-lang-nursery.github.io/rustc-guide/
|
2014-11-26 02:17:11 +00:00
|
|
|
//!
|
|
|
|
//! # Note
|
|
|
|
//!
|
|
|
|
//! This API is completely unstable and subject to change.
|
2014-01-08 05:17:52 +00:00
|
|
|
|
2015-08-09 21:15:05 +00:00
|
|
|
#![doc(html_logo_url = "https://www.rust-lang.org/logos/rust-logo-128x128-blk-v2.png",
|
2016-01-21 23:26:19 +00:00
|
|
|
html_favicon_url = "https://doc.rust-lang.org/favicon.ico",
|
|
|
|
html_root_url = "https://doc.rust-lang.org/nightly/")]
|
2016-12-29 17:47:34 +00:00
|
|
|
#![deny(warnings)]
|
2011-05-06 02:44:00 +00:00
|
|
|
|
2015-02-10 21:52:44 +00:00
|
|
|
#![feature(box_patterns)]
|
2015-01-07 14:15:34 +00:00
|
|
|
#![feature(box_syntax)]
|
2017-12-06 08:25:29 +00:00
|
|
|
#![feature(const_fn)]
|
2016-06-08 21:16:35 +00:00
|
|
|
#![feature(core_intrinsics)]
|
2017-12-06 08:25:29 +00:00
|
|
|
#![feature(drain_filter)]
|
2017-12-12 14:59:09 +00:00
|
|
|
#![feature(dyn_trait)]
|
2018-01-16 08:12:54 +00:00
|
|
|
#![feature(entry_or_default)]
|
2017-12-06 08:25:29 +00:00
|
|
|
#![feature(from_ref)]
|
2018-01-10 16:58:39 +00:00
|
|
|
#![feature(fs_read_write)]
|
2017-08-14 00:26:14 +00:00
|
|
|
#![cfg_attr(windows, feature(libc))]
|
2018-02-09 15:34:23 +00:00
|
|
|
#![feature(macro_lifetime_matcher)]
|
2017-12-06 08:25:29 +00:00
|
|
|
#![feature(macro_vis_matcher)]
|
2018-01-21 08:44:41 +00:00
|
|
|
#![feature(exhaustive_patterns)]
|
2018-02-04 16:52:26 +00:00
|
|
|
#![feature(non_exhaustive)]
|
2015-07-22 17:10:18 +00:00
|
|
|
#![feature(nonzero)]
|
2018-02-01 17:10:56 +00:00
|
|
|
#![feature(proc_macro_internals)]
|
2015-01-30 20:26:44 +00:00
|
|
|
#![feature(quote)]
|
2017-12-06 08:25:29 +00:00
|
|
|
#![feature(refcell_replace_swap)]
|
2015-01-30 20:26:44 +00:00
|
|
|
#![feature(rustc_diagnostic_macros)]
|
2015-04-28 23:36:22 +00:00
|
|
|
#![feature(slice_patterns)]
|
2017-02-11 17:26:13 +00:00
|
|
|
#![feature(specialization)]
|
2016-11-03 20:19:33 +00:00
|
|
|
#![feature(unboxed_closures)]
|
2017-04-28 16:09:15 +00:00
|
|
|
#![feature(trace_macros)]
|
2018-02-16 17:20:18 +00:00
|
|
|
#![feature(trusted_len)]
|
2017-09-18 14:18:23 +00:00
|
|
|
#![feature(catch_expr)]
|
2017-06-08 21:20:55 +00:00
|
|
|
#![feature(test)]
|
2018-03-14 18:50:55 +00:00
|
|
|
#![feature(inclusive_range_fields)]
|
2017-04-28 16:09:15 +00:00
|
|
|
|
2017-12-06 08:25:29 +00:00
|
|
|
#![recursion_limit="512"]
|
2015-03-06 23:11:59 +00:00
|
|
|
|
2014-02-14 18:10:06 +00:00
|
|
|
extern crate arena;
|
2017-09-08 19:08:01 +00:00
|
|
|
#[macro_use] extern crate bitflags;
|
2015-07-22 17:10:18 +00:00
|
|
|
extern crate core;
|
2015-01-10 18:21:27 +00:00
|
|
|
extern crate fmt_macros;
|
2014-05-22 18:28:01 +00:00
|
|
|
extern crate getopts;
|
2014-04-17 19:00:08 +00:00
|
|
|
extern crate graphviz;
|
2018-02-01 17:10:56 +00:00
|
|
|
#[macro_use] extern crate lazy_static;
|
2017-08-14 00:26:14 +00:00
|
|
|
#[cfg(windows)]
|
|
|
|
extern crate libc;
|
2014-09-06 18:54:11 +00:00
|
|
|
extern crate rustc_back;
|
2017-12-06 08:25:29 +00:00
|
|
|
#[macro_use] extern crate rustc_data_structures;
|
2014-02-14 18:10:06 +00:00
|
|
|
extern crate serialize;
|
2016-03-15 11:33:13 +00:00
|
|
|
extern crate rustc_const_math;
|
2016-06-21 22:08:13 +00:00
|
|
|
extern crate rustc_errors as errors;
|
2015-01-06 17:24:46 +00:00
|
|
|
#[macro_use] extern crate log;
|
|
|
|
#[macro_use] extern crate syntax;
|
2017-01-14 08:58:50 +00:00
|
|
|
extern crate syntax_pos;
|
2017-06-15 14:08:18 +00:00
|
|
|
extern crate jobserver;
|
2018-02-01 17:10:56 +00:00
|
|
|
extern crate proc_macro;
|
2014-07-01 16:39:41 +00:00
|
|
|
|
2015-03-25 01:13:54 +00:00
|
|
|
extern crate serialize as rustc_serialize; // used by deriving
|
2014-12-19 06:52:48 +00:00
|
|
|
|
2017-12-06 08:25:29 +00:00
|
|
|
extern crate rustc_apfloat;
|
2017-09-18 14:18:23 +00:00
|
|
|
extern crate byteorder;
|
|
|
|
extern crate backtrace;
|
|
|
|
|
2017-06-08 21:20:55 +00:00
|
|
|
// Note that librustc doesn't actually depend on these crates, see the note in
|
|
|
|
// `Cargo.toml` for this crate about why these are here.
|
2017-06-24 08:48:27 +00:00
|
|
|
#[allow(unused_extern_crates)]
|
2017-06-08 21:10:36 +00:00
|
|
|
extern crate flate2;
|
2017-06-24 08:48:27 +00:00
|
|
|
#[allow(unused_extern_crates)]
|
2017-06-08 21:20:55 +00:00
|
|
|
extern crate test;
|
2017-06-08 21:10:36 +00:00
|
|
|
|
2015-04-17 22:32:42 +00:00
|
|
|
#[macro_use]
|
|
|
|
mod macros;
|
|
|
|
|
2015-01-16 23:54:58 +00:00
|
|
|
// NB: This module needs to be declared first so diagnostics are
|
|
|
|
// registered before they are used.
|
|
|
|
pub mod diagnostics;
|
2014-05-25 04:15:16 +00:00
|
|
|
|
2016-03-22 15:30:57 +00:00
|
|
|
pub mod cfg;
|
2016-01-05 18:02:57 +00:00
|
|
|
pub mod dep_graph;
|
2016-03-29 05:50:44 +00:00
|
|
|
pub mod hir;
|
2017-03-20 15:35:06 +00:00
|
|
|
pub mod ich;
|
2016-03-22 15:30:57 +00:00
|
|
|
pub mod infer;
|
|
|
|
pub mod lint;
|
|
|
|
|
2013-01-29 23:16:07 +00:00
|
|
|
pub mod middle {
|
2017-06-03 21:54:08 +00:00
|
|
|
pub mod allocator;
|
2017-12-06 08:25:29 +00:00
|
|
|
pub mod borrowck;
|
2016-12-20 21:05:21 +00:00
|
|
|
pub mod expr_use_visitor;
|
2016-03-30 11:43:36 +00:00
|
|
|
pub mod const_val;
|
2015-11-24 22:00:26 +00:00
|
|
|
pub mod cstore;
|
2013-04-17 22:05:17 +00:00
|
|
|
pub mod dataflow;
|
2014-07-13 13:12:47 +00:00
|
|
|
pub mod dead;
|
|
|
|
pub mod dependency_format;
|
|
|
|
pub mod entry;
|
2017-09-12 16:32:37 +00:00
|
|
|
pub mod exported_symbols;
|
2015-04-18 15:23:14 +00:00
|
|
|
pub mod free_region;
|
2014-07-13 13:12:47 +00:00
|
|
|
pub mod intrinsicck;
|
2013-01-29 23:16:07 +00:00
|
|
|
pub mod lang_items;
|
2014-07-13 13:12:47 +00:00
|
|
|
pub mod liveness;
|
|
|
|
pub mod mem_categorization;
|
2013-01-29 23:16:07 +00:00
|
|
|
pub mod privacy;
|
2013-06-15 01:21:47 +00:00
|
|
|
pub mod reachable;
|
2014-07-13 13:12:47 +00:00
|
|
|
pub mod region;
|
2014-12-02 17:57:38 +00:00
|
|
|
pub mod recursion_limit;
|
2014-07-13 13:12:47 +00:00
|
|
|
pub mod resolve_lifetime;
|
Add stability inheritance
This commit makes several changes to the stability index infrastructure:
* Stability levels are now inherited lexically, i.e., each item's
stability level becomes the default for any nested items.
* The computed stability level for an item is stored as part of the
metadata. When using an item from an external crate, this data is
looked up and cached.
* The stability lint works from the computed stability level, rather
than manual stability attribute annotations. However, the lint still
checks only a limited set of item uses (e.g., it does not check every
component of a path on import). This will be addressed in a later PR,
as part of issue #8962.
* The stability lint only applies to items originating from external
crates, since the stability index is intended as a promise to
downstream crates.
* The "experimental" lint is now _allow_ by default. This is because
almost all existing crates have been marked "experimental", pending
library stabilization. With inheritance in place, this would generate
a massive explosion of warnings for every Rust program.
The lint should be changed back to deny-by-default after library
stabilization is complete.
* The "deprecated" lint still warns by default.
The net result: we can begin tracking stability index for the standard
libraries as we stabilize, without impacting most clients.
Closes #13540.
2014-06-12 00:23:11 +00:00
|
|
|
pub mod stability;
|
2014-07-13 13:12:47 +00:00
|
|
|
pub mod weak_lang_items;
|
2011-04-19 23:40:46 +00:00
|
|
|
}
|
|
|
|
|
2016-09-19 20:50:00 +00:00
|
|
|
pub mod mir;
|
2014-11-16 01:30:33 +00:00
|
|
|
pub mod session;
|
2016-03-22 15:30:57 +00:00
|
|
|
pub mod traits;
|
|
|
|
pub mod ty;
|
2014-06-01 22:58:06 +00:00
|
|
|
|
2013-01-29 23:16:07 +00:00
|
|
|
pub mod util {
|
2018-03-15 20:17:27 +00:00
|
|
|
pub mod captures;
|
2013-01-29 23:16:07 +00:00
|
|
|
pub mod common;
|
|
|
|
pub mod ppaux;
|
2014-02-28 22:34:26 +00:00
|
|
|
pub mod nodemap;
|
2015-05-05 22:19:36 +00:00
|
|
|
pub mod fs;
|
2010-08-18 18:34:47 +00:00
|
|
|
}
|
|
|
|
|
2014-06-04 21:35:58 +00:00
|
|
|
// A private module so that macro-expanded idents like
|
|
|
|
// `::rustc::lint::Lint` will also work in `rustc` itself.
|
|
|
|
//
|
|
|
|
// `libstd` uses the same trick.
|
|
|
|
#[doc(hidden)]
|
|
|
|
mod rustc {
|
|
|
|
pub use lint;
|
|
|
|
}
|
2015-04-28 02:48:22 +00:00
|
|
|
|
2015-08-11 18:48:43 +00:00
|
|
|
// FIXME(#27438): right now the unit tests of librustc don't refer to any actual
|
|
|
|
// functions generated in librustc_data_structures (all
|
|
|
|
// references are through generic functions), but statics are
|
|
|
|
// referenced from time to time. Due to this bug we won't
|
|
|
|
// actually correctly link in the statics unless we also
|
|
|
|
// reference a function, so be sure to reference a dummy
|
|
|
|
// function.
|
|
|
|
#[test]
|
|
|
|
fn noop() {
|
|
|
|
rustc_data_structures::__noop_fix_for_27438();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2015-04-28 02:48:22 +00:00
|
|
|
// Build the diagnostics array at the end so that the metadata includes error use sites.
|
|
|
|
__build_diagnostic_array! { librustc, DIAGNOSTICS }
|