LL | };
| - value is dropped here
-error[E0381]: use of possibly-uninitialized variable: `a`
+error[E0381]: used binding `a` isn't initialized
--> $DIR/drop-elaboration-after-borrowck-error.rs:7:5
|
+LL | let a: [String; 1];
+ | - binding declared here but left uninitialized
+LL |
LL | a[0] = String::new();
- | ^^^^ use of possibly-uninitialized `a`
+ | ^^^^ `a` used here but it isn't initialized
error[E0493]: destructors cannot be evaluated at compile-time
--> $DIR/drop-elaboration-after-borrowck-error.rs:18:9