]>
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 | |
2b03887a | 5 | //! type check pass in the compiler is found in the `rustc_hir_analysis` crate. |
74b04a01 | 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 | ||
1b1a35ee | 15 | #![doc(html_root_url = "https://doc.rust-lang.org/nightly/nightly-rustc/")] |
4b012472 FG |
16 | #![doc(rust_logo)] |
17 | #![feature(rustdoc_internals)] | |
18 | #![allow(internal_features)] | |
c620b35d FG |
19 | #![allow(rustc::diagnostic_outside_of_impl)] |
20 | #![allow(rustc::untranslatable_diagnostic)] | |
74b04a01 | 21 | #![feature(box_patterns)] |
c620b35d | 22 | #![feature(control_flow_enum)] |
f9f354fc | 23 | #![feature(extend_one)] |
5e7ed085 | 24 | #![feature(let_chains)] |
2b03887a | 25 | #![feature(if_let_guard)] |
e8be2606 | 26 | #![feature(iter_intersperse)] |
c0240ec0 | 27 | #![feature(iterator_try_collect)] |
923072b8 | 28 | #![feature(try_blocks)] |
e8be2606 | 29 | #![feature(yeet_expr)] |
ba9703b0 | 30 | #![recursion_limit = "512"] // For rustdoc |
74b04a01 | 31 | |
74b04a01 | 32 | #[macro_use] |
3dfed10e | 33 | extern crate tracing; |
74b04a01 | 34 | |
f2b60f7d | 35 | mod errors; |
74b04a01 XL |
36 | pub mod infer; |
37 | pub mod traits; | |
9ffffee4 | 38 | |
4b012472 | 39 | rustc_fluent_macro::fluent_messages! { "../messages.ftl" } |