Выделенное — это временное чудище. Идет обкатка концепции и пока то, как этот концепция выглядит, не критично.
P>Новые типы массивов о_О
Вот как раз модель памяти Rust очень удобная (особенно если ты много писал на C/C++ и надо писать параллельный код). Как минимум попортить чужую память будет сложно.
P>а что будет если так написать? P>let x: ~[int] = &[0];