rustc_infer::infer::relate

Module type_relating

Source

Structs§

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