Module rustc_infer::infer::relate
source ยท Expand description
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).
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ยง
- Whether aliases should be related structurally or not. Used to adjust the behavior of generalization and combine.