<pre> use std; import std::option::*; fn mutator(&mutable t[@int] x) { x = some(@0); } fn main() { mutator(none); } </pre> passes the alias checker, but shouldn't. When the program is run, it leaks memory.