Module type_relating

rustc_infer::infer::relate

Module type_relating 

Source

Structs§

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