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 clipboardOct 3, 2023

+282-65

Commits

Commits on Oct 2, 2023

• subtyping_projections

  ouz-a

  committed
  3148e6a

• Add docs, remove code, change subtyper code

  ouz-a

  committed
  cd7f471

• change is_subtype to relate_types

  ouz-a

  committed
  6f0c5ee

• have better explanation for relate_types

  ouz-a

  committed
  5d753ab