TimelyDataflow / timely-dataflow

A modular implementation of timely dataflow in Rust
MIT License
3.25k stars 273 forks source link

Complete PushInto implementations #564

Closed antiguru closed 3 months ago

antiguru commented 3 months ago

This adds some PushInto implementations we forgot about.

antiguru commented 3 months ago

Blanket for all types does not work, unsurprisingly:

error[E0275]: overflow evaluating the requirement `TimelyStack<&&&&&&...>: Sized`
   |
   = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`timely_container`)
note: required for `&'a &_` to implement `for<'a> PushInto<TimelyStack<&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&_>>`
  --> container/src/lib.rs:66:12
   |
66 | impl<T, C> PushInto<C> for &&T where for<'a> &'a T: PushInto<C> {
   |         -  ^^^^^^^^^^^     ^^^
   |         |
   |         unsatisfied trait bound introduced here
   = note: 125 redundant requirements hidden
   = note: required for `&'a &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&_` to implement `for<'a> PushInto<TimelyStack<&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&_>>`