Update for latest Rust by using new GC boxes