File tree Expand file tree Collapse file tree 2 files changed +6
-8
lines changed
branches/try/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 1
1
---
2
2
refs/heads/master: aca2057ed5fb7af3f8905b2bc01f72fa001c35c8
3
3
refs/heads/snap-stage3: 1af31d4974e33027a68126fa5a5a3c2c6491824f
4
- refs/heads/try: 5f02de3c226bce60c58ce2bc436e69c55b90a616
4
+ refs/heads/try: 3f8e029bedba23b8b2d174fac2718f970a396676
5
5
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
6
6
refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
7
7
refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503
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