File tree Expand file tree Collapse file tree 2 files changed +6
-8
lines changed
branches/stable/src/doc/tarpl Expand file tree Collapse file tree 2 files changed +6
-8
lines changed Original file line number Diff line number Diff line change @@ -29,7 +29,7 @@ refs/heads/tmp: afae2ff723393b3ab4ccffef6ac7c6d1809e2da0
29
29
refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f
30
30
refs/tags/homu-tmp: f859507de8c410b648d934d8f5ec1c52daac971d
31
31
refs/tags/1.0.0-beta: 8cbb92b53468ee2b0c2d3eeb8567005953d40828
32
- refs/heads/stable: 5f02de3c226bce60c58ce2bc436e69c55b90a616
32
+ refs/heads/stable: 3f8e029bedba23b8b2d174fac2718f970a396676
33
33
refs/tags/1.0.0: 55bd4f8ff2b323f317ae89e254ce87162d52a375
34
34
refs/tags/1.1.0: bc3c16f09287e5545c1d3f76b7abd54f2eca868b
35
35
refs/tags/1.2.0: f557861f822c34f07270347b94b5280de20a597e
Original file line number Diff line number Diff line change 1
1
% Coercions
2
2
3
3
Types can implicitly be coerced to change in certain contexts. These changes are
4
- generally just * weakening* of types, largely focused around pointers and lifetimes.
5
- They mostly exist to make Rust "just work" in more cases, and are largely harmless.
4
+ generally just * weakening* of types, largely focused around pointers and
5
+ lifetimes. They mostly exist to make Rust "just work" in more cases, and are
6
+ largely harmless.
6
7
7
8
Here's all the kinds of coercion:
8
9
9
-
10
10
Coercion is allowed between the following types:
11
11
12
- * Subtyping : ` T ` to ` U ` if ` T ` is a [ subtype ] [ ] of ` U `
13
- * Transitivity: ` T_1 ` to ` T_3 ` where ` T_1 ` coerces to ` T_2 ` and ` T_2 ` coerces to ` T_3 `
12
+ * Transitivity : ` T_1 ` to ` T_3 ` where ` T_1 ` coerces to ` T_2 ` and ` T_2 ` coerces to
13
+ ` T_3 `
14
14
* Pointer Weakening:
15
15
* ` &mut T ` to ` &T `
16
16
* ` *mut T ` to ` *const T `
@@ -68,5 +68,3 @@ fn main() {
68
68
<anon>:10 foo(t);
69
69
^~~
70
70
```
71
-
72
- [ subtype ] : subtyping.html
You can’t perform that action at this time.
0 commit comments