]>
Commit | Line | Data |
---|---|---|
ba9703b0 | 1 | //! This crates defines the type inference engine. |
74b04a01 | 2 | //! |
74b04a01 XL |
3 | //! - **Type inference.** The type inference code can be found in the `infer` module; |
4 | //! this code handles low-level equality and subtyping operations. The | |
5 | //! type check pass in the compiler is found in the `librustc_typeck` crate. | |
6 | //! | |
ba9703b0 | 7 | //! For more information about how rustc works, see the [rustc dev guide]. |
74b04a01 | 8 | //! |
ba9703b0 | 9 | //! [rustc dev guide]: https://rustc-dev-guide.rust-lang.org/ |
74b04a01 XL |
10 | //! |
11 | //! # Note | |
12 | //! | |
13 | //! This API is completely unstable and subject to change. | |
14 | ||
15 | #![doc(html_root_url = "https://doc.rust-lang.org/nightly/")] | |
3dfed10e | 16 | #![feature(bindings_after_at)] |
74b04a01 XL |
17 | #![feature(bool_to_option)] |
18 | #![feature(box_patterns)] | |
19 | #![feature(box_syntax)] | |
f035d41b | 20 | #![feature(const_fn)] |
f035d41b | 21 | #![feature(const_panic)] |
f9f354fc | 22 | #![feature(extend_one)] |
74b04a01 | 23 | #![feature(never_type)] |
ba9703b0 | 24 | #![feature(or_patterns)] |
74b04a01 XL |
25 | #![feature(in_band_lifetimes)] |
26 | #![feature(crate_visibility_modifier)] | |
ba9703b0 | 27 | #![recursion_limit = "512"] // For rustdoc |
74b04a01 XL |
28 | |
29 | #[macro_use] | |
30 | extern crate rustc_macros; | |
31 | #[cfg(target_arch = "x86_64")] | |
32 | #[macro_use] | |
33 | extern crate rustc_data_structures; | |
34 | #[macro_use] | |
3dfed10e | 35 | extern crate tracing; |
74b04a01 | 36 | #[macro_use] |
ba9703b0 | 37 | extern crate rustc_middle; |
74b04a01 XL |
38 | |
39 | pub mod infer; | |
40 | pub mod traits; |