Module rustc_infer::infer::relate

This module contains the definitions of most TypeRelations in the type system (except for some relations used for diagnostics and heuristics in the compiler).

Modules

• combine 🔒
  There are four type combiners: TypeRelating, Lub, and Glb, and NllTypeRelating in rustc_borrowck, which is only used for NLL.
• generalize 🔒
• glb 🔒
  Greatest lower bound. See lattice.
• higher_ranked 🔒
  Helper routines for higher-ranked things. See the doc module at the end of the file for details.
• lattice 🔒
  Lattice variables
• lub 🔒
  Least upper bound. See lattice.
• type_relating 🔒

Enums

• StructurallyRelateAliases
  Whether aliases should be related structurally or not. Used to adjust the behavior of generalization and combine.