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