{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":")"}]}
    ) -> InterpResult<'tcx, Pointer<Option<M::Provenance>>> {
        dyn_ty: &'tcx ty::List<ty::PolyExistentialPredicate<'tcx>>,
        trace!("get_vtable(ty={ty:?}, dyn_ty={dyn_ty:?})");