{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"ty,"}]}
                                ty,
                            .global_alloc(self.tcx.vtable_allocation((
                                dyn_ty.principal().map(|principal| {