---

yaml
---
r: 236120
b: refs/heads/stable
c: b539906
h: refs/heads/master
v: v3

Author: Gankra

[refs]

@@ -29,7 +29,7 @@ refs/heads/tmp: afae2ff723393b3ab4ccffef6ac7c6d1809e2da0
 refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f
 refs/tags/homu-tmp: f859507de8c410b648d934d8f5ec1c52daac971d
 refs/tags/1.0.0-beta: 8cbb92b53468ee2b0c2d3eeb8567005953d40828
-refs/heads/stable: 9123bb02ca3d71e16ce3e4a2ebb1fca49fcd93e2
+refs/heads/stable: b539906de1d12dc935a1c3db9e511518dddabb3d
 refs/tags/1.0.0: 55bd4f8ff2b323f317ae89e254ce87162d52a375
 refs/tags/1.1.0: bc3c16f09287e5545c1d3f76b7abd54f2eca868b
 refs/tags/1.2.0: f557861f822c34f07270347b94b5280de20a597e

branches/stable/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