{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":"ty,"}]}
            ty,
        let alloc_id = self.tcx.vtable_allocation((
            trait_ref.map(|principal| self.tcx.instantiate_bound_regions_with_erased(principal)),