Code

Make subtyping explicit in MIR#115025

Code

Merged

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

ouz-a:ouz_testingouz-a/rust:ouz_testingCopy head branch name to clipboard

Oct 3, 2023

Commits

Commits on Oct 2, 2023

• subtyping_projections

  ouz-a

  committed
  3148e6a

  Copy full SHA for 3148e6a

• Add docs, remove code, change subtyper code

  ouz-a

  committed
  cd7f471

  Copy full SHA for cd7f471

• change is_subtype to relate_types

  ouz-a

  committed
  6f0c5ee

  Copy full SHA for 6f0c5ee

• have better explanation for `relate_types`

  ouz-a

  committed
  5d753ab

  Copy full SHA for 5d753ab