[INFO] fetching crate satif-kissat 0.2.0...
[INFO] checking satif-kissat-0.2.0 against master#39cb3386ddc6c71657418be28dbb3987eea4aa4b for pr-133536
[INFO] extracting crate satif-kissat 0.2.0 into /workspace/builds/worker-2-tc1/source
[INFO] validating manifest of crates.io crate satif-kissat 0.2.0 on toolchain 39cb3386ddc6c71657418be28dbb3987eea4aa4b
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate satif-kissat 0.2.0
[INFO] finished tweaking crates.io crate satif-kissat 0.2.0
[INFO] tweaked toml for crates.io crate satif-kissat 0.2.0 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 21 packages to latest compatible versions
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded giputils v0.1.0
[INFO] [stderr]   Downloaded logic-form v0.2.0
[INFO] [stderr]   Downloaded satif v0.1.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0331c8843f289a72396e325df9a1f0277b8192749fee754ece501e2f543fe04e
[INFO] running `Command { std: "docker" "start" "-a" "0331c8843f289a72396e325df9a1f0277b8192749fee754ece501e2f543fe04e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0331c8843f289a72396e325df9a1f0277b8192749fee754ece501e2f543fe04e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0331c8843f289a72396e325df9a1f0277b8192749fee754ece501e2f543fe04e", kill_on_drop: false }`
[INFO] [stdout] 0331c8843f289a72396e325df9a1f0277b8192749fee754ece501e2f543fe04e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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" "-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 41f9ae493086ebd8d4ca09d71323374d7e6c516bb9a5d82aaa30ac8bb90a5ee7
[INFO] running `Command { std: "docker" "start" "-a" "41f9ae493086ebd8d4ca09d71323374d7e6c516bb9a5d82aaa30ac8bb90a5ee7", kill_on_drop: false }`
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]     Checking giputils v0.1.0
[INFO] [stderr]    Compiling satif-kissat v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]    Compiling syn v2.0.90
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]    Compiling strum_macros v0.26.4
[INFO] [stderr]     Checking strum v0.26.3
[INFO] [stderr]     Checking logic-form v0.2.0
[INFO] [stdout] error[E0053]: method `steps_between` has an incompatible type for trait
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/logic-form-0.2.0/src/lib.rs:118:51
[INFO] [stdout]     |
[INFO] [stdout] 118 |     fn steps_between(start: &Self, end: &Self) -> Option<usize> {
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^ expected `(usize, Option<usize>)`, found `Option<usize>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected signature `fn(&Var, &Var) -> (usize, Option<usize>)`
[INFO] [stdout]                found signature `fn(&Var, &Var) -> Option<usize>`
[INFO] [stdout] help: change the output type to match the trait
[INFO] [stdout]     |
[INFO] [stdout] 118 |     fn steps_between(start: &Self, end: &Self) -> (usize, Option<usize>) {
[INFO] [stdout]     |                                                   ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/logic-form-0.2.0/src/lib.rs:119:9
[INFO] [stdout]     |
[INFO] [stdout] 118 |     fn steps_between(start: &Self, end: &Self) -> Option<usize> {
[INFO] [stdout]     |                                                   ------------- expected `Option<usize>` because of return type
[INFO] [stdout] 119 |         u32::steps_between(&start.0, &end.0)
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Option<usize>`, found `(usize, Option<usize>)`
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected enum `Option<usize>`
[INFO] [stdout]               found tuple `(usize, Option<usize>)`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0053, E0308.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0053`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `logic-form` (lib) due to 2 previous errors
[INFO] running `Command { std: "docker" "inspect" "41f9ae493086ebd8d4ca09d71323374d7e6c516bb9a5d82aaa30ac8bb90a5ee7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "41f9ae493086ebd8d4ca09d71323374d7e6c516bb9a5d82aaa30ac8bb90a5ee7", kill_on_drop: false }`
[INFO] [stdout] 41f9ae493086ebd8d4ca09d71323374d7e6c516bb9a5d82aaa30ac8bb90a5ee7
