From cc88469a4834faa179725d52e2beb7ab677bdb37 Mon Sep 17 00:00:00 2001
From: Frank McSherry <fmcsherry@me.com>
Date: Thu, 16 Feb 2023 15:41:56 -0500
Subject: [PATCH] Generalize bounds on dynamic timestamp actions (#379)

---
 src/dynamic/mod.rs | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/dynamic/mod.rs b/src/dynamic/mod.rs
index aadefb05a..b637666cf 100644
--- a/src/dynamic/mod.rs
+++ b/src/dynamic/mod.rs
@@ -13,7 +13,7 @@
 
 pub mod pointstamp;
 
-use timely::dataflow::{Scope, scopes::Child};
+use timely::dataflow::Scope;
 use timely::order::Product;
 use timely::progress::Timestamp;
 use timely::dataflow::operators::generic::builder_rc::OperatorBuilder;
@@ -26,12 +26,13 @@ use collection::AsCollection;
 use dynamic::pointstamp::PointStamp;
 use dynamic::pointstamp::PointStampSummary;
 
-impl<G, D, R, T> Collection<Child<'_, G, Product<G::Timestamp, PointStamp<T>>>, D, R> 
+impl<G, D, R, T, TOuter> Collection<G, D, R>
 where
-    G: Scope,
+    G: Scope<Timestamp = Product<TOuter, PointStamp<T>>>,
     D: Data,
     R: Semigroup,
     T: Timestamp+Default,
+    TOuter: Timestamp,
 {
     /// Enters a dynamically created scope which has `level` timestamp coordinates.
     pub fn enter_dynamic(&self, _level: usize) -> Self {