[INFO] cloning repository https://github.com/bpandreotti/verit-proof-checker [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/bpandreotti/verit-proof-checker" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbpandreotti%2Fverit-proof-checker", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbpandreotti%2Fverit-proof-checker'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 92fd8b4d2a9417bec5c3cf468fe874155db85d6c [INFO] checking bpandreotti/verit-proof-checker against try#4f260f0f20b3133d20cfb50353c0221943af5796+rustflags=-Dunmustuse_in_always_ok for pr-148577 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbpandreotti%2Fverit-proof-checker" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'... [INFO] [stderr] done. [INFO] removed /workspace/builds/worker-1-tc2/source/rust-toolchain.toml [INFO] started tweaking git repo https://github.com/bpandreotti/verit-proof-checker [INFO] finished tweaking git repo https://github.com/bpandreotti/verit-proof-checker [INFO] tweaked toml for git repo https://github.com/bpandreotti/verit-proof-checker written to /workspace/builds/worker-1-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/bpandreotti/verit-proof-checker on toolchain 4f260f0f20b3133d20cfb50353c0221943af5796 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4f260f0f20b3133d20cfb50353c0221943af5796" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/bpandreotti/verit-proof-checker 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" "+4f260f0f20b3133d20cfb50353c0221943af5796" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+4f260f0f20b3133d20cfb50353c0221943af5796" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 85237114062cfa7a073adb472d3687ed8d97d4312b6b6b5993f1d60da9fa5cbd [INFO] running `Command { std: "docker" "start" "-a" "85237114062cfa7a073adb472d3687ed8d97d4312b6b6b5993f1d60da9fa5cbd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "85237114062cfa7a073adb472d3687ed8d97d4312b6b6b5993f1d60da9fa5cbd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "85237114062cfa7a073adb472d3687ed8d97d4312b6b6b5993f1d60da9fa5cbd", kill_on_drop: false }` [INFO] [stdout] 85237114062cfa7a073adb472d3687ed8d97d4312b6b6b5993f1d60da9fa5cbd [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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 -Dunmustuse_in_always_ok" "-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+4f260f0f20b3133d20cfb50353c0221943af5796" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 12e37866c7c9f529be615b7d9339487dafaf0da22f7d954dbef93877c019631b [INFO] running `Command { std: "docker" "start" "-a" "12e37866c7c9f529be615b7d9339487dafaf0da22f7d954dbef93877c019631b", kill_on_drop: false }` [INFO] [stderr] Compiling gmp-mpfr-sys v1.6.7 [INFO] [stderr] Compiling rug v1.27.0 [INFO] [stderr] Checking indexmap v2.10.0 [INFO] [stderr] Checking unicode-ident v1.0.18 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Checking os_str_bytes v6.6.1 [INFO] [stderr] Compiling const_format_proc_macros v0.2.34 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling test-generator v0.1.0 (/opt/rustwide/workdir/test-generator) [INFO] [stderr] Compiling git-version-macro v0.3.9 [INFO] [stderr] Checking indexmap v1.9.3 [INFO] [stderr] Checking same-file v1.0.6 [INFO] [stderr] Checking textwrap v0.16.2 [INFO] [stderr] Checking crossbeam-queue v0.3.12 [INFO] [stderr] Checking walkdir v2.5.0 [INFO] [stderr] Checking proc-macro2 v1.0.101 [INFO] [stderr] Checking clap_lex v0.2.4 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Checking git-version v0.3.9 [INFO] [stderr] Checking const_format v0.2.34 [INFO] [stderr] Checking quote v1.0.40 [INFO] [stderr] Compiling clap_derive v3.2.25 [INFO] [stderr] Checking thiserror v1.0.69 [INFO] [stderr] Checking syn v1.0.109 [INFO] [stderr] Checking clap v3.2.25 [INFO] [stderr] Checking carcara v1.1.0 (/opt/rustwide/workdir/carcara) [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/context.rs:80:17 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn last(&self) -> Option>> { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 80 | pub fn last(&self) -> Option>> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/context.rs:86:21 [INFO] [stdout] | [INFO] [stdout] 86 | pub fn last_mut(&mut self) -> Option>> { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 86 | pub fn last_mut(&mut self) -> Option>> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/printer.rs:438:25 [INFO] [stdout] | [INFO] [stdout] 438 | fn quote_symbol(symbol: &str) -> Cow { [INFO] [stdout] | ^^^^ ^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 438 | fn quote_symbol(symbol: &str) -> Cow<'_, str> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/printer.rs:461:26 [INFO] [stdout] | [INFO] [stdout] 461 | fn escape_string(string: &str) -> Cow { [INFO] [stdout] | ^^^^ ^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 461 | fn escape_string(string: &str) -> Cow<'_, str> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/proof.rs:87:17 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn iter(&self) -> ProofIter { [INFO] [stdout] | ^^^^^ ^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 87 | pub fn iter(&self) -> ProofIter<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:490:22 [INFO] [stdout] | [INFO] [stdout] 490 | fn term_to_ctv(term: &Rc) -> Result { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 490 | fn term_to_ctv(term: &Rc) -> Result, Integer> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:517:32 [INFO] [stdout] | [INFO] [stdout] 517 | fn collect_addition_list(term: &Rc) -> Result, CheckerError> { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 517 | fn collect_addition_list(term: &Rc) -> Result>, CheckerError> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:559:32 [INFO] [stdout] | [INFO] [stdout] 559 | fn flatten_addition_tree(term: &Rc) -> Result<(Vec, Integer), CheckerError> { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 559 | fn flatten_addition_tree(term: &Rc) -> Result<(Vec>, Integer), CheckerError> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/context.rs:80:17 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn last(&self) -> Option>> { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 80 | pub fn last(&self) -> Option>> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/context.rs:86:21 [INFO] [stdout] | [INFO] [stdout] 86 | pub fn last_mut(&mut self) -> Option>> { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 86 | pub fn last_mut(&mut self) -> Option>> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/printer.rs:438:25 [INFO] [stdout] | [INFO] [stdout] 438 | fn quote_symbol(symbol: &str) -> Cow { [INFO] [stdout] | ^^^^ ^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 438 | fn quote_symbol(symbol: &str) -> Cow<'_, str> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/printer.rs:461:26 [INFO] [stdout] | [INFO] [stdout] 461 | fn escape_string(string: &str) -> Cow { [INFO] [stdout] | ^^^^ ^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 461 | fn escape_string(string: &str) -> Cow<'_, str> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/proof.rs:87:17 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn iter(&self) -> ProofIter { [INFO] [stdout] | ^^^^^ ^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 87 | pub fn iter(&self) -> ProofIter<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:490:22 [INFO] [stdout] | [INFO] [stdout] 490 | fn term_to_ctv(term: &Rc) -> Result { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 490 | fn term_to_ctv(term: &Rc) -> Result, Integer> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:517:32 [INFO] [stdout] | [INFO] [stdout] 517 | fn collect_addition_list(term: &Rc) -> Result, CheckerError> { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 517 | fn collect_addition_list(term: &Rc) -> Result>, CheckerError> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:559:32 [INFO] [stdout] | [INFO] [stdout] 559 | fn flatten_addition_tree(term: &Rc) -> Result<(Vec, Integer), CheckerError> { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 559 | fn flatten_addition_tree(term: &Rc) -> Result<(Vec>, Integer), CheckerError> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking carcara-cli v1.1.0 (/opt/rustwide/workdir/cli) [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:90:5 [INFO] [stdout] | [INFO] [stdout] 90 | proof_file: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: requested on the command line with `-D unmustuse-in-always-ok` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:94:5 [INFO] [stdout] | [INFO] [stdout] 94 | problem_file: Option, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:97:5 [INFO] [stdout] | [INFO] [stdout] 97 | rare_file: Option, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:180:5 [INFO] [stdout] | [INFO] [stdout] 180 | allowed_rules: Option>, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:217:5 [INFO] [stdout] | [INFO] [stdout] 217 | lia_solver: Option, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:227:5 [INFO] [stdout] | [INFO] [stdout] 227 | lia_solver_args: String, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:236:5 [INFO] [stdout] | [INFO] [stdout] 236 | hole_solver: Option, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:246:5 [INFO] [stdout] | [INFO] [stdout] 246 | hole_solver_args: String, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:392:5 [INFO] [stdout] | [INFO] [stdout] 392 | files: Vec, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:403:5 [INFO] [stdout] | [INFO] [stdout] 403 | sliced_output: Option>, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:409:5 [INFO] [stdout] | [INFO] [stdout] 409 | from: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:421:5 [INFO] [stdout] | [INFO] [stdout] 421 | lia_solver: Option, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:423:5 [INFO] [stdout] | [INFO] [stdout] 423 | lia_solver_args: Option, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:425:5 [INFO] [stdout] | [INFO] [stdout] 425 | hole_solver: Option, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:427:5 [INFO] [stdout] | [INFO] [stdout] 427 | hole_solver_args: Option, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `carcara-cli` (bin "carcara") due to 15 previous errors [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:90:5 [INFO] [stdout] | [INFO] [stdout] 90 | proof_file: String, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: requested on the command line with `-D unmustuse-in-always-ok` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:94:5 [INFO] [stdout] | [INFO] [stdout] 94 | problem_file: Option, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:97:5 [INFO] [stdout] | [INFO] [stdout] 97 | rare_file: Option, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:180:5 [INFO] [stdout] | [INFO] [stdout] 180 | allowed_rules: Option>, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:217:5 [INFO] [stdout] | [INFO] [stdout] 217 | lia_solver: Option, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:227:5 [INFO] [stdout] | [INFO] [stdout] 227 | lia_solver_args: String, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:236:5 [INFO] [stdout] | [INFO] [stdout] 236 | hole_solver: Option, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:246:5 [INFO] [stdout] | [INFO] [stdout] 246 | hole_solver_args: String, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:392:5 [INFO] [stdout] | [INFO] [stdout] 392 | files: Vec, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:403:5 [INFO] [stdout] | [INFO] [stdout] 403 | sliced_output: Option>, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:409:5 [INFO] [stdout] | [INFO] [stdout] 409 | from: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:421:5 [INFO] [stdout] | [INFO] [stdout] 421 | lia_solver: Option, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:423:5 [INFO] [stdout] | [INFO] [stdout] 423 | lia_solver_args: Option, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:425:5 [INFO] [stdout] | [INFO] [stdout] 425 | hole_solver: Option, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> cli/src/main.rs:427:5 [INFO] [stdout] | [INFO] [stdout] 427 | hole_solver_args: Option, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `carcara-cli` (bin "carcara" test) due to 15 previous errors [INFO] running `Command { std: "docker" "inspect" "12e37866c7c9f529be615b7d9339487dafaf0da22f7d954dbef93877c019631b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "12e37866c7c9f529be615b7d9339487dafaf0da22f7d954dbef93877c019631b", kill_on_drop: false }` [INFO] [stdout] 12e37866c7c9f529be615b7d9339487dafaf0da22f7d954dbef93877c019631b