mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Tweak wording

Browse Source
This commit is contained in:
Esteban Küber 2024-03-09 20:32:13 +00:00
parent 2d3435b4df
commit b367c25367
7 changed files with 36 additions and 36 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/rustc_mir_build/messages.ftl
View File

@ -24,7 +24,7 @@ mir_build_borrow_of_layout_constrained_field_requires_unsafe_unsafe_op_in_unsafe
mir_build_borrow_of_moved_value = borrow of moved value mir_build_borrow_of_moved_value = borrow of moved value
.label = value moved into `{$name}` here .label = value moved into `{$name}` here
.occurs_because_label = move occurs because `{$name}` has type `{$ty}` which does not implement the `Copy` trait .occurs_because_label = move occurs because `{$name}` has type `{$ty}`, which does not implement the `Copy` trait
.value_borrowed_label = value borrowed here after move .value_borrowed_label = value borrowed here after move
.suggestion = borrow this binding in the pattern to avoid moving the value .suggestion = borrow this binding in the pattern to avoid moving the value

4
tests/ui/pattern/bindings-after-at/bind-by-move-neither-can-live-while-the-other-survives-1.stderr
View File

@ -13,7 +13,7 @@ LL | Some(_z @ ref _y) => {}
| ^^ ------ value borrowed here after move | ^^ ------ value borrowed here after move
| | | |
| value moved into `_z` here | value moved into `_z` here
| move occurs because `_z` has type `X` which does not implement the `Copy` trait | move occurs because `_z` has type `X`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -35,7 +35,7 @@ LL | Some(_z @ ref mut _y) => {}
| ^^ ---------- value borrowed here after move | ^^ ---------- value borrowed here after move
| | | |
| value moved into `_z` here | value moved into `_z` here
| move occurs because `_z` has type `X` which does not implement the `Copy` trait | move occurs because `_z` has type `X`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |

2
tests/ui/pattern/bindings-after-at/borrowck-pat-by-move-and-ref-inverse-promotion.stderr
View File

@ -5,7 +5,7 @@ LL | let a @ ref b = U;
| ^ ----- value borrowed here after move | ^ ----- value borrowed here after move
| | | |
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `U` which does not implement the `Copy` trait | move occurs because `a` has type `U`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |

50
tests/ui/pattern/bindings-after-at/borrowck-pat-by-move-and-ref-inverse.stderr
View File

@ -5,7 +5,7 @@ LL | let a @ ref b = U;
| ^ ----- value borrowed here after move | ^ ----- value borrowed here after move
| | | |
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `U` which does not implement the `Copy` trait | move occurs because `a` has type `U`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -20,7 +20,7 @@ LL | let a @ (mut b @ ref mut c, d @ ref e) = (U, U);
| | | | | |
| | value borrowed here after move | | value borrowed here after move
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `(U, U)` which does not implement the `Copy` trait | move occurs because `a` has type `(U, U)`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -34,7 +34,7 @@ LL | let a @ (mut b @ ref mut c, d @ ref e) = (U, U);
| ^^^^^ --------- value borrowed here after move | ^^^^^ --------- value borrowed here after move
| | | |
| value moved into `b` here | value moved into `b` here
| move occurs because `b` has type `U` which does not implement the `Copy` trait | move occurs because `b` has type `U`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -48,7 +48,7 @@ LL | let a @ (mut b @ ref mut c, d @ ref e) = (U, U);
| ^ ----- value borrowed here after move | ^ ----- value borrowed here after move
| | | |
| value moved into `d` here | value moved into `d` here
| move occurs because `d` has type `U` which does not implement the `Copy` trait | move occurs because `d` has type `U`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -63,7 +63,7 @@ LL | let a @ [ref mut b, ref c] = [U, U];
| | | | | |
| | value borrowed here after move | | value borrowed here after move
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `[U; 2]` which does not implement the `Copy` trait | move occurs because `a` has type `[U; 2]`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -77,7 +77,7 @@ LL | let a @ ref b = u();
| ^ ----- value borrowed here after move | ^ ----- value borrowed here after move
| | | |
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `U` which does not implement the `Copy` trait | move occurs because `a` has type `U`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -92,7 +92,7 @@ LL | let a @ (mut b @ ref mut c, d @ ref e) = (u(), u());
| | | | | |
| | value borrowed here after move | | value borrowed here after move
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `(U, U)` which does not implement the `Copy` trait | move occurs because `a` has type `(U, U)`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -106,7 +106,7 @@ LL | let a @ (mut b @ ref mut c, d @ ref e) = (u(), u());
| ^^^^^ --------- value borrowed here after move | ^^^^^ --------- value borrowed here after move
| | | |
| value moved into `b` here | value moved into `b` here
| move occurs because `b` has type `U` which does not implement the `Copy` trait | move occurs because `b` has type `U`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -120,7 +120,7 @@ LL | let a @ (mut b @ ref mut c, d @ ref e) = (u(), u());
| ^ ----- value borrowed here after move | ^ ----- value borrowed here after move
| | | |
| value moved into `d` here | value moved into `d` here
| move occurs because `d` has type `U` which does not implement the `Copy` trait | move occurs because `d` has type `U`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -135,7 +135,7 @@ LL | let a @ [ref mut b, ref c] = [u(), u()];
| | | | | |
| | value borrowed here after move | | value borrowed here after move
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `[U; 2]` which does not implement the `Copy` trait | move occurs because `a` has type `[U; 2]`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -149,7 +149,7 @@ LL | a @ Some(ref b) => {}
| ^ ----- value borrowed here after move | ^ ----- value borrowed here after move
| | | |
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `Option<U>` which does not implement the `Copy` trait | move occurs because `a` has type `Option<U>`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -164,7 +164,7 @@ LL | a @ Some((mut b @ ref mut c, d @ ref e)) => {}
| | | | | |
| | value borrowed here after move | | value borrowed here after move
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `Option<(U, U)>` which does not implement the `Copy` trait | move occurs because `a` has type `Option<(U, U)>`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -178,7 +178,7 @@ LL | a @ Some((mut b @ ref mut c, d @ ref e)) => {}
| ^^^^^ --------- value borrowed here after move | ^^^^^ --------- value borrowed here after move
| | | |
| value moved into `b` here | value moved into `b` here
| move occurs because `b` has type `U` which does not implement the `Copy` trait | move occurs because `b` has type `U`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -192,7 +192,7 @@ LL | a @ Some((mut b @ ref mut c, d @ ref e)) => {}
| ^ ----- value borrowed here after move | ^ ----- value borrowed here after move
| | | |
| value moved into `d` here | value moved into `d` here
| move occurs because `d` has type `U` which does not implement the `Copy` trait | move occurs because `d` has type `U`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -207,7 +207,7 @@ LL | mut a @ Some([ref b, ref mut c]) => {}
| | | | | |
| | value borrowed here after move | | value borrowed here after move
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `Option<[U; 2]>` which does not implement the `Copy` trait | move occurs because `a` has type `Option<[U; 2]>`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -221,7 +221,7 @@ LL | a @ Some(ref b) => {}
| ^ ----- value borrowed here after move | ^ ----- value borrowed here after move
| | | |
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `Option<U>` which does not implement the `Copy` trait | move occurs because `a` has type `Option<U>`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -236,7 +236,7 @@ LL | a @ Some((mut b @ ref mut c, d @ ref e)) => {}
| | | | | |
| | value borrowed here after move | | value borrowed here after move
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `Option<(U, U)>` which does not implement the `Copy` trait | move occurs because `a` has type `Option<(U, U)>`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -250,7 +250,7 @@ LL | a @ Some((mut b @ ref mut c, d @ ref e)) => {}
| ^^^^^ --------- value borrowed here after move | ^^^^^ --------- value borrowed here after move
| | | |
| value moved into `b` here | value moved into `b` here
| move occurs because `b` has type `U` which does not implement the `Copy` trait | move occurs because `b` has type `U`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -264,7 +264,7 @@ LL | a @ Some((mut b @ ref mut c, d @ ref e)) => {}
| ^ ----- value borrowed here after move | ^ ----- value borrowed here after move
| | | |
| value moved into `d` here | value moved into `d` here
| move occurs because `d` has type `U` which does not implement the `Copy` trait | move occurs because `d` has type `U`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -279,7 +279,7 @@ LL | mut a @ Some([ref b, ref mut c]) => {}
| | | | | |
| | value borrowed here after move | | value borrowed here after move
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `Option<[U; 2]>` which does not implement the `Copy` trait | move occurs because `a` has type `Option<[U; 2]>`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -349,7 +349,7 @@ LL | fn f1(a @ ref b: U) {}
| ^ ----- value borrowed here after move | ^ ----- value borrowed here after move
| | | |
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `U` which does not implement the `Copy` trait | move occurs because `a` has type `U`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -364,7 +364,7 @@ LL | fn f2(mut a @ (b @ ref c, mut d @ ref e): (U, U)) {}
| | | | | |
| | value borrowed here after move | | value borrowed here after move
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `(U, U)` which does not implement the `Copy` trait | move occurs because `a` has type `(U, U)`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -378,7 +378,7 @@ LL | fn f2(mut a @ (b @ ref c, mut d @ ref e): (U, U)) {}
| ^ ----- value borrowed here after move | ^ ----- value borrowed here after move
| | | |
| value moved into `b` here | value moved into `b` here
| move occurs because `b` has type `U` which does not implement the `Copy` trait | move occurs because `b` has type `U`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -392,7 +392,7 @@ LL | fn f2(mut a @ (b @ ref c, mut d @ ref e): (U, U)) {}
| ^^^^^ ----- value borrowed here after move | ^^^^^ ----- value borrowed here after move
| | | |
| value moved into `d` here | value moved into `d` here
| move occurs because `d` has type `U` which does not implement the `Copy` trait | move occurs because `d` has type `U`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -417,7 +417,7 @@ LL | fn f3(a @ [ref mut b, ref c]: [U; 2]) {}
| | | | | |
| | value borrowed here after move | | value borrowed here after move
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `[U; 2]` which does not implement the `Copy` trait | move occurs because `a` has type `[U; 2]`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |

8
tests/ui/pattern/bindings-after-at/borrowck-pat-ref-mut-twice.stderr
View File

@ -78,7 +78,7 @@ LL | let a @ (ref mut b, ref mut c) = (U, U);
| | | | | |
| | value borrowed here after move | | value borrowed here after move
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `(U, U)` which does not implement the `Copy` trait | move occurs because `a` has type `(U, U)`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -94,7 +94,7 @@ LL | let a @ (b, [c, d]) = &mut val; // Same as ^--
| | | value borrowed here after move | | | value borrowed here after move
| | value borrowed here after move | | value borrowed here after move
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `&mut (U, [U; 2])` which does not implement the `Copy` trait | move occurs because `a` has type `&mut (U, [U; 2])`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -108,7 +108,7 @@ LL | let a @ &mut ref mut b = &mut U;
| ^ --------- value borrowed here after move | ^ --------- value borrowed here after move
| | | |
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `&mut U` which does not implement the `Copy` trait | move occurs because `a` has type `&mut U`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -123,7 +123,7 @@ LL | let a @ &mut (ref mut b, ref mut c) = &mut (U, U);
| | | | | |
| | value borrowed here after move | | value borrowed here after move
| value moved into `a` here | value moved into `a` here
| move occurs because `a` has type `&mut (U, U)` which does not implement the `Copy` trait | move occurs because `a` has type `&mut (U, U)`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |

2
tests/ui/pattern/bindings-after-at/default-binding-modes-both-sides-independent.stderr
View File

@ -29,7 +29,7 @@ LL | Ok(ref a @ b) | Err(b @ ref a) => {
| ^ ----- value borrowed here after move | ^ ----- value borrowed here after move
| | | |
| value moved into `b` here | value moved into `b` here
| move occurs because `b` has type `NotCopy` which does not implement the `Copy` trait | move occurs because `b` has type `NotCopy`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |

4
tests/ui/suggestions/ref-pattern-binding.stderr
View File

@ -5,7 +5,7 @@ LL | let _moved @ ref _from = String::from("foo");
| ^^^^^^ --------- value borrowed here after move | ^^^^^^ --------- value borrowed here after move
| | | |
| value moved into `_moved` here | value moved into `_moved` here
| move occurs because `_moved` has type `String` which does not implement the `Copy` trait | move occurs because `_moved` has type `String`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |
@ -35,7 +35,7 @@ LL | let _moved @ S { ref f } = S { f: String::from("foo") };
| ^^^^^^ ----- value borrowed here after move | ^^^^^^ ----- value borrowed here after move
| | | |
| value moved into `_moved` here | value moved into `_moved` here
| move occurs because `_moved` has type `S` which does not implement the `Copy` trait | move occurs because `_moved` has type `S`, which does not implement the `Copy` trait
| |
help: borrow this binding in the pattern to avoid moving the value help: borrow this binding in the pattern to avoid moving the value
| |