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§

Traits§

Functions§

Type Aliases§