diff options
| author | bors <bors@rust-lang.org> | 2015-08-06 06:59:19 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2015-08-06 06:59:19 +0000 |
| commit | 859d2954ed974e4d81ea4c20140f6f15f4c6077e (patch) | |
| tree | 376f0fcc6b39d9bd6d6b67501cdf8f76211f6dee | |
| parent | b81ab8a04002f226b1821f5e62f90a685dc640c9 (diff) | |
| parent | 4e9300c02b62cc8cc5ca909e8b867b5202e1e167 (diff) | |
| download | rust-859d2954ed974e4d81ea4c20140f6f15f4c6077e.tar.gz rust-859d2954ed974e4d81ea4c20140f6f15f4c6077e.zip | |
Auto merge of #27557 - Manishearth:rollup, r=Manishearth
- Successful merges: #27546, #27550 - Failed merges:
| -rw-r--r-- | src/doc/reference.md | 24 | ||||
| -rw-r--r-- | src/libstd/fs.rs | 2 |
2 files changed, 25 insertions, 1 deletions
diff --git a/src/doc/reference.md b/src/doc/reference.md index fdb45c32a1d..e905ed917d7 100644 --- a/src/doc/reference.md +++ b/src/doc/reference.md @@ -1501,7 +1501,29 @@ have an implementation for `Shape`. Multiple supertraits are separated by `+`, `trait Circle : Shape + PartialEq { }`. In an implementation of `Circle` for a given type `T`, methods can refer to `Shape` methods, since the typechecker checks that any type with an implementation of `Circle` also has an -implementation of `Shape`. +implementation of `Shape`: + +```rust +struct Foo; + +trait Shape { fn area(&self) -> f64; } +trait Circle : Shape { fn radius(&self) -> f64; } +# impl Shape for Foo { +# fn area(&self) -> f64 { +# 0.0 +# } +# } +impl Circle for Foo { + fn radius(&self) -> f64 { + println!("calling area: {}", self.area()); + + 0.0 + } +} + +let c = Foo; +c.radius(); +``` In type-parameterized functions, methods of the supertrait may be called on values of subtrait-bound type parameters. Referring to the previous example of diff --git a/src/libstd/fs.rs b/src/libstd/fs.rs index 62490bb9d08..a903452d540 100644 --- a/src/libstd/fs.rs +++ b/src/libstd/fs.rs @@ -855,6 +855,8 @@ pub fn rename<P: AsRef<Path>, Q: AsRef<Path>>(from: P, to: Q) -> io::Result<()> /// Note that if `from` and `to` both point to the same file, then the file /// will likely get truncated by this operation. /// +/// On success, the total number of bytes copied is returned. +/// /// # Errors /// /// This function will return an error in the following situations, but is not |
