Rust project goals: Immobile types and guaranteed destructors

We propose to introduce new traits that describe what operations are possible on a type. Today Rust assumes all types can be moved (relocated in memory) and forgotten (via mem::forget ). We will intro...