File tree 1 file changed +3
-4
lines changed 1 file changed +3
-4
lines changed Original file line number Diff line number Diff line change @@ -118,10 +118,9 @@ fn compute(input: &u32, output: &mut u32) {
118
118
}
119
119
```
120
120
121
- We're still relying on alias analysis to assume that ` temp ` doesn't alias
122
- ` input ` , but the proof is much simpler: the value of a local variable can't be
123
- aliased by things that existed before it was declared. This is an assumption
124
- every language freely makes, and so this version of the function could be
121
+ We're still relying on alias analysis to assume that ` temp ` doesn't alias ` input ` ,
122
+ but the proof is much simpler: the value of a local variable cannot alias things that existed before it was declared.
123
+ This is an assumption every language freely makes, and so this version of the function could be
125
124
optimized the way we want in any language.
126
125
127
126
This is why the definition of "alias" that Rust will use likely involves some
You can’t perform that action at this time.
0 commit comments