{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":")"}]}
) -> DataId {
    trait_ref: Option<ExistentialTraitRef<'tcx>>,
    let alloc_id = tcx.vtable_allocation((ty, trait_ref));