Crate rustc_infer
source ·Expand description
This crates defines the type inference engine.
- 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 therustc_hir_analysis
crate.
For more information about how rustc works, see the rustc dev guide.
Note
This API is completely unstable and subject to change.
Modules
- errors 🔒
- Trait Resolution. See the rustc-dev-guide for more information on how this works.
Statics
- Raw content of Fluent resource for this crate, generated by
fluent_messages
macro, imported byrustc_driver
to include all crates’ resources in one bundle.