Module rustc_infer::infer::relate

source ยท
Expand description

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


  • 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 ๐Ÿ”’


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