{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"GlobalAlloc::VTable(ty.stable(tables,"}]}
                GlobalAlloc::VTable(ty.stable(tables, cx), dyn_ty.principal().stable(tables, cx))
                // FIXME: Should we record the whole vtable?
            }