rustc_infer/lib.rs
1//! This crates defines the type inference engine.
2//!
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 `rustc_hir_analysis` crate.
6//!
7//! For more information about how rustc works, see the [rustc dev guide].
8//!
9//! [rustc dev guide]: https://rustc-dev-guide.rust-lang.org/
10//!
11//! # Note
12//!
13//! This API is completely unstable and subject to change.
14
15// tidy-alphabetical-start
16#![allow(rustc::direct_use_of_rustc_type_ir)]
17#![feature(assert_matches)]
18#![feature(extend_one)]
19#![recursion_limit = "512"] // For rustdoc
20// tidy-alphabetical-end
21
22mod errors;
23pub mod infer;
24pub mod traits;
25
26rustc_fluent_macro::fluent_messages! { "../messages.ftl" }