Code

Relate alias ty with variance#116219

Code

Merged

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom compiler-errors:relate-alias-ty-with-variancecompiler-errors/rust:relate-alias-ty-with-varianceCopy head branch name to clipboardOct 11, 2023

+40-43

Commits

Commits on Oct 4, 2023

• Relate AliasTy considering variance

  compiler-errors

  committed
  5087bb1

• Remove unnecessary relate impl

  compiler-errors

  committed
  cdef3b1

• Make it clear that args default to being related invariantly

  compiler-errors

  committed
  be29d22