rust/comprehensive-rust
1
0
Fork 0
mirror of https://github.com/google/comprehensive-rust.git synced 2025-04-17 22:16:18 +02:00
Code Issues Releases Activity

Merge pull request #145 from fbornhofen/speaker-notes-shared-unique-borrows

Browse Source 
Add speaker notes for shared and unique borrows
This commit is contained in:
Martin Geisler 2023-01-10 16:14:54 +01:00 committed by GitHub
commit a5d31d759f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/ownership/shared-unique-borrows.md
View File

@ -19,3 +19,11 @@ fn main() {
println!("b: {b}"); println!("b: {b}");
} }
``` ```
<details>
* The above code does not compile because `a` is borrowed as mutable (through `c`) and as immutable (through `b`) at the same time.
* Move the `println!` statement for `b` before the scope that introduces `c` to make the code compile.
* After that change, the compiler realizes that `b` is only ever used before the new mutable borrow of `a` through `c`. This is a feature of the borrow checker called "non-lexical lifetimes".
</details>