Code

Combine Sub and Equate#121462

Code

Merged

bors merged 7 commits intorust-lang:masterrust-lang/rust:masterfrom compiler-errors:eq-and-subcompiler-errors/rust:eq-and-subCopy head branch name to clipboardMar 1, 2024

+509-840

Commits

Commits on Mar 1, 2024

• Preserve variance on error in generalizer

  compiler-errors

  committed
  3cb3631

• Combine sub and eq

  compiler-errors

  committed
  c87b727

• Remove cause

  compiler-errors

  committed
  801dd1d

• Get rid of some sub_exp and eq_exp

  compiler-errors

  committed
  61daee6

• Remove a_is_expected from combine relations

  compiler-errors

  committed
  04e2262

• Fallout from removing a_is_expected

  compiler-errors

  committed
  b153656

• Rebase fallout from TypeRelating::binders, inline higher_ranked_sub

  compiler-errors

  committed
  5072b65