Kristian Kilpi wrote: > > What if we drop out the 'invariant' keyword, and simply define that > aliasing > is illegal (by default) and result in undefined behaviour? That would pretty much invalidate the use of slicing, which is one of the most powerful features of the language. Sean