As part of the work I'm doing on preparing a region proposal, I wanted
to spin off a part of it which proposed to address Dan's bug [1] without
the need for alias analysis. The idea is fairly simple. I've written
it up on the Wiki:
https://github.com/mozilla/rust/wiki/Proposal-to-address-Dan%27s-bug
I would appreciate feedback. I am pretty sure that the idea is sound,
but the problem is subtle and I may be missing something, so that kind
of feedback would be particularly helpful! Also, I would like to know
what else alias analysis is used for besides Dan's bug (hopefully those
remaining uses can be addressed via regions).
thanks,
Niko
[1] if you don't know what Dan's bug is, please read the wiki page.
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev
