Module rustc_infer::infer::combine[−][src]

Structs

CombineFields
ConstInferUnifier
Generalization

Result from a generalization operation. This includes not only the generalized type, but also a bool flag indicating whether further WF checks are needed.

Generalizer

Enums

RelationDir

Traits

ConstEquateRelation
RelateResultCompare

Functions

const_unification_error
float_unification_error
int_unification_error