diff --git a/text/1211-mir.md b/text/1211-mir.md index adf8b9095a5..1764f2da231 100644 --- a/text/1211-mir.md +++ b/text/1211-mir.md @@ -137,7 +137,7 @@ re-encode in the form of repeated logic: precise patterns in use. This is all vastly simplified and explicit in MIR. -One thing the current MIR does not make explicit as explicit as it +One thing the current MIR does not make as explicit as it could is when something is *moved*. For by-value uses of a value, the code must still consult the type of the value to decide if that is a move or not. This could be made more explicit in the IR.