Rewrite the chapter on subtyping and variance#340

Merged

ehuss merged 13 commits intorust-lang:masterfrom

conradludgate:subtyping-rewrite

May 28, 2023

Commits on May 28, 2023

begin rewriting chapter on subtyping

conradludgate
authored and
ehuss
committed
continue

conradludgate
authored and
ehuss
committed
clarify some points

conradludgate
authored and
ehuss
committed
more explanations

conradludgate
authored and
ehuss
committed
remove the rest of animals

conradludgate
authored and
ehuss
committed
remove use of transitive

conradludgate
authored and
ehuss
committed
address some comments

conradludgate
authored and
ehuss
committed
slight restructure

conradludgate
authored and
ehuss
committed
add demos for box and fn

conradludgate
authored and
ehuss
committed
address some grammatical comments

conradludgate
authored and
ehuss
committed
Copy-edit subtyping.md

timotree3
authored and
ehuss
committed
remove supertraits

conradludgate
authored and
ehuss
committed
Apply some review suggestions.
ehuss
committed