user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Correct two more analyses of mutable? as mutable

Browse source 
I can't come up with test cases but this seems correct.
This commit is contained in:
Brian Anderson 2011-10-17 16:29:26 -07:00
parent 4d9d889dbf
commit 1a64153b24
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/comp/middle/mut.rs
View file

@ -19,11 +19,11 @@ fn expr_root(tcx: ty::ctxt, ex: @expr, autoderef: bool) ->
while true {
alt ty::struct(tcx, t) {
ty::ty_box(mt) {
ds += [@{mut: mt.mut != imm, kind: unbox, outer_t: t}];
ds += [@{mut: mt.mut == mut, kind: unbox, outer_t: t}];
t = mt.ty;
}
ty::ty_uniq(mt) {
ds += [@{mut: mt.mut != imm, kind: unbox, outer_t: t}];
ds += [@{mut: mt.mut == mut, kind: unbox, outer_t: t}];
t = mt.ty;
}
ty::ty_res(_, inner, tps) {