This crates defines the type inference engine.
- Type inference. The type inference code can be found in the
infermodule; this code handles low-level equality and subtyping operations. The type check pass in the compiler is found in the
For more information about how rustc works, see the rustc dev guide.
This API is completely unstable and subject to change.