Module rustc_infer::infer::relate::type_relating

Structs

• TypeRelating
  Enforce that a is equal to or a subtype of b.