nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-22 23:04:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix variance ordering

Browse Source 
I thought this was actually a huge error and I'd have to rewrite a bunch but
it looks like everything else was correct.

Closes #27457
This commit is contained in:
Alexis Beingessner 2015-08-04 15:09:47 -07:00
parent eb11d65d08
commit 67455e29a1
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/doc/nomicon/subtyping.md
View File

@ -93,8 +93,8 @@ fn main() {
The signature of `overwrite` is clearly valid: it takes mutable references to The signature of `overwrite` is clearly valid: it takes mutable references to
two values of the same type, and overwrites one with the other. If `&mut T` was two values of the same type, and overwrites one with the other. If `&mut T` was
variant over T, then `&mut &'a str` would be a subtype of `&mut &'static str`, variant over T, then `&mut &'static str` would be a subtype of `&mut &'a str`,
since `&'a str` is a subtype of `&'static str`. Therefore the lifetime of since `&'static str` is a subtype of `&'a str`. Therefore the lifetime of
`forever_str` would successfully be "shrunk" down to the shorter lifetime of `forever_str` would successfully be "shrunk" down to the shorter lifetime of
`string`, and `overwrite` would be called successfully. `string` would `string`, and `overwrite` would be called successfully. `string` would
subsequently be dropped, and `forever_str` would point to freed memory when we subsequently be dropped, and `forever_str` would point to freed memory when we