We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c4ac836 commit 75291eeCopy full SHA for 75291ee
compiler/rustc_typeck/src/expr_use_visitor.rs
@@ -30,7 +30,9 @@ pub trait Delegate<'tcx> {
30
// on `mode`. Where `diag_expr_id` is the id used for diagnostics for `place`.
31
//
32
// Use of a `Copy` type in a ByValue context is considered a use
33
- // by `ImmBorrow` and `borrow` is called instead.
+ // by `ImmBorrow` and `borrow` is called instead. This is because
34
+ // a shared borrow is the "minimum access" that would be needed
35
+ // to perform a copy.
36
37
38
// The parameter `diag_expr_id` indicates the HIR id that ought to be used for
0 commit comments