// option. This file may not be copied, modified, or distributed
// except according to those terms.
-#![feature(managed_boxes)]
+#![allow(unknown_features)]
+#![feature(box_syntax)]
-use std::gc::{Gc, GC};
+enum list { cons(int, Box<list>), nil, }
-enum list { cons(int, Gc<list>), nil, }
-
-pub fn main() { cons(10, box(GC) cons(11, box(GC) cons(12, box(GC) nil))); }
+pub fn main() { list::cons(10, box list::cons(11, box list::cons(12, box list::nil))); }