Skip to content

Commit 105f582

Browse files
Update src/design_notes/copy_ergonomics.md
Co-authored-by: Josh Triplett <[email protected]>
1 parent e50f4de commit 105f582

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/design_notes/copy_ergonomics.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -107,6 +107,7 @@ structures).
107107
This could plausibly be done with moved values as well, so long as the
108108
semantics match the syntax (e.g. `wants_ref(foo)` acts like `wants_ref(&{foo})`)
109109
similar to how one can pass `&mut` to something that only wants `&`.
110+
This would be a tradeoff: in some cases people may want the type-checker to flag such cases and require explicitly taking a reference, while in other cases people may want the compiler to automatically make such code work. We would want to consider and evaluate this tradeoff, and whether we can usefully separate such cases.
110111

111112
### History
112113

0 commit comments

Comments
 (0)