Module rustc_middle::ty::relate

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

Statics

• CALLSITE 🔒

Traits

• Relate
• TypeRelation

Functions

• expected_found
• relate_substs
• relate_substs_with_variances
• relate_type_and_mut
• 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