hir_ty/next_solver/infer/relate/
mod.rs

1//! This module contains the definitions of most `TypeRelation`s in the type system
2//! (except for some relations used for diagnostics and heuristics in the compiler).
3//! As well as the implementation of `Relate` for interned things (`Ty`/`Const`/etc).
4
5pub use rustc_type_ir::relate::combine::PredicateEmittingRelation;
6pub use rustc_type_ir::relate::*;
7
8use crate::next_solver::DbInterner;
9
10mod generalize;
11mod higher_ranked;
12
13pub type RelateResult<'db, T> = rustc_type_ir::relate::RelateResult<DbInterner<'db>, T>;