Check that value is explicitly none

[rust.git] / src / test / ui / consts / rfc-2203-const-array-repeat-exprs / nll-fail.stderr

diff --git a/src/test/ui/consts/rfc-2203-const-array-repeat-exprs/nll-fail.stderr b/src/test/ui/consts/rfc-2203-const-array-repeat-exprs/nll-fail.stderr
index fd32484ff92c106c4c256c1349e5e24378a09a35..3aa69996ff743617cf451ea068bb07e791a725e4 100644 (file)
--- a/src/test/ui/consts/rfc-2203-const-array-repeat-exprs/nll-fail.stderr
+++ b/src/test/ui/consts/rfc-2203-const-array-repeat-exprs/nll-fail.stderr
@@ -1,21 +1,21 @@
-error[E0277]: the trait bound `std::option::Option<Bar>: std::marker::Copy` is not satisfied
-  --> $DIR/nll-fail.rs:14:37
+error[E0277]: the trait bound `Option<Bar>: Copy` is not satisfied
+  --> $DIR/nll-fail.rs:13:37
    |
 LL |         let arr: [Option<Bar>; 2] = [x; 2];
-   |                                     ^^^^^^ the trait `std::marker::Copy` is not implemented for `std::option::Option<Bar>`
+   |                                     ^^^^^^ the trait `Copy` is not implemented for `Option<Bar>`
    |
    = help: the following implementations were found:
-             <std::option::Option<T> as std::marker::Copy>
+             <Option<T> as Copy>
    = note: the `Copy` trait is required because the repeated element will be copied
 
-error[E0277]: the trait bound `std::option::Option<Bar>: std::marker::Copy` is not satisfied
-  --> $DIR/nll-fail.rs:20:37
+error[E0277]: the trait bound `Option<Bar>: Copy` is not satisfied
+  --> $DIR/nll-fail.rs:19:37
    |
 LL |         let arr: [Option<Bar>; 2] = [x; 2];
-   |                                     ^^^^^^ the trait `std::marker::Copy` is not implemented for `std::option::Option<Bar>`
+   |                                     ^^^^^^ the trait `Copy` is not implemented for `Option<Bar>`
    |
    = help: the following implementations were found:
-             <std::option::Option<T> as std::marker::Copy>
+             <Option<T> as Copy>
    = note: the `Copy` trait is required because the repeated element will be copied
 
 error: aborting due to 2 previous errors