2020-02-11 15:39:02 -06:00
|
|
|
//! This crates defines the trait resolution method.
|
2020-02-22 04:44:18 -06:00
|
|
|
//!
|
|
|
|
//! - **Traits.** Trait resolution is implemented in the `traits` module.
|
|
|
|
//!
|
2020-04-11 15:02:35 -05:00
|
|
|
//! For more information about how rustc works, see the [rustc-dev-guide].
|
2020-02-22 04:44:18 -06:00
|
|
|
//!
|
2020-04-11 15:02:35 -05:00
|
|
|
//! [rustc-dev-guide]: https://rustc-dev-guide.rust-lang.org/
|
2020-02-22 04:44:18 -06:00
|
|
|
//!
|
|
|
|
//! # Note
|
|
|
|
//!
|
|
|
|
//! This API is completely unstable and subject to change.
|
|
|
|
|
2022-03-01 15:34:35 -06:00
|
|
|
#![allow(rustc::potential_query_instability)]
|
2020-09-23 14:51:56 -05:00
|
|
|
#![doc(html_root_url = "https://doc.rust-lang.org/nightly/nightly-rustc/")]
|
2020-09-10 02:06:30 -05:00
|
|
|
#![feature(box_patterns)]
|
2022-03-01 15:34:35 -06:00
|
|
|
#![feature(control_flow_enum)]
|
|
|
|
#![feature(drain_filter)]
|
have on_completion record subcycles
Rework `on_completion` method so that it removes all
provisional cache entries that are "below" a completed
node (while leaving those entries that are not below
the node).
This corrects an imprecise result that could in turn lead
to an incremental compilation failure. Under the old
scheme, if you had:
* A depends on...
* B depends on A
* C depends on...
* D depends on C
* T: 'static
then the provisional results for A, B, C, and D would all
be entangled. Thus, if A was `EvaluatedToOkModuloRegions`
(because of that final condition), then the result for C and
D would also be demoted to "ok modulo regions".
In reality, though, the result for C depends only on C and itself,
and is not dependent on regions. If we happen to evaluate the
cycle starting from C, we would never reach A, and hence the
result would be "ok".
Under the new scheme, the provisional results for C and D
are moved to the permanent cache immediately and are not affected
by the result of A.
2021-05-11 04:40:42 -05:00
|
|
|
#![feature(hash_drain_filter)]
|
2021-10-09 11:29:39 -05:00
|
|
|
#![feature(label_break_value)]
|
2022-03-01 15:34:35 -06:00
|
|
|
#![feature(let_chains)]
|
2021-10-15 20:45:14 -05:00
|
|
|
#![feature(let_else)]
|
2022-05-19 13:53:01 -05:00
|
|
|
#![feature(if_let_guard)]
|
2020-09-19 15:17:52 -05:00
|
|
|
#![feature(never_type)]
|
2020-02-11 15:39:02 -06:00
|
|
|
#![recursion_limit = "512"] // For rustdoc
|
2020-02-22 04:44:18 -06:00
|
|
|
|
|
|
|
#[macro_use]
|
|
|
|
extern crate rustc_macros;
|
2021-03-06 10:02:48 -06:00
|
|
|
#[cfg(all(target_arch = "x86_64", target_pointer_width = "64"))]
|
2020-02-22 04:44:18 -06:00
|
|
|
#[macro_use]
|
|
|
|
extern crate rustc_data_structures;
|
|
|
|
#[macro_use]
|
2020-08-14 01:05:01 -05:00
|
|
|
extern crate tracing;
|
2020-02-22 04:44:18 -06:00
|
|
|
#[macro_use]
|
2020-03-29 09:41:09 -05:00
|
|
|
extern crate rustc_middle;
|
2021-06-16 23:20:18 -05:00
|
|
|
#[macro_use]
|
|
|
|
extern crate smallvec;
|
2020-02-22 04:44:18 -06:00
|
|
|
|
2020-06-20 05:29:13 -05:00
|
|
|
pub mod autoderef;
|
2020-02-22 04:44:18 -06:00
|
|
|
pub mod infer;
|
|
|
|
pub mod opaque_types;
|
|
|
|
pub mod traits;
|