[INFO] fetching crate oxidd-rules-bdd 0.11.0... [INFO] checking oxidd-rules-bdd-0.11.0 against try#b6bca0d7327839b5e3f7a7779947cb9113d08917+rustflags=-Zstrict-projection-item-bounds for 150662-leaf [INFO] extracting crate oxidd-rules-bdd 0.11.0 into /workspace/builds/worker-0-tc2/source [INFO] started tweaking crates.io crate oxidd-rules-bdd 0.11.0 [INFO] finished tweaking crates.io crate oxidd-rules-bdd 0.11.0 [INFO] tweaked toml for crates.io crate oxidd-rules-bdd 0.11.0 written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate oxidd-rules-bdd 0.11.0 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 oxidd-rules-bdd 0.11.0 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] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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] 94ca9e484cbcf9b6ffa769aceaa3a6c1b611436abe09ee23fc8a975a9e6cc992 [INFO] running `Command { std: "docker" "start" "-a" "94ca9e484cbcf9b6ffa769aceaa3a6c1b611436abe09ee23fc8a975a9e6cc992", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "94ca9e484cbcf9b6ffa769aceaa3a6c1b611436abe09ee23fc8a975a9e6cc992", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "94ca9e484cbcf9b6ffa769aceaa3a6c1b611436abe09ee23fc8a975a9e6cc992", kill_on_drop: false }` [INFO] [stdout] 94ca9e484cbcf9b6ffa769aceaa3a6c1b611436abe09ee23fc8a975a9e6cc992 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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] 0736660aa85649c7387053c145a8b90e3e85b3f0599e34bafa2ae36b9b2394d0 [INFO] running `Command { std: "docker" "start" "-a" "0736660aa85649c7387053c145a8b90e3e85b3f0599e34bafa2ae36b9b2394d0", kill_on_drop: false }` [INFO] [stderr] Checking nanorand v0.8.0 [INFO] [stderr] Compiling litrs v0.4.2 [INFO] [stderr] Checking fixedbitset v0.5.7 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Checking oxidd-core v0.11.0 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling document-features v0.2.11 [INFO] [stderr] Compiling oxidd-derive v0.11.0 [INFO] [stderr] Checking oxidd-dump v0.6.0 [INFO] [stderr] Checking oxidd-rules-bdd v0.11.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `::Tag == ::EdgeTag` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/oxidd-core-0.11.0/src/lib.rs:621:21 [INFO] [stdout] | [INFO] [stdout] 621 | type Edge: Edge; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ cannot satisfy `::Tag == ::EdgeTag` [INFO] [stdout] | [INFO] [stdout] note: the requirement `::Tag == ::EdgeTag` appears on the `impl`'s associated function `reduce` but not on the corresponding trait's associated function [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/oxidd-core-0.11.0/src/lib.rs:126:8 [INFO] [stdout] | [INFO] [stdout] 67 | pub trait DiagramRules, T> { [INFO] [stdout] | ------------ in this trait [INFO] [stdout] ... [INFO] [stdout] 126 | fn reduce>( [INFO] [stdout] | ^^^^^^ this trait's associated function doesn't have the requirement `::Tag == ::EdgeTag` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed: cannot satisfy `::Tag == ::EdgeTag` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/oxidd-core-0.11.0/src/lib.rs:621:21 [INFO] [stdout] | [INFO] [stdout] 621 | type Edge: Edge; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ cannot satisfy `::Tag == ::EdgeTag` [INFO] [stdout] | [INFO] [stdout] note: the requirement `::Tag == ::EdgeTag` appears on the `impl`'s associated function `reduce` but not on the corresponding trait's associated function [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/oxidd-core-0.11.0/src/lib.rs:126:8 [INFO] [stdout] | [INFO] [stdout] 67 | pub trait DiagramRules, T> { [INFO] [stdout] | ------------ in this trait [INFO] [stdout] ... [INFO] [stdout] 126 | fn reduce>( [INFO] [stdout] | ^^^^^^ this trait's associated function doesn't have the requirement `::Tag == ::EdgeTag` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/complement_edge/mod.rs:77:14 [INFO] [stdout] | [INFO] [stdout] 77 | impl, N: InnerNode> DiagramRules for BCDDRules { [INFO] [stdout] | ^^^^^^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `::Tag == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0284]: type annotations needed [INFO] [stdout] --> src/complement_edge/mod.rs:77:14 [INFO] [stdout] | [INFO] [stdout] 77 | impl, N: InnerNode> DiagramRules for BCDDRules { [INFO] [stdout] | ^^^^^^^^^^^^^ cannot infer type [INFO] [stdout] | [INFO] [stdout] = note: cannot satisfy `::Tag == _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0282]: type annotations needed [INFO] [stdout] --> src/complement_edge/mod.rs:102:17 [INFO] [stdout] | [INFO] [stdout] 102 | let et = e.tag(); [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 105 | [t.with_tag_owned(EdgeTag::None), e.with_tag_owned(!et)], [INFO] [stdout] | --- type must be known at this point [INFO] [stdout] | [INFO] [stdout] help: consider giving `et` an explicit type [INFO] [stdout] | [INFO] [stdout] 102 | let et: /* Type */ = e.tag(); [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0282]: type annotations needed [INFO] [stdout] --> src/complement_edge/mod.rs:102:17 [INFO] [stdout] | [INFO] [stdout] 102 | let et = e.tag(); [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 105 | [t.with_tag_owned(EdgeTag::None), e.with_tag_owned(!et)], [INFO] [stdout] | --- type must be known at this point [INFO] [stdout] | [INFO] [stdout] help: consider giving `et` an explicit type [INFO] [stdout] | [INFO] [stdout] 102 | let et: /* Type */ = e.tag(); [INFO] [stdout] | ++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0282, E0284. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0282`. [INFO] [stdout] [INFO] [stderr] error: could not compile `oxidd-rules-bdd` (lib test) due to 3 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] Some errors have detailed explanations: E0282, E0284. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0282`. [INFO] [stdout] [INFO] [stderr] error: could not compile `oxidd-rules-bdd` (lib) due to 3 previous errors [INFO] running `Command { std: "docker" "inspect" "0736660aa85649c7387053c145a8b90e3e85b3f0599e34bafa2ae36b9b2394d0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0736660aa85649c7387053c145a8b90e3e85b3f0599e34bafa2ae36b9b2394d0", kill_on_drop: false }` [INFO] [stdout] 0736660aa85649c7387053c145a8b90e3e85b3f0599e34bafa2ae36b9b2394d0