{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"GlobalAlloc::VTable(ty,"}]}
            GlobalAlloc::VTable(ty, dyn_ty) => (ty, dyn_ty.principal()),
        match *self {
            _ => bug!("expected vtable, got {:?}", self),