On 2/7/2012 3:24 PM, Niko Matsakis wrote:
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).
Hm. I am confused at the description of the "hole" in the type system. I was under the impression that this was the distinction between immutable values and immutably-rooted values (those contained within a path-of-immutable-references). Am I misunderstanding?
-Graydon _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
