rustc_infer::infer::relate

Module type_relating

Source

Structsยง

  • TypeRelating ๐Ÿ”’
    Enforce that a is equal to or a subtype of b.