[INFO] fetching crate differential-dataflow-master 0.13.0-dev.1... [INFO] checking differential-dataflow-master-0.13.0-dev.1 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] extracting crate differential-dataflow-master 0.13.0-dev.1 into /workspace/builds/worker-6-tc2/source [INFO] started tweaking crates.io crate differential-dataflow-master 0.13.0-dev.1 [INFO] finished tweaking crates.io crate differential-dataflow-master 0.13.0-dev.1 [INFO] tweaked toml for crates.io crate differential-dataflow-master 0.13.0-dev.1 written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate differential-dataflow-master 0.13.0-dev.1 on toolchain b6bca0d7327839b5e3f7a7779947cb9113d08917 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate differential-dataflow-master 0.13.0-dev.1 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 37ba5c72fa8aa13021eafbba7db078835a08b69475b0ab02cc718e05e5142ffe [INFO] running `Command { std: "docker" "start" "-a" "37ba5c72fa8aa13021eafbba7db078835a08b69475b0ab02cc718e05e5142ffe", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "37ba5c72fa8aa13021eafbba7db078835a08b69475b0ab02cc718e05e5142ffe", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "37ba5c72fa8aa13021eafbba7db078835a08b69475b0ab02cc718e05e5142ffe", kill_on_drop: false }` [INFO] [stdout] 37ba5c72fa8aa13021eafbba7db078835a08b69475b0ab02cc718e05e5142ffe [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Zstrict-projection-item-bounds" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b6bca0d7327839b5e3f7a7779947cb9113d08917" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b4f0a044d20f1fa9b2bf9a9bf026e2516c200e09638da2562cccd52d00ec6b71 [INFO] running `Command { std: "docker" "start" "-a" "b4f0a044d20f1fa9b2bf9a9bf026e2516c200e09638da2562cccd52d00ec6b71", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.70 [INFO] [stderr] Compiling libc v0.2.151 [INFO] [stderr] Compiling futures-core v0.3.29 [INFO] [stderr] Compiling serde v1.0.193 [INFO] [stderr] Compiling futures-task v0.3.29 [INFO] [stderr] Compiling futures-channel v0.3.29 [INFO] [stderr] Checking futures-sink v0.3.29 [INFO] [stderr] Compiling futures-util v0.3.29 [INFO] [stderr] Compiling pkg-config v0.3.27 [INFO] [stderr] Compiling indexmap v2.1.0 [INFO] [stderr] Checking futures-io v0.3.29 [INFO] [stderr] Compiling paste v1.0.14 [INFO] [stderr] Compiling crossbeam-utils v0.8.17 [INFO] [stderr] Checking memchr v2.6.4 [INFO] [stderr] Compiling winnow v0.5.28 [INFO] [stderr] Compiling once_cell v1.19.0 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Compiling cc v1.0.83 [INFO] [stderr] Checking unicode-width v0.1.11 [INFO] [stderr] Compiling syn v2.0.41 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking getopts v0.2.21 [INFO] [stderr] Compiling rdkafka-sys v2.1.0+1.5.0 [INFO] [stderr] Checking crossbeam-channel v0.5.9 [INFO] [stderr] Checking timely-bytes-master v0.13.0-dev.1 [INFO] [stderr] Checking columnation-master v0.1.0-dev.1 [INFO] [stderr] Checking abomonation v0.7.3 [INFO] [stderr] Compiling serde_json v1.0.108 [INFO] [stderr] Checking timely-logging-master v0.13.0-dev.1 [INFO] [stderr] Checking tokio v0.2.25 [INFO] [stderr] Checking memmap v0.5.2 [INFO] [stderr] Checking rand v0.4.6 [INFO] [stderr] Checking hashbrown v0.14.3 [INFO] [stderr] Checking either v1.9.0 [INFO] [stderr] Checking log v0.4.20 [INFO] [stderr] Checking graph_map v0.1.0 [INFO] [stderr] Checking itertools v0.7.11 [INFO] [stderr] Compiling libz-sys v1.1.12 [INFO] [stderr] Compiling toml_edit v0.19.15 [INFO] [stderr] Compiling synstructure v0.12.6 [INFO] [stderr] Compiling serde_derive v1.0.193 [INFO] [stderr] Compiling futures-macro v0.3.29 [INFO] [stderr] Compiling abomonation_derive v0.5.0 [INFO] [stderr] Compiling proc-macro-crate v1.3.1 [INFO] [stderr] Compiling num_enum_derive v0.5.11 [INFO] [stderr] Checking num_enum v0.5.11 [INFO] [stderr] Checking futures-executor v0.3.29 [INFO] [stderr] Checking futures v0.3.29 [INFO] [stderr] Checking timely-communication-master v0.13.0-dev.1 [INFO] [stderr] Checking timely-container-master v0.13.0-dev.1 [INFO] [stderr] Checking bincode v1.3.3 [INFO] [stderr] Checking timely-master v0.13.0-dev.1 [INFO] [stderr] Checking differential-dataflow-master v0.13.0-dev.1 (/opt/rustwide/workdir) [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `PerKeyCompute` [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `PerKeyCompute` [INFO] [stdout] | [INFO] [stdout] ::: src/operators/reduce.rs:630:7 [INFO] [stdout] | [INFO] [stdout] 630 | trait PerKeyCompute<'a, C1, C2, C3> [INFO] [stdout] | ------------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] --> src/operators/reduce.rs:710:9 [INFO] [stdout] | [INFO] [stdout] 710 | fn new() -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ cannot satisfy `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `HistoryReplayer` [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `HistoryReplayer` [INFO] [stdout] | [INFO] [stdout] ::: src/operators/reduce.rs:677:16 [INFO] [stdout] | [INFO] [stdout] 677 | pub struct HistoryReplayer<'a, C1, C2, C3>//V1, V2, T, R1, R2> [INFO] [stdout] | --------------- required by a bound in this struct [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] --> src/operators/reduce.rs:726:9 [INFO] [stdout] | [INFO] [stdout] 726 | / fn compute( [INFO] [stdout] 727 | | &mut self, [INFO] [stdout] 728 | | key: C1::Key<'a>, [INFO] [stdout] 729 | | (source_cursor, source_storage): (&mut C1, &'a C1::Storage), [INFO] [stdout] ... | [INFO] [stdout] 742 | | &mut Vec<(C2::ValOwned, C2::Diff)>, [INFO] [stdout] 743 | | ) [INFO] [stdout] | |_____________^ cannot satisfy `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `HistoryReplayer` [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `HistoryReplayer` [INFO] [stdout] | [INFO] [stdout] ::: src/operators/reduce.rs:677:16 [INFO] [stdout] | [INFO] [stdout] 677 | pub struct HistoryReplayer<'a, C1, C2, C3>//V1, V2, T, R1, R2> [INFO] [stdout] | --------------- required by a bound in this struct [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] --> src/operators/reduce.rs:700:26 [INFO] [stdout] | [INFO] [stdout] 700 | impl<'a, C1, C2, C3> PerKeyCompute<'a, C1, C2, C3> for HistoryReplayer<'a, C1, C2, C3> [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot satisfy `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `PerKeyCompute` [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `PerKeyCompute` [INFO] [stdout] | [INFO] [stdout] ::: src/operators/reduce.rs:630:7 [INFO] [stdout] | [INFO] [stdout] 630 | trait PerKeyCompute<'a, C1, C2, C3> [INFO] [stdout] | ------------- required by a bound in this trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] --> src/operators/reduce.rs:710:21 [INFO] [stdout] | [INFO] [stdout] 710 | fn new() -> Self { [INFO] [stdout] | ^^^^ cannot satisfy `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `HistoryReplayer` [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `HistoryReplayer` [INFO] [stdout] | [INFO] [stdout] ::: src/operators/reduce.rs:677:16 [INFO] [stdout] | [INFO] [stdout] 677 | pub struct HistoryReplayer<'a, C1, C2, C3>//V1, V2, T, R1, R2> [INFO] [stdout] | --------------- required by a bound in this struct [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] --> src/operators/reduce.rs:727:13 [INFO] [stdout] | [INFO] [stdout] 727 | &mut self, [INFO] [stdout] | ^^^^^^^^^ cannot satisfy `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `HistoryReplayer` [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `HistoryReplayer` [INFO] [stdout] | [INFO] [stdout] ::: src/operators/reduce.rs:677:16 [INFO] [stdout] | [INFO] [stdout] 677 | pub struct HistoryReplayer<'a, C1, C2, C3>//V1, V2, T, R1, R2> [INFO] [stdout] | --------------- required by a bound in this struct [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::KeyOwned == K` [INFO] [stdout] --> src/operators/reduce.rs:301:14 [INFO] [stdout] | [INFO] [stdout] 282 | impl ReduceCore for Collection [INFO] [stdout] | - expected this type parameter [INFO] [stdout] ... [INFO] [stdout] 301 | .reduce_core(name, logic) [INFO] [stdout] | ^^^^^^^^^^^ expected type parameter `K`, found associated type [INFO] [stdout] | [INFO] [stdout] = note: expected type parameter `K` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: you might be missing a type parameter or trait bound [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Key<'_> as MyTrait<'_>>::Owned == ::KeyOwned` [INFO] [stdout] --> src/operators/reduce.rs:482:78 [INFO] [stdout] | [INFO] [stdout] 308 | pub fn reduce_trace(trace: &Arranged, name: &str, mut logic: L) -> Arranged> [INFO] [stdout] | -- -- found type parameter [INFO] [stdout] | | [INFO] [stdout] | expected type parameter [INFO] [stdout] ... [INFO] [stdout] 482 | let key1 = exposed.get(exposed_position).map(|x| <_ as MyTrait>::borrow_as(&x.0)); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected type parameter `T1`, found type parameter `T2` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::KeyOwned` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound [INFO] [stdout] = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/operators/reduce.rs:498:106 [INFO] [stdout] | [INFO] [stdout] 308 | pub fn reduce_trace(trace: &Arranged, name: &str, mut logic: L) -> Arranged> [INFO] [stdout] | -- -- expected type parameter [INFO] [stdout] | | [INFO] [stdout] | found type parameter [INFO] [stdout] ... [INFO] [stdout] 498 | while exposed.get(exposed_position).map(|x| x.0.borrow()).map(|k| key.equals(k)).unwrap_or(false) { [INFO] [stdout] | ------ ^ expected `&::KeyOwned`, found `&::KeyOwned` [INFO] [stdout] | | [INFO] [stdout] | arguments to this method are incorrect [INFO] [stdout] | [INFO] [stdout] = note: expected reference `&::KeyOwned` [INFO] [stdout] found reference `&::KeyOwned` [INFO] [stdout] = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound [INFO] [stdout] = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters [INFO] [stdout] note: method defined here [INFO] [stdout] --> src/trace/cursor/mod.rs:33:8 [INFO] [stdout] | [INFO] [stdout] 33 | fn equals(&self, other: &Self::Owned) -> bool { [INFO] [stdout] | ^^^^^^ ------------------- [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: can't compare `::Val<'_>` with `<_ as cursor::Cursor>::Val<'b>` [INFO] [stdout] --> src/operators/reduce.rs:468:43 [INFO] [stdout] | [INFO] [stdout] 468 | let mut thinker = history_replay::HistoryReplayer::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no implementation for `::Val<'_> < <_ as cursor::Cursor>::Val<'b>` and `::Val<'_> > <_ as cursor::Cursor>::Val<'b>` [INFO] [stdout] | [INFO] [stdout] = help: the trait `for<'b> PartialOrd<<_ as cursor::Cursor>::Val<'b>>` is not implemented for `::Val<'_>` [INFO] [stdout] help: the trait `PerKeyCompute<'_, C1, C2, C3>` is implemented for `HistoryReplayer<'_, C1, C2, C3>` [INFO] [stdout] --> src/operators/reduce.rs:700:5 [INFO] [stdout] | [INFO] [stdout] 700 | / impl<'a, C1, C2, C3> PerKeyCompute<'a, C1, C2, C3> for HistoryReplayer<'a, C1, C2, C3> [INFO] [stdout] 701 | | where [INFO] [stdout] 702 | | C1: Cursor, [INFO] [stdout] 703 | | C2: Cursor = C1::Key<'a>, Time = C1::Time>, [INFO] [stdout] ... | [INFO] [stdout] 707 | | C1::Diff: Semigroup, [INFO] [stdout] 708 | | C2::Diff: Semigroup, [INFO] [stdout] | |____________________________^ [INFO] [stdout] note: this is a known limitation of the trait solver that will be lifted in the future [INFO] [stdout] --> src/operators/reduce.rs:468:43 [INFO] [stdout] | [INFO] [stdout] 468 | let mut thinker = history_replay::HistoryReplayer::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ try adding turbofish arguments to this expression to specify the types manually, even if it's redundant [INFO] [stdout] note: required for `HistoryReplayer<'_, ::Cursor, _, _>` to implement `PerKeyCompute<'_, ::Cursor, _, _>` [INFO] [stdout] --> src/operators/reduce.rs:700:26 [INFO] [stdout] | [INFO] [stdout] 700 | impl<'a, C1, C2, C3> PerKeyCompute<'a, C1, C2, C3> for HistoryReplayer<'a, C1, C2, C3> [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/trace/cursor/mod.rs:62:72 [INFO] [stdout] | [INFO] [stdout] 62 | type Val<'a>: Copy + Clone + MyTrait<'a, Owned = Self::ValOwned> + for<'b> PartialOrd>; [INFO] [stdout] | --------------------------------- unsatisfied trait bound introduced here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: can't compare `::Val<'_>` with `<_ as cursor::Cursor>::Val<'b>` [INFO] [stdout] --> src/operators/reduce.rs:509:33 [INFO] [stdout] | [INFO] [stdout] 507 | ... let _counters = thinker.compute( [INFO] [stdout] | ------- required by a bound introduced by this call [INFO] [stdout] 508 | ... key, [INFO] [stdout] 509 | ... (&mut source_cursor, source_storage), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no implementation for `::Val<'_> < <_ as cursor::Cursor>::Val<'b>` and `::Val<'_> > <_ as cursor::Cursor>::Val<'b>` [INFO] [stdout] | [INFO] [stdout] = help: the trait `for<'b> PartialOrd<<_ as cursor::Cursor>::Val<'b>>` is not implemented for `::Val<'_>` [INFO] [stdout] note: this is a known limitation of the trait solver that will be lifted in the future [INFO] [stdout] --> src/operators/reduce.rs:509:33 [INFO] [stdout] | [INFO] [stdout] 507 | ... let _counters = thinker.compute( [INFO] [stdout] | _______________________________________- [INFO] [stdout] 508 | | ... key, [INFO] [stdout] 509 | | ... (&mut source_cursor, source_storage), [INFO] [stdout] | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait solver is unable to infer the generic types that should be inferred from this argument [INFO] [stdout] 510 | | ... (&mut output_cursor, output_storage), [INFO] [stdout] ... | [INFO] [stdout] 516 | | ... &mut new_interesting_times, [INFO] [stdout] 517 | | ... ); [INFO] [stdout] | |_______________________- add turbofish arguments to this call to specify the types manually, even if it's redundant [INFO] [stdout] note: required by a bound in `PerKeyCompute::compute` [INFO] [stdout] --> src/trace/cursor/mod.rs:62:72 [INFO] [stdout] | [INFO] [stdout] 62 | type Val<'a>: Copy + Clone + MyTrait<'a, Owned = Self::ValOwned> + for<'b> PartialOrd>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `PerKeyCompute::compute` [INFO] [stdout] | [INFO] [stdout] ::: src/operators/reduce.rs:641:8 [INFO] [stdout] | [INFO] [stdout] 641 | fn compute( [INFO] [stdout] | ------- required by a bound in this associated function [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: can't compare `::Val<'_>` with `<_ as cursor::Cursor>::Val<'b>` [INFO] [stdout] --> src/operators/reduce.rs:507:53 [INFO] [stdout] | [INFO] [stdout] 507 | ... let _counters = thinker.compute( [INFO] [stdout] | ^^^^^^^ no implementation for `::Val<'_> < <_ as cursor::Cursor>::Val<'b>` and `::Val<'_> > <_ as cursor::Cursor>::Val<'b>` [INFO] [stdout] | [INFO] [stdout] = help: the trait `for<'b> PartialOrd<<_ as cursor::Cursor>::Val<'b>>` is not implemented for `::Val<'_>` [INFO] [stdout] note: this is a known limitation of the trait solver that will be lifted in the future [INFO] [stdout] --> src/operators/reduce.rs:507:53 [INFO] [stdout] | [INFO] [stdout] 507 | ... let _counters = thinker.compute( [INFO] [stdout] | ^^^^^^^ try adding turbofish arguments to this expression to specify the types manually, even if it's redundant [INFO] [stdout] note: required by a bound in `HistoryReplayer` [INFO] [stdout] --> src/trace/cursor/mod.rs:62:72 [INFO] [stdout] | [INFO] [stdout] 62 | type Val<'a>: Copy + Clone + MyTrait<'a, Owned = Self::ValOwned> + for<'b> PartialOrd>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `HistoryReplayer` [INFO] [stdout] | [INFO] [stdout] ::: src/operators/reduce.rs:677:16 [INFO] [stdout] | [INFO] [stdout] 677 | pub struct HistoryReplayer<'a, C1, C2, C3>//V1, V2, T, R1, R2> [INFO] [stdout] | --------------- required by a bound in this struct [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as Cursor>::KeyOwned == <... as TraceReader>::KeyOwned` [INFO] [stdout] --> src/operators/reduce.rs:468:43 [INFO] [stdout] | [INFO] [stdout] 308 | pub fn reduce_trace(trace: &Arranged, name: &str, mut logic: L) -> Arranged> [INFO] [stdout] | -- -- expected type parameter [INFO] [stdout] | | [INFO] [stdout] | found type parameter [INFO] [stdout] ... [INFO] [stdout] 468 | let mut thinker = history_replay::HistoryReplayer::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type mismatch resolving ` as Cursor>::KeyOwned == <... as TraceReader>::KeyOwned` [INFO] [stdout] | [INFO] [stdout] note: expected this to be `::KeyOwned` [INFO] [stdout] --> src/trace/cursor/cursor_list.rs:89:21 [INFO] [stdout] | [INFO] [stdout] 89 | type KeyOwned = C::KeyOwned; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] = note: expected associated type `::KeyOwned` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound [INFO] [stdout] = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required for `HistoryReplayer<'_, ::Cursor, ..., ...>` to implement `PerKeyCompute<'_, ::Cursor, ..., ...>` [INFO] [stdout] --> src/operators/reduce.rs:700:26 [INFO] [stdout] | [INFO] [stdout] 700 | impl<'a, C1, C2, C3> PerKeyCompute<'a, C1, C2, C3> for HistoryReplayer<'a, C1, C2, C3> [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ---------------------- unsatisfied trait bound introduced here [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/differential_dataflow-21d0cbeb0b0ddde2.long-type-4118251500124485475.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving ` as Cursor>::KeyOwned == <... as TraceReader>::KeyOwned` [INFO] [stdout] --> src/operators/reduce.rs:509:33 [INFO] [stdout] | [INFO] [stdout] 308 | pub fn reduce_trace(trace: &Arranged, name: &str, mut logic: L) -> Arranged> [INFO] [stdout] | -- -- expected type parameter [INFO] [stdout] | | [INFO] [stdout] | found type parameter [INFO] [stdout] ... [INFO] [stdout] 507 | let _counters = thinker.compute( [INFO] [stdout] | ------- required by a bound introduced by this call [INFO] [stdout] 508 | key, [INFO] [stdout] 509 | (&mut source_cursor, source_storage), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type mismatch resolving ` as Cursor>::KeyOwned == <... as TraceReader>::KeyOwned` [INFO] [stdout] | [INFO] [stdout] note: expected this to be `::KeyOwned` [INFO] [stdout] --> src/trace/cursor/cursor_list.rs:89:21 [INFO] [stdout] | [INFO] [stdout] 89 | type KeyOwned = C::KeyOwned; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] = note: expected associated type `::KeyOwned` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound [INFO] [stdout] = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required for `HistoryReplayer<'_, ::Cursor, ..., ...>` to implement `PerKeyCompute<'_, ::Cursor, ..., ...>` [INFO] [stdout] --> src/operators/reduce.rs:700:26 [INFO] [stdout] | [INFO] [stdout] 700 | impl<'a, C1, C2, C3> PerKeyCompute<'a, C1, C2, C3> for HistoryReplayer<'a, C1, C2, C3> [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ---------------------- unsatisfied trait bound introduced here [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/differential_dataflow-21d0cbeb0b0ddde2.long-type-4118251500124485475.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/operators/reduce.rs:526:51 [INFO] [stdout] | [INFO] [stdout] 308 | pub fn reduce_trace(trace: &Arranged, name: &str, mut logic: L) -> Arranged> [INFO] [stdout] | -- -- found type parameter [INFO] [stdout] | | [INFO] [stdout] | expected type parameter [INFO] [stdout] ... [INFO] [stdout] 526 | interesting.push((key.into_owned(), time)); [INFO] [stdout] | ^^^^^^^^^^^^^^^^ expected type parameter `T1`, found type parameter `T2` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::KeyOwned` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound [INFO] [stdout] = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0308]: mismatched types [INFO] [stdout] --> src/operators/reduce.rs:536:60 [INFO] [stdout] | [INFO] [stdout] 308 | pub fn reduce_trace(trace: &Arranged, name: &str, mut logic: L) -> Arranged> [INFO] [stdout] | -- -- found type parameter [INFO] [stdout] | | [INFO] [stdout] | expected type parameter [INFO] [stdout] ... [INFO] [stdout] 536 | builders[index].push(((key.into_owned(), val), time, diff)); [INFO] [stdout] | ^^^^^^^^^^^^^^^^ expected type parameter `T1`, found type parameter `T2` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::KeyOwned` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound [INFO] [stdout] = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `<::Key<'_> as MyTrait<'_>>::Owned == ::KeyOwned` [INFO] [stdout] --> src/operators/reduce.rs:711:13 [INFO] [stdout] | [INFO] [stdout] 711 | HistoryReplayer { [INFO] [stdout] | ^^^^^^^^^^^^^^^ cannot satisfy `<::Key<'_> as MyTrait<'_>>::Owned == ::KeyOwned` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `HistoryReplayer` [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `HistoryReplayer` [INFO] [stdout] | [INFO] [stdout] ::: src/operators/reduce.rs:677:16 [INFO] [stdout] | [INFO] [stdout] 677 | pub struct HistoryReplayer<'a, C1, C2, C3>//V1, V2, T, R1, R2> [INFO] [stdout] | --------------- required by a bound in this struct [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] --> src/operators/reduce.rs:755:36 [INFO] [stdout] | [INFO] [stdout] 755 | let mut batch_replay = self.batch_history.replay_key(batch_cursor, batch_storage, key, |time| time.clone()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot satisfy `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in ` as PerKeyCompute<'a, C1, C2, C3>>` [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in ` as PerKeyCompute<'a, C1, C2, C3>>` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::KeyOwned == K` [INFO] [stdout] --> src/operators/join.rs:308:14 [INFO] [stdout] | [INFO] [stdout] 289 | impl JoinCore for Collection [INFO] [stdout] | - expected this type parameter [INFO] [stdout] ... [INFO] [stdout] 308 | .join_core(stream2, result) [INFO] [stdout] | ^^^^^^^^^ expected type parameter `K`, found associated type [INFO] [stdout] | [INFO] [stdout] = note: expected type parameter `K` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: you might be missing a type parameter or trait bound [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::KeyOwned == K` [INFO] [stdout] --> src/operators/join.rs:320:31 [INFO] [stdout] | [INFO] [stdout] 289 | impl JoinCore for Collection [INFO] [stdout] | - expected this type parameter [INFO] [stdout] ... [INFO] [stdout] 320 | self.arrange_by_key().join_core_internal_unsafe(stream2, result) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ expected type parameter `K`, found associated type [INFO] [stdout] | [INFO] [stdout] = note: expected type parameter `K` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: you might be missing a type parameter or trait bound [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as BatchReader>::Cursor as Cursor>::KeyOwned == <... as TraceReader>::KeyOwned` [INFO] [stdout] --> src/operators/join.rs:450:49 [INFO] [stdout] | [INFO] [stdout] 332 | pub fn join_traces(arranged1: &Arranged, arranged2: &Arranged, mut result: L) -> Collection [INFO] [stdout] | -- -- expected type parameter [INFO] [stdout] | | [INFO] [stdout] | found type parameter [INFO] [stdout] ... [INFO] [stdout] 450 | todo1.push_back(Deferred::new(trace2_cursor, trace2_storage, batch1_cursor, batch1.clone(), capabil... [INFO] [stdout] | ^^^^^^^^ expected type parameter `T2`, found type parameter `T1` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::KeyOwned` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound [INFO] [stdout] = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/differential_dataflow-21d0cbeb0b0ddde2.long-type-17352878428805465864.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<<... as BatchReader>::Cursor as Cursor>::KeyOwned == <... as TraceReader>::KeyOwned` [INFO] [stdout] --> src/operators/join.rs:450:49 [INFO] [stdout] | [INFO] [stdout] 332 | ...G, T1, T2, I,L,D,R>(arranged1: &Arranged, arranged2: &Arranged, mut result: L) -> Collection [INFO] [stdout] | -- -- expected type parameter [INFO] [stdout] | | [INFO] [stdout] | found type parameter [INFO] [stdout] ... [INFO] [stdout] 450 | ... todo1.push_back(Deferred::new(trace2_cursor, trace2_storage, batch1_cursor, batch1.clone(), capability.clone())); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected type parameter `T2`, found type parameter `T1` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::KeyOwned` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound [INFO] [stdout] = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/differential_dataflow-21d0cbeb0b0ddde2.long-type-17352878428805465864.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] --> src/operators/join.rs:450:49 [INFO] [stdout] | [INFO] [stdout] 332 | ...G, T1, T2, I,L,D,R>(arranged1: &Arranged, arranged2: &Arranged, mut result: L) -> Collection [INFO] [stdout] | -- -- found type parameter [INFO] [stdout] | | [INFO] [stdout] | expected type parameter [INFO] [stdout] ... [INFO] [stdout] 450 | ... todo1.push_back(Deferred::new(trace2_cursor, trace2_storage, batch1_cursor, batch1.clone(), capability.clone())); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected type parameter `T1`, found type parameter `T2` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::KeyOwned` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound [INFO] [stdout] = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `Deferred` [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Deferred` [INFO] [stdout] | [INFO] [stdout] ::: src/operators/join.rs:586:8 [INFO] [stdout] | [INFO] [stdout] 586 | struct Deferred [INFO] [stdout] | -------- required by a bound in this struct [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] --> src/operators/join.rs:450:33 [INFO] [stdout] | [INFO] [stdout] 332 | ...G, T1, T2, I,L,D,R>(arranged1: &Arranged, arranged2: &Arranged, mut result: L) -> Collection [INFO] [stdout] | -- -- found type parameter [INFO] [stdout] | | [INFO] [stdout] | expected type parameter [INFO] [stdout] ... [INFO] [stdout] 450 | ... todo1.push_back(Deferred::new(trace2_cursor, trace2_storage, batch1_cursor, batch1.clone(), capability.clone())); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected type parameter `T1`, found type parameter `T2` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::KeyOwned` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound [INFO] [stdout] = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `Deferred` [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Deferred` [INFO] [stdout] | [INFO] [stdout] ::: src/operators/join.rs:586:8 [INFO] [stdout] | [INFO] [stdout] 586 | struct Deferred [INFO] [stdout] | -------- required by a bound in this struct [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] --> src/operators/join.rs:371:25 [INFO] [stdout] | [INFO] [stdout] 332 | pub fn join_traces(arranged1: &Arranged, arranged2: &Arranged, mut result: L) -> Collection [INFO] [stdout] | -- -- found type parameter [INFO] [stdout] | | [INFO] [stdout] | expected type parameter [INFO] [stdout] ... [INFO] [stdout] 371 | let mut todo1 = std::collections::VecDeque::new(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ expected type parameter `T1`, found type parameter `T2` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::KeyOwned` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound [INFO] [stdout] = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `Deferred` [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Deferred` [INFO] [stdout] | [INFO] [stdout] ::: src/operators/join.rs:586:8 [INFO] [stdout] | [INFO] [stdout] 586 | struct Deferred [INFO] [stdout] | -------- required by a bound in this struct [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] --> src/operators/join.rs:512:20 [INFO] [stdout] | [INFO] [stdout] 332 | pub fn join_traces(arranged1: &Arranged, arranged2: &Arranged, mut result: L) -> Collection [INFO] [stdout] | -- -- found type parameter [INFO] [stdout] | | [INFO] [stdout] | expected type parameter [INFO] [stdout] ... [INFO] [stdout] 512 | while !todo1.is_empty() && fuel > 0 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ expected type parameter `T1`, found type parameter `T2` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::KeyOwned` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound [INFO] [stdout] = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `Deferred` [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Deferred` [INFO] [stdout] | [INFO] [stdout] ::: src/operators/join.rs:586:8 [INFO] [stdout] | [INFO] [stdout] 586 | struct Deferred [INFO] [stdout] | -------- required by a bound in this struct [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] --> src/operators/join.rs:513:17 [INFO] [stdout] | [INFO] [stdout] 332 | pub fn join_traces(arranged1: &Arranged, arranged2: &Arranged, mut result: L) -> Collection [INFO] [stdout] | -- -- found type parameter [INFO] [stdout] | | [INFO] [stdout] | expected type parameter [INFO] [stdout] ... [INFO] [stdout] 513 | todo1.front_mut().unwrap().work( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ expected type parameter `T1`, found type parameter `T2` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::KeyOwned` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound [INFO] [stdout] = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `Deferred` [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Deferred` [INFO] [stdout] | [INFO] [stdout] ::: src/operators/join.rs:586:8 [INFO] [stdout] | [INFO] [stdout] 586 | struct Deferred [INFO] [stdout] | -------- required by a bound in this struct [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] --> src/operators/join.rs:513:17 [INFO] [stdout] | [INFO] [stdout] 332 | pub fn join_traces(arranged1: &Arranged, arranged2: &Arranged, mut result: L) -> Collection [INFO] [stdout] | -- -- found type parameter [INFO] [stdout] | | [INFO] [stdout] | expected type parameter [INFO] [stdout] ... [INFO] [stdout] 513 | todo1.front_mut().unwrap().work( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ expected type parameter `T1`, found type parameter `T2` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::KeyOwned` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound [INFO] [stdout] = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `Deferred` [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Deferred` [INFO] [stdout] | [INFO] [stdout] ::: src/operators/join.rs:586:8 [INFO] [stdout] | [INFO] [stdout] 586 | struct Deferred [INFO] [stdout] | -------- required by a bound in this struct [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `work` exists for mutable reference `&mut Deferred<::Timestamp, _, ..., ..., _>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/operators/join.rs:513:44 [INFO] [stdout] | [INFO] [stdout] 513 | todo1.front_mut().unwrap().work( [INFO] [stdout] | ---------------------------^^^^ method cannot be called due to unsatisfied trait bounds [INFO] [stdout] | [INFO] [stdout] note: trait bound `<::Key<'a> as MyTrait<'a>>::Owned = ::KeyOwned` was not satisfied [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound introduced here [INFO] [stdout] | [INFO] [stdout] ::: src/operators/join.rs:605:23 [INFO] [stdout] | [INFO] [stdout] 605 | impl Deferred [INFO] [stdout] | ------------------------- [INFO] [stdout] = help: items from traits can only be used if the trait is implemented and in scope [INFO] [stdout] note: `Merger` defines an item `work`, perhaps you need to implement it [INFO] [stdout] --> src/trace/mod.rs:364:1 [INFO] [stdout] | [INFO] [stdout] 364 | pub trait Merger { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/differential_dataflow-21d0cbeb0b0ddde2.long-type-2430140132873484394.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] --> src/operators/join.rs:518:21 [INFO] [stdout] | [INFO] [stdout] 332 | pub fn join_traces(arranged1: &Arranged, arranged2: &Arranged, mut result: L) -> Collection [INFO] [stdout] | -- -- found type parameter [INFO] [stdout] | | [INFO] [stdout] | expected type parameter [INFO] [stdout] ... [INFO] [stdout] 518 | if !todo1.front().unwrap().work_remains() { todo1.pop_front(); } [INFO] [stdout] | ^^^^^^^^^^^^^ expected type parameter `T1`, found type parameter `T2` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::KeyOwned` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound [INFO] [stdout] = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `Deferred` [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Deferred` [INFO] [stdout] | [INFO] [stdout] ::: src/operators/join.rs:586:8 [INFO] [stdout] | [INFO] [stdout] 586 | struct Deferred [INFO] [stdout] | -------- required by a bound in this struct [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] --> src/operators/join.rs:518:21 [INFO] [stdout] | [INFO] [stdout] 332 | pub fn join_traces(arranged1: &Arranged, arranged2: &Arranged, mut result: L) -> Collection [INFO] [stdout] | -- -- found type parameter [INFO] [stdout] | | [INFO] [stdout] | expected type parameter [INFO] [stdout] ... [INFO] [stdout] 518 | if !todo1.front().unwrap().work_remains() { todo1.pop_front(); } [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ expected type parameter `T1`, found type parameter `T2` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::KeyOwned` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound [INFO] [stdout] = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `Deferred` [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Deferred` [INFO] [stdout] | [INFO] [stdout] ::: src/operators/join.rs:586:8 [INFO] [stdout] | [INFO] [stdout] 586 | struct Deferred [INFO] [stdout] | -------- required by a bound in this struct [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: the method `work_remains` exists for reference `&Deferred<::Timestamp, _, ..., ..., _>`, but its trait bounds were not satisfied [INFO] [stdout] --> src/operators/join.rs:518:44 [INFO] [stdout] | [INFO] [stdout] 518 | if !todo1.front().unwrap().work_remains() { todo1.pop_front(); } [INFO] [stdout] | ^^^^^^^^^^^^ method cannot be called due to unsatisfied trait bounds [INFO] [stdout] | [INFO] [stdout] note: trait bound `<::Key<'a> as MyTrait<'a>>::Owned = ::KeyOwned` was not satisfied [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ unsatisfied trait bound introduced here [INFO] [stdout] | [INFO] [stdout] ::: src/operators/join.rs:605:23 [INFO] [stdout] | [INFO] [stdout] 605 | impl Deferred [INFO] [stdout] | ------------------------- [INFO] [stdout] = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/differential_dataflow-21d0cbeb0b0ddde2.long-type-16232422446806750636.txt' [INFO] [stdout] = note: consider using `--verbose` to print the full type name to the console [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] --> src/operators/join.rs:518:61 [INFO] [stdout] | [INFO] [stdout] 332 | pub fn join_traces(arranged1: &Arranged, arranged2: &Arranged, mut result: L) -> Collection [INFO] [stdout] | -- -- found type parameter [INFO] [stdout] | | [INFO] [stdout] | expected type parameter [INFO] [stdout] ... [INFO] [stdout] 518 | if !todo1.front().unwrap().work_remains() { todo1.pop_front(); } [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ expected type parameter `T1`, found type parameter `T2` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::KeyOwned` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound [INFO] [stdout] = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `Deferred` [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Deferred` [INFO] [stdout] | [INFO] [stdout] ::: src/operators/join.rs:586:8 [INFO] [stdout] | [INFO] [stdout] 586 | struct Deferred [INFO] [stdout] | -------- required by a bound in this struct [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `<::Key<'a> as MyTrait<'a>>::Owned == ::KeyOwned` [INFO] [stdout] --> src/operators/join.rs:533:17 [INFO] [stdout] | [INFO] [stdout] 332 | pub fn join_traces(arranged1: &Arranged, arranged2: &Arranged, mut result: L) -> Collection [INFO] [stdout] | -- -- found type parameter [INFO] [stdout] | | [INFO] [stdout] | expected type parameter [INFO] [stdout] ... [INFO] [stdout] 533 | if !todo1.is_empty() || !todo2.is_empty() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ expected type parameter `T1`, found type parameter `T2` [INFO] [stdout] | [INFO] [stdout] = note: expected associated type `::KeyOwned` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound [INFO] [stdout] = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters [INFO] [stdout] = note: an associated type was expected, but a different one was found [INFO] [stdout] note: required by a bound in `Deferred` [INFO] [stdout] --> src/trace/cursor/mod.rs:58:46 [INFO] [stdout] | [INFO] [stdout] 58 | type Key<'a>: Copy + Clone + MyTrait<'a, Owned = Self::KeyOwned>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Deferred` [INFO] [stdout] | [INFO] [stdout] ::: src/operators/join.rs:586:8 [INFO] [stdout] | [INFO] [stdout] 586 | struct Deferred [INFO] [stdout] | -------- required by a bound in this struct [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0271]: type mismatch resolving `::Timestamp, usize>> as TraceReader>::KeyOwned == N` [INFO] [stdout] --> src/algorithms/graphs/propagate.rs:104:14 [INFO] [stdout] | [INFO] [stdout] 57 | pub fn propagate_core(edges: &Arranged, nodes: &Collection, logic: F) -> Collection [INFO] [stdout] | - expected this type parameter [INFO] [stdout] ... [INFO] [stdout] 104 | .join_core(&edges, |_k, l: &L, d| Some((d.clone(), l.clone()))); [INFO] [stdout] | ^^^^^^^^^ type mismatch resolving `::Timestamp, usize>> as TraceReader>::KeyOwned == N` [INFO] [stdout] | [INFO] [stdout] note: expected this to be `N` [INFO] [stdout] --> src/trace/wrappers/enter.rs:44:21 [INFO] [stdout] | [INFO] [stdout] 44 | type KeyOwned = Tr::KeyOwned; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] = note: expected type parameter `N` [INFO] [stdout] found associated type `::KeyOwned` [INFO] [stdout] help: consider further restricting this bound [INFO] [stdout] | [INFO] [stdout] 66 | Tr: for<'a> TraceReader=&'a N, Val<'a>=&'a N, Time=G::Timestamp, Diff=R>+Clone+'static, [INFO] [stdout] | ++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Borrow` [INFO] [stdout] --> src/trace/implementations/mod.rs:281:23 [INFO] [stdout] | [INFO] [stdout] 281 | use std::borrow::{Borrow, ToOwned}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0271, E0277, E0284, E0308, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0271`. [INFO] [stdout] [INFO] [stderr] error: could not compile `differential-dataflow-master` (lib) due to 35 previous errors; 1 warning emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] running `Command { std: "docker" "inspect" "b4f0a044d20f1fa9b2bf9a9bf026e2516c200e09638da2562cccd52d00ec6b71", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b4f0a044d20f1fa9b2bf9a9bf026e2516c200e09638da2562cccd52d00ec6b71", kill_on_drop: false }` [INFO] [stdout] b4f0a044d20f1fa9b2bf9a9bf026e2516c200e09638da2562cccd52d00ec6b71