Module rustc_infer::infer::error_reporting::sub_relations

source ·

Structs§

  • SubId 🔒
  • SubRelations
    When reporting ambiguity errors, we sometimes want to treat all inference vars which are subtypes of each others as if they are equal. For this case we compute the transitive closure of our subtype obligations here.