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.

Type Definitions