Code

Uplift Goal to rustc_type_ir#125150

Code

Merged

bors merged 6 commits intorust-lang:masterrust-lang/rust:masterfrom

compiler-errors:uplift-goalcompiler-errors/rust:uplift-goalCopy head branch name to clipboard

May 17, 2024

Commits

Commits on May 16, 2024

• Rename ToPredicate for Upcast

  compiler-errors

  committed
  11ec3ec

  Copy full SHA for 11ec3ec

• Make P parameter explicit

  compiler-errors

  committed
  412dc28

  Copy full SHA for 412dc28

• Make impls UpcastFrom, implement Upcast for UpcastFrom

  compiler-errors

  committed
  2684655

  Copy full SHA for 2684655

• Uplift Goal to rustc_type_ir

  compiler-errors

  committed
  138881b

  Copy full SHA for 138881b

• Fix tools

  compiler-errors

  committed
  6d81736

  Copy full SHA for 6d81736

• Remove trivial Binder::dummy calls

  compiler-errors

  committed
  7b3d6da

  Copy full SHA for 7b3d6da