rustc_infer::infer::relate

Module type_relating

source

Structsยง

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