Module rustc_middle::ty::relate
source · Expand description
Generalized type relating mechanism.
A type relation R
relates a pair of values (A, B)
. A and B
are usually
types or regions but can be other things. Examples of type relations are
subtyping, type equality, etc.
Structs
Enums
Traits
Functions
The main “const relation” routine. Note that this does not handle
inference artifacts, so you should filter those out before calling
it.
The main “type relation” routine. Note that this does not handle
inference artifacts, so you should filter those out before calling
it.