squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Improve code examples for E0383 long diagnostic.

Browse source
This commit is contained in:
Nathan Kleyn 2015-08-13 09:11:06 +01:00
parent 9c0d2b2465
commit 67c7fd710b
1 changed files with 7 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
src/librustc_borrowck/diagnostics.rs
View file

@ -142,23 +142,20 @@ E0383: r##"
This error occurs when an attempt is made to partially reinitialize a
structure that is currently uninitialized.
For example, this can happen when a transfer of ownership has taken place:
For example, this can happen when a drop has taken place:
```
let mut t = Test { a: 1, b: None};
let mut u = Test { a: 2, b: Some(Box::new(t))}; // `t` is now uninitialized
// because ownership has been
// transferred
t.b = Some(Box::new(u)); // error, partial reinitialization of uninitialized
// structure `t`
let mut x = Foo { a: 1 };
drop(x); // `x` is now uninitialized
x.a = 2; // error, partial reinitialization of uninitialized structure `t`
```
This error can be fixed by fully reinitializing the structure in question:
```
let mut t = Test { a: 1, b: None};
let mut u = Test { a: 2, b: Some(Box::new(t))};
t = Test { a: 1, b: Some(Box::new(u))};
let mut x = Foo { a: 1 };
drop(x);
x = Foo { a: 2 };
```
"##,