gistfile1.txt

enum t {
    ty_nil,
}

fn mk_nil<C:ty_ops>(cx: C) -> t {
    cx.mk()
}

iface ty_ops {
    fn mk() -> t;
}

impl of ty_ops for () {
    fn mk() -> t {
        ty_nil
    }
}

fn main() {
    let fn_env = fn@() {
        mk_nil(());
    };
}