{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"{"}]}
                        {
                            && let ty::Dynamic(data, _, ty::Dyn) = args.type_at(0).kind()
                            mk_dyn_vtable(data.principal())