{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":")"}]}
    ) -> InterpResult<$tcx> {
        _instance: ty::Instance<$tcx>,
        // For now we don't do any checking here. We can't use `tcx.sess` because that can differ