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
- Relates
a
andb
structurally, calling the relation for all nested values. Any semantic equality, e.g. of unevaluated consts, and inference variables have to be handled by the caller. - Relates
a
andb
structurally, calling the relation for all nested values. Any semantic equality, e.g. of projections, and inference variables have to be handled by the caller.