[INFO] cloning repository https://github.com/FoxSamu/rsproof
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/FoxSamu/rsproof" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFoxSamu%2Frsproof", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFoxSamu%2Frsproof'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 22f7a965d3fd03520cdd3fc242b7f0b252e17245
[INFO] checking FoxSamu/rsproof against master#8f21a5c92ea55c348c275a1bc4fedbdf181e0d64 for pr-143011
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFoxSamu%2Frsproof" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/FoxSamu/rsproof
[INFO] finished tweaking git repo https://github.com/FoxSamu/rsproof
[INFO] tweaked toml for git repo https://github.com/FoxSamu/rsproof written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/FoxSamu/rsproof on toolchain 8f21a5c92ea55c348c275a1bc4fedbdf181e0d64
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8f21a5c92ea55c348c275a1bc4fedbdf181e0d64" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/FoxSamu/rsproof 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" "+8f21a5c92ea55c348c275a1bc4fedbdf181e0d64" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8f21a5c92ea55c348c275a1bc4fedbdf181e0d64" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f33cddc2eb39bc94a0990e48f1e260351f0869ae86d1e9ab33f951a7120ec03e
[INFO] running `Command { std: "docker" "start" "-a" "f33cddc2eb39bc94a0990e48f1e260351f0869ae86d1e9ab33f951a7120ec03e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f33cddc2eb39bc94a0990e48f1e260351f0869ae86d1e9ab33f951a7120ec03e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f33cddc2eb39bc94a0990e48f1e260351f0869ae86d1e9ab33f951a7120ec03e", kill_on_drop: false }`
[INFO] [stdout] f33cddc2eb39bc94a0990e48f1e260351f0869ae86d1e9ab33f951a7120ec03e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8f21a5c92ea55c348c275a1bc4fedbdf181e0d64" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c703e82abe8994066885fbc6aa1473134008fc2a3d381e0f68248dc030a539e9
[INFO] running `Command { std: "docker" "start" "-a" "c703e82abe8994066885fbc6aa1473134008fc2a3d381e0f68248dc030a539e9", kill_on_drop: false }`
[INFO] [stderr]     Checking rsproof v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `std::rc::Rc`
[INFO] [stdout]  --> src/uni/unifier.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::rc::Rc;
[INFO] [stdout]   |     ^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::rc::Rc`
[INFO] [stdout]  --> src/uni/unifier.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::rc::Rc;
[INFO] [stdout]   |     ^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0023]: this pattern has 2 fields, but the corresponding tuple variant has 1 field
[INFO] [stdout]   --> src/nf/index.rs:46:22
[INFO] [stdout]    |
[INFO] [stdout] 46 |             Atom::Eq(lhs, rhs) => self.insert_eq((lhs, rhs)),
[INFO] [stdout]    |                      ^^^  ^^^ expected 1 field, found 2
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/nf/mod.rs:32:8
[INFO] [stdout]    |
[INFO] [stdout] 32 |     Eq((AExpr, AExpr))
[INFO] [stdout]    |        -------------- tuple variant has 1 field
[INFO] [stdout]    |
[INFO] [stdout] help: missing parentheses
[INFO] [stdout]    |
[INFO] [stdout] 46 |             Atom::Eq((lhs, rhs)) => self.insert_eq((lhs, rhs)),
[INFO] [stdout]    |                      +        +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0023]: this pattern has 2 fields, but the corresponding tuple variant has 1 field
[INFO] [stdout]   --> src/nf/index.rs:46:22
[INFO] [stdout]    |
[INFO] [stdout] 46 |             Atom::Eq(lhs, rhs) => self.insert_eq((lhs, rhs)),
[INFO] [stdout]    |                      ^^^  ^^^ expected 1 field, found 2
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/nf/mod.rs:32:8
[INFO] [stdout]    |
[INFO] [stdout] 32 |     Eq((AExpr, AExpr))
[INFO] [stdout]    |        -------------- tuple variant has 1 field
[INFO] [stdout]    |
[INFO] [stdout] help: missing parentheses
[INFO] [stdout]    |
[INFO] [stdout] 46 |             Atom::Eq((lhs, rhs)) => self.insert_eq((lhs, rhs)),
[INFO] [stdout]    |                      +        +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0004]: non-exhaustive patterns: `&nf::Atom::Eq(_)` not covered
[INFO] [stdout]   --> src/nf/index.rs:60:15
[INFO] [stdout]    |
[INFO] [stdout] 60 |         match atom {
[INFO] [stdout]    |               ^^^^ pattern `&nf::Atom::Eq(_)` not covered
[INFO] [stdout]    |
[INFO] [stdout] note: `nf::Atom` defined here
[INFO] [stdout]   --> src/nf/mod.rs:28:10
[INFO] [stdout]    |
[INFO] [stdout] 28 | pub enum Atom {
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 32 |     Eq((AExpr, AExpr))
[INFO] [stdout]    |     -- not covered
[INFO] [stdout]    = note: the matched value is of type `&nf::Atom`
[INFO] [stdout] help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
[INFO] [stdout]    |
[INFO] [stdout] 61 ~             Atom::Pred(name, args) => self.contains_pred(name, args),
[INFO] [stdout] 62 +             &nf::Atom::Eq(_) => todo!()
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0004]: non-exhaustive patterns: `nf::Atom::Eq(_)` not covered
[INFO] [stdout]    --> src/nf/index.rs:209:15
[INFO] [stdout]     |
[INFO] [stdout] 209 |         match value {
[INFO] [stdout]     |               ^^^^^ pattern `nf::Atom::Eq(_)` not covered
[INFO] [stdout]     |
[INFO] [stdout] note: `nf::Atom` defined here
[INFO] [stdout]    --> src/nf/mod.rs:28:10
[INFO] [stdout]     |
[INFO] [stdout] 28  | pub enum Atom {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 32  |     Eq((AExpr, AExpr))
[INFO] [stdout]     |     -- not covered
[INFO] [stdout]     = note: the matched value is of type `nf::Atom`
[INFO] [stdout] help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
[INFO] [stdout]     |
[INFO] [stdout] 212 ~             },
[INFO] [stdout] 213 +             nf::Atom::Eq(_) => todo!()
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0005]: refutable pattern in `for` loop binding
[INFO] [stdout]    --> src/nf/index.rs:223:13
[INFO] [stdout]     |
[INFO] [stdout] 223 |         for Atom::Pred(name, args) in value {
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^ pattern `nf::Atom::Eq(_)` not covered
[INFO] [stdout]     |
[INFO] [stdout] note: `nf::Atom` defined here
[INFO] [stdout]    --> src/nf/mod.rs:28:10
[INFO] [stdout]     |
[INFO] [stdout] 28  | pub enum Atom {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 32  |     Eq((AExpr, AExpr))
[INFO] [stdout]     |     -- not covered
[INFO] [stdout]     = note: the matched value is of type `nf::Atom`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0005]: refutable pattern in `for` loop binding
[INFO] [stdout]    --> src/nf/index.rs:235:13
[INFO] [stdout]     |
[INFO] [stdout] 235 |         for Atom::Pred(name, args) in value {
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^ pattern `nf::Atom::Eq(_)` not covered
[INFO] [stdout]     |
[INFO] [stdout] note: `nf::Atom` defined here
[INFO] [stdout]    --> src/nf/mod.rs:28:10
[INFO] [stdout]     |
[INFO] [stdout] 28  | pub enum Atom {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 32  |     Eq((AExpr, AExpr))
[INFO] [stdout]     |     -- not covered
[INFO] [stdout]     = note: the matched value is of type `nf::Atom`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0005]: refutable pattern in `for` loop binding
[INFO] [stdout]    --> src/nf/index.rs:247:13
[INFO] [stdout]     |
[INFO] [stdout] 247 |         for Atom::Pred(name, args) in value {
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^ pattern `nf::Atom::Eq(_)` not covered
[INFO] [stdout]     |
[INFO] [stdout] note: `nf::Atom` defined here
[INFO] [stdout]    --> src/nf/mod.rs:28:10
[INFO] [stdout]     |
[INFO] [stdout] 28  | pub enum Atom {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 32  |     Eq((AExpr, AExpr))
[INFO] [stdout]     |     -- not covered
[INFO] [stdout]     = note: the matched value is of type `nf::Atom`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0004]: non-exhaustive patterns: `&nf::Atom::Eq(_)` not covered
[INFO] [stdout]   --> src/nf/index.rs:60:15
[INFO] [stdout]    |
[INFO] [stdout] 60 |         match atom {
[INFO] [stdout]    |               ^^^^ pattern `&nf::Atom::Eq(_)` not covered
[INFO] [stdout]    |
[INFO] [stdout] note: `nf::Atom` defined here
[INFO] [stdout]   --> src/nf/mod.rs:28:10
[INFO] [stdout]    |
[INFO] [stdout] 28 | pub enum Atom {
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 32 |     Eq((AExpr, AExpr))
[INFO] [stdout]    |     -- not covered
[INFO] [stdout]    = note: the matched value is of type `&nf::Atom`
[INFO] [stdout] help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
[INFO] [stdout]    |
[INFO] [stdout] 61 ~             Atom::Pred(name, args) => self.contains_pred(name, args),
[INFO] [stdout] 62 +             &nf::Atom::Eq(_) => todo!()
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0004]: non-exhaustive patterns: `nf::Atom::Eq(_)` not covered
[INFO] [stdout]    --> src/nf/index.rs:209:15
[INFO] [stdout]     |
[INFO] [stdout] 209 |         match value {
[INFO] [stdout]     |               ^^^^^ pattern `nf::Atom::Eq(_)` not covered
[INFO] [stdout]     |
[INFO] [stdout] note: `nf::Atom` defined here
[INFO] [stdout]    --> src/nf/mod.rs:28:10
[INFO] [stdout]     |
[INFO] [stdout] 28  | pub enum Atom {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 32  |     Eq((AExpr, AExpr))
[INFO] [stdout]     |     -- not covered
[INFO] [stdout]     = note: the matched value is of type `nf::Atom`
[INFO] [stdout] help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
[INFO] [stdout]     |
[INFO] [stdout] 212 ~             },
[INFO] [stdout] 213 +             nf::Atom::Eq(_) => todo!()
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0005]: refutable pattern in `for` loop binding
[INFO] [stdout]    --> src/nf/index.rs:223:13
[INFO] [stdout]     |
[INFO] [stdout] 223 |         for Atom::Pred(name, args) in value {
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^ pattern `nf::Atom::Eq(_)` not covered
[INFO] [stdout]     |
[INFO] [stdout] note: `nf::Atom` defined here
[INFO] [stdout]    --> src/nf/mod.rs:28:10
[INFO] [stdout]     |
[INFO] [stdout] 28  | pub enum Atom {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 32  |     Eq((AExpr, AExpr))
[INFO] [stdout]     |     -- not covered
[INFO] [stdout]     = note: the matched value is of type `nf::Atom`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0005]: refutable pattern in `for` loop binding
[INFO] [stdout]    --> src/nf/index.rs:235:13
[INFO] [stdout]     |
[INFO] [stdout] 235 |         for Atom::Pred(name, args) in value {
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^ pattern `nf::Atom::Eq(_)` not covered
[INFO] [stdout]     |
[INFO] [stdout] note: `nf::Atom` defined here
[INFO] [stdout]    --> src/nf/mod.rs:28:10
[INFO] [stdout]     |
[INFO] [stdout] 28  | pub enum Atom {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 32  |     Eq((AExpr, AExpr))
[INFO] [stdout]     |     -- not covered
[INFO] [stdout]     = note: the matched value is of type `nf::Atom`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0005]: refutable pattern in `for` loop binding
[INFO] [stdout]    --> src/nf/index.rs:247:13
[INFO] [stdout]     |
[INFO] [stdout] 247 |         for Atom::Pred(name, args) in value {
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^ pattern `nf::Atom::Eq(_)` not covered
[INFO] [stdout]     |
[INFO] [stdout] note: `nf::Atom` defined here
[INFO] [stdout]    --> src/nf/mod.rs:28:10
[INFO] [stdout]     |
[INFO] [stdout] 28  | pub enum Atom {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 32  |     Eq((AExpr, AExpr))
[INFO] [stdout]     |     -- not covered
[INFO] [stdout]     = note: the matched value is of type `nf::Atom`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0004]: non-exhaustive patterns: `nf::Atom::Eq(_)` not covered
[INFO] [stdout]   --> src/res/substitutee.rs:45:11
[INFO] [stdout]    |
[INFO] [stdout] 45 |     match atom {
[INFO] [stdout]    |           ^^^^ pattern `nf::Atom::Eq(_)` not covered
[INFO] [stdout]    |
[INFO] [stdout] note: `nf::Atom` defined here
[INFO] [stdout]   --> src/nf/mod.rs:28:10
[INFO] [stdout]    |
[INFO] [stdout] 28 | pub enum Atom {
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 32 |     Eq((AExpr, AExpr))
[INFO] [stdout]    |     -- not covered
[INFO] [stdout]    = note: the matched value is of type `nf::Atom`
[INFO] [stdout] help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
[INFO] [stdout]    |
[INFO] [stdout] 46 ~         Atom::Pred(name, args) => Atom::Pred(name, substitute_aexprs(args, from, to)),
[INFO] [stdout] 47 ~         nf::Atom::Eq(_) => todo!(),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0004]: non-exhaustive patterns: `nf::Atom::Eq(_)` not covered
[INFO] [stdout]   --> src/res/substitutee.rs:45:11
[INFO] [stdout]    |
[INFO] [stdout] 45 |     match atom {
[INFO] [stdout]    |           ^^^^ pattern `nf::Atom::Eq(_)` not covered
[INFO] [stdout]    |
[INFO] [stdout] note: `nf::Atom` defined here
[INFO] [stdout]   --> src/nf/mod.rs:28:10
[INFO] [stdout]    |
[INFO] [stdout] 28 | pub enum Atom {
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 32 |     Eq((AExpr, AExpr))
[INFO] [stdout]    |     -- not covered
[INFO] [stdout]    = note: the matched value is of type `nf::Atom`
[INFO] [stdout] help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
[INFO] [stdout]    |
[INFO] [stdout] 46 ~         Atom::Pred(name, args) => Atom::Pred(name, substitute_aexprs(args, from, to)),
[INFO] [stdout] 47 ~         nf::Atom::Eq(_) => todo!(),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0004, E0005, E0023.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0004`.
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0004, E0005, E0023.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0004`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rsproof` (lib test) due to 7 previous errors; 1 warning emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `rsproof` (lib) due to 7 previous errors; 1 warning emitted
[INFO] running `Command { std: "docker" "inspect" "c703e82abe8994066885fbc6aa1473134008fc2a3d381e0f68248dc030a539e9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c703e82abe8994066885fbc6aa1473134008fc2a3d381e0f68248dc030a539e9", kill_on_drop: false }`
[INFO] [stdout] c703e82abe8994066885fbc6aa1473134008fc2a3d381e0f68248dc030a539e9
