TimelyDataflow / differential-dataflow

An implementation of differential dataflow using timely dataflow on Rust.
MIT License
2.56k stars 183 forks source link

Replace covariant PartialOrd with reborrow() #500

Closed frankmcsherry closed 4 months ago

frankmcsherry commented 4 months ago

Batch containers have required that their items are comparable across lifetimes. This seems to confound Rust when presented with the Ord constraint in addition. Another option is to remove the constraint, and require that the contain know how to reborrow its items, narrowing their lifetimes.

At the moment this is a thing to consider; there are other ways to achieve the same goal we think (e.g. removing Ord instead).

cc: @antiguru