---

yaml
---
r: 229049
b: refs/heads/try
c: b539906
h: refs/heads/master
i:
  229047: a1169d9
v: v3

Author: Gankra

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: aca2057ed5fb7af3f8905b2bc01f72fa001c35c8
 refs/heads/snap-stage3: 1af31d4974e33027a68126fa5a5a3c2c6491824f
-refs/heads/try: 9123bb02ca3d71e16ce3e4a2ebb1fca49fcd93e2
+refs/heads/try: b539906de1d12dc935a1c3db9e511518dddabb3d
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/try/src/doc/tarpl/subtyping.md

@@ -1,9 +1,9 @@
 % Subtyping and Variance
 
-Although Rust doesn't have any notion of inheritance, it *does* include
-subtyping. In Rust, subtyping derives entirely from *lifetimes*. Since lifetimes
-are scopes, we can partially order them based on the *contains* (outlives)
-relationship. We can even express this as a generic bound.
+Although Rust doesn't have any notion of structural inheritance, it *does*
+include subtyping. In Rust, subtyping derives entirely from *lifetimes*. Since
+lifetimes are scopes, we can partially order them based on the *contains*
+(outlives) relationship. We can even express this as a generic bound.
 
 Subtyping on lifetimes in terms of that relationship: if `'a: 'b` ("a contains
 b" or "a outlives b"), then `'a` is a subtype of `'b`. This is a large source of