rustc_infer/infer/relate/
mod.rs

1
2
3
4
5
6
7
8
9
10
11
12
//! This module contains the definitions of most `TypeRelation`s in the type system
//! (except for some relations used for diagnostics and heuristics in the compiler).
//! As well as the implementation of `Relate` for interned things (`Ty`/`Const`/etc).

pub use rustc_middle::ty::relate::RelateResult;
pub use rustc_type_ir::relate::combine::PredicateEmittingRelation;
pub use rustc_type_ir::relate::*;

mod generalize;
mod higher_ranked;
pub(super) mod lattice;
pub(super) mod type_relating;