Module rustc_middle::ty::relate[][src]

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

GeneratorWitness

Enums

Cause

Traits

Relate
TypeRelation

Functions

check_const_value_eq
expected_found
expected_found_bool
relate_substs
super_relate_consts

The main “const relation” routine. Note that this does not handle inference artifacts, so you should filter those out before calling it.

super_relate_tys

The main “type relation” routine. Note that this does not handle inference artifacts, so you should filter those out before calling it.

Type Definitions

RelateResult