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 the rustc_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§

Statics§

  • Raw content of Fluent resource for this crate, generated by fluent_messages macro, imported by rustc_driver to include all crates’ resources in one bundle.