[INFO] cloning repository https://github.com/E-Neo/tapl [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/E-Neo/tapl" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FE-Neo%2Ftapl", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FE-Neo%2Ftapl'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 5da0e6cf31e800ef26f0d28408e6e8ce0a8a8f84 [INFO] checking E-Neo/tapl 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%2FE-Neo%2Ftapl" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/E-Neo/tapl [INFO] finished tweaking git repo https://github.com/E-Neo/tapl [INFO] tweaked toml for git repo https://github.com/E-Neo/tapl written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/E-Neo/tapl 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/E-Neo/tapl 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-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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] 90c6b046bf66e374f78de8203a05ea2b50e86566a9b54023f69a55bcdc2018cd [INFO] running `Command { std: "docker" "start" "-a" "90c6b046bf66e374f78de8203a05ea2b50e86566a9b54023f69a55bcdc2018cd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "90c6b046bf66e374f78de8203a05ea2b50e86566a9b54023f69a55bcdc2018cd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "90c6b046bf66e374f78de8203a05ea2b50e86566a9b54023f69a55bcdc2018cd", kill_on_drop: false }` [INFO] [stdout] 90c6b046bf66e374f78de8203a05ea2b50e86566a9b54023f69a55bcdc2018cd [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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] bac052525317cbb37f0034c3b3cd619e124b54c0e551d830ea695763c7a28a7c [INFO] running `Command { std: "docker" "start" "-a" "bac052525317cbb37f0034c3b3cd619e124b54c0e551d830ea695763c7a28a7c", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.80 [INFO] [stderr] Compiling syn v1.0.44 [INFO] [stderr] Compiling maplit v1.0.2 [INFO] [stderr] Checking utf8parse v0.2.0 [INFO] [stderr] Checking ucd-trie v0.1.3 [INFO] [stderr] Checking unicode-segmentation v1.7.1 [INFO] [stderr] Compiling pest_meta v2.1.3 [INFO] [stderr] Checking pest v2.1.3 [INFO] [stderr] Checking dirs-sys v0.3.5 [INFO] [stderr] Checking fs2 v0.4.3 [INFO] [stderr] Checking nix v0.19.1 [INFO] [stderr] Checking dirs v3.0.1 [INFO] [stderr] Compiling pest_generator v2.1.3 [INFO] [stderr] Compiling derive_more v0.99.11 [INFO] [stderr] Compiling pest_derive v2.1.0 [INFO] [stderr] Checking rustyline v7.0.0 [INFO] [stderr] Checking tapl v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:7:54 [INFO] [stdout] | [INFO] [stdout] 7 | pub fn eval(ast: &AstNode) -> Result { [INFO] [stdout] | ______________________________________________________^ [INFO] [stdout] 8 | | match ast { [INFO] [stdout] 9 | | AstNode::IfThenElse(t1, t2, t3) => match eval(t1)? { [INFO] [stdout] 10 | | AstNode::True => eval(t2), [INFO] [stdout] ... | [INFO] [stdout] 28 | | } [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] --> src/arith/eval.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | / match ast { [INFO] [stdout] 9 | | AstNode::IfThenElse(t1, t2, t3) => match eval(t1)? { [INFO] [stdout] 10 | | AstNode::True => eval(t2), [INFO] [stdout] 11 | | AstNode::False => eval(t3), [INFO] [stdout] ... | [INFO] [stdout] 26 | | _ => Ok(ast.clone()), [INFO] [stdout] 27 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:9:44 [INFO] [stdout] | [INFO] [stdout] 9 | AstNode::IfThenElse(t1, t2, t3) => match eval(t1)? { [INFO] [stdout] | ____________________________________________^ [INFO] [stdout] 10 | | AstNode::True => eval(t2), [INFO] [stdout] 11 | | AstNode::False => eval(t3), [INFO] [stdout] 12 | | _ => Ok(ast.clone()), [INFO] [stdout] 13 | | }, [INFO] [stdout] | |_________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: ControlFlow, AstNode> [INFO] [stdout] --> src/arith/eval.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | AstNode::IfThenElse(t1, t2, t3) => match eval(t1)? { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | AstNode::IfThenElse(t1, t2, t3) => match eval(t1)? { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | AstNode::IfThenElse(t1, t2, t3) => match eval(t1)? { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:10:30 [INFO] [stdout] | [INFO] [stdout] 10 | AstNode::True => eval(t2), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:11:31 [INFO] [stdout] | [INFO] [stdout] 11 | AstNode::False => eval(t3), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:12:18 [INFO] [stdout] | [INFO] [stdout] 12 | _ => Ok(ast.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:14:26 [INFO] [stdout] | [INFO] [stdout] 14 | AstNode::Zero => Ok(AstNode::Zero), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:15:29 [INFO] [stdout] | [INFO] [stdout] 15 | AstNode::Succ(t) => Ok(AstNode::Succ(Box::new(eval(t)?))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: ControlFlow, AstNode> [INFO] [stdout] --> src/arith/eval.rs:15:55 [INFO] [stdout] | [INFO] [stdout] 15 | AstNode::Succ(t) => Ok(AstNode::Succ(Box::new(eval(t)?))), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:15:55 [INFO] [stdout] | [INFO] [stdout] 15 | AstNode::Succ(t) => Ok(AstNode::Succ(Box::new(eval(t)?))), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:15:55 [INFO] [stdout] | [INFO] [stdout] 15 | AstNode::Succ(t) => Ok(AstNode::Succ(Box::new(eval(t)?))), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:16:29 [INFO] [stdout] | [INFO] [stdout] 16 | AstNode::Pred(t) => match eval(t)? { [INFO] [stdout] | _____________________________^ [INFO] [stdout] 17 | | AstNode::Zero => Ok(AstNode::Zero), [INFO] [stdout] 18 | | AstNode::Succ(t) => Ok(*t), [INFO] [stdout] 19 | | _ => Ok(ast.clone()), [INFO] [stdout] 20 | | }, [INFO] [stdout] | |_________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: ControlFlow, AstNode> [INFO] [stdout] --> src/arith/eval.rs:16:35 [INFO] [stdout] | [INFO] [stdout] 16 | AstNode::Pred(t) => match eval(t)? { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:16:35 [INFO] [stdout] | [INFO] [stdout] 16 | AstNode::Pred(t) => match eval(t)? { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:16:35 [INFO] [stdout] | [INFO] [stdout] 16 | AstNode::Pred(t) => match eval(t)? { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:17:30 [INFO] [stdout] | [INFO] [stdout] 17 | AstNode::Zero => Ok(AstNode::Zero), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:18:33 [INFO] [stdout] | [INFO] [stdout] 18 | AstNode::Succ(t) => Ok(*t), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:19:18 [INFO] [stdout] | [INFO] [stdout] 19 | _ => Ok(ast.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:21:31 [INFO] [stdout] | [INFO] [stdout] 21 | AstNode::IsZero(t) => match eval(t)? { [INFO] [stdout] | _______________________________^ [INFO] [stdout] 22 | | AstNode::Zero => Ok(AstNode::True), [INFO] [stdout] 23 | | AstNode::Succ(_) => Ok(AstNode::False), [INFO] [stdout] 24 | | _ => Ok(ast.clone()), [INFO] [stdout] 25 | | }, [INFO] [stdout] | |_________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: ControlFlow, AstNode> [INFO] [stdout] --> src/arith/eval.rs:21:37 [INFO] [stdout] | [INFO] [stdout] 21 | AstNode::IsZero(t) => match eval(t)? { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:21:37 [INFO] [stdout] | [INFO] [stdout] 21 | AstNode::IsZero(t) => match eval(t)? { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:21:37 [INFO] [stdout] | [INFO] [stdout] 21 | AstNode::IsZero(t) => match eval(t)? { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:22:30 [INFO] [stdout] | [INFO] [stdout] 22 | AstNode::Zero => Ok(AstNode::True), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:23:33 [INFO] [stdout] | [INFO] [stdout] 23 | AstNode::Succ(_) => Ok(AstNode::False), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:24:18 [INFO] [stdout] | [INFO] [stdout] 24 | _ => Ok(ast.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:26:14 [INFO] [stdout] | [INFO] [stdout] 26 | _ => Ok(ast.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `tapl` (lib test) due to 29 previous errors [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] --> src/arith/eval.rs:7:54 [INFO] [stdout] | [INFO] [stdout] 7 | pub fn eval(ast: &AstNode) -> Result { [INFO] [stdout] | ______________________________________________________^ [INFO] [stdout] 8 | | match ast { [INFO] [stdout] 9 | | AstNode::IfThenElse(t1, t2, t3) => match eval(t1)? { [INFO] [stdout] 10 | | AstNode::True => eval(t2), [INFO] [stdout] ... | [INFO] [stdout] 28 | | } [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] --> src/arith/eval.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | / match ast { [INFO] [stdout] 9 | | AstNode::IfThenElse(t1, t2, t3) => match eval(t1)? { [INFO] [stdout] 10 | | AstNode::True => eval(t2), [INFO] [stdout] 11 | | AstNode::False => eval(t3), [INFO] [stdout] ... | [INFO] [stdout] 26 | | _ => Ok(ast.clone()), [INFO] [stdout] 27 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:9:44 [INFO] [stdout] | [INFO] [stdout] 9 | AstNode::IfThenElse(t1, t2, t3) => match eval(t1)? { [INFO] [stdout] | ____________________________________________^ [INFO] [stdout] 10 | | AstNode::True => eval(t2), [INFO] [stdout] 11 | | AstNode::False => eval(t3), [INFO] [stdout] 12 | | _ => Ok(ast.clone()), [INFO] [stdout] 13 | | }, [INFO] [stdout] | |_________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: ControlFlow, AstNode> [INFO] [stdout] --> src/arith/eval.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | AstNode::IfThenElse(t1, t2, t3) => match eval(t1)? { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | AstNode::IfThenElse(t1, t2, t3) => match eval(t1)? { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | AstNode::IfThenElse(t1, t2, t3) => match eval(t1)? { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:10:30 [INFO] [stdout] | [INFO] [stdout] 10 | AstNode::True => eval(t2), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:11:31 [INFO] [stdout] | [INFO] [stdout] 11 | AstNode::False => eval(t3), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:12:18 [INFO] [stdout] | [INFO] [stdout] 12 | _ => Ok(ast.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:14:26 [INFO] [stdout] | [INFO] [stdout] 14 | AstNode::Zero => Ok(AstNode::Zero), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:15:29 [INFO] [stdout] | [INFO] [stdout] 15 | AstNode::Succ(t) => Ok(AstNode::Succ(Box::new(eval(t)?))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: ControlFlow, AstNode> [INFO] [stdout] --> src/arith/eval.rs:15:55 [INFO] [stdout] | [INFO] [stdout] 15 | AstNode::Succ(t) => Ok(AstNode::Succ(Box::new(eval(t)?))), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:15:55 [INFO] [stdout] | [INFO] [stdout] 15 | AstNode::Succ(t) => Ok(AstNode::Succ(Box::new(eval(t)?))), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:15:55 [INFO] [stdout] | [INFO] [stdout] 15 | AstNode::Succ(t) => Ok(AstNode::Succ(Box::new(eval(t)?))), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:16:29 [INFO] [stdout] | [INFO] [stdout] 16 | AstNode::Pred(t) => match eval(t)? { [INFO] [stdout] | _____________________________^ [INFO] [stdout] 17 | | AstNode::Zero => Ok(AstNode::Zero), [INFO] [stdout] 18 | | AstNode::Succ(t) => Ok(*t), [INFO] [stdout] 19 | | _ => Ok(ast.clone()), [INFO] [stdout] 20 | | }, [INFO] [stdout] | |_________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: ControlFlow, AstNode> [INFO] [stdout] --> src/arith/eval.rs:16:35 [INFO] [stdout] | [INFO] [stdout] 16 | AstNode::Pred(t) => match eval(t)? { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:16:35 [INFO] [stdout] | [INFO] [stdout] 16 | AstNode::Pred(t) => match eval(t)? { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:16:35 [INFO] [stdout] | [INFO] [stdout] 16 | AstNode::Pred(t) => match eval(t)? { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:17:30 [INFO] [stdout] | [INFO] [stdout] 17 | AstNode::Zero => Ok(AstNode::Zero), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:18:33 [INFO] [stdout] | [INFO] [stdout] 18 | AstNode::Succ(t) => Ok(*t), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:19:18 [INFO] [stdout] | [INFO] [stdout] 19 | _ => Ok(ast.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:21:31 [INFO] [stdout] | [INFO] [stdout] 21 | AstNode::IsZero(t) => match eval(t)? { [INFO] [stdout] | _______________________________^ [INFO] [stdout] 22 | | AstNode::Zero => Ok(AstNode::True), [INFO] [stdout] 23 | | AstNode::Succ(_) => Ok(AstNode::False), [INFO] [stdout] 24 | | _ => Ok(ast.clone()), [INFO] [stdout] 25 | | }, [INFO] [stdout] | |_________^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: ControlFlow, AstNode> [INFO] [stdout] --> src/arith/eval.rs:21:37 [INFO] [stdout] | [INFO] [stdout] 21 | AstNode::IsZero(t) => match eval(t)? { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:21:37 [INFO] [stdout] | [INFO] [stdout] 21 | AstNode::IsZero(t) => match eval(t)? { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:21:37 [INFO] [stdout] | [INFO] [stdout] 21 | AstNode::IsZero(t) => match eval(t)? { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:22:30 [INFO] [stdout] | [INFO] [stdout] 22 | AstNode::Zero => Ok(AstNode::True), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:23:33 [INFO] [stdout] | [INFO] [stdout] 23 | AstNode::Succ(_) => Ok(AstNode::False), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:24:18 [INFO] [stdout] | [INFO] [stdout] 24 | _ => Ok(ast.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this type will no longer be must used: Result [INFO] [stdout] --> src/arith/eval.rs:26:14 [INFO] [stdout] | [INFO] [stdout] 26 | _ => Ok(ast.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `tapl` (lib) due to 29 previous errors [INFO] running `Command { std: "docker" "inspect" "bac052525317cbb37f0034c3b3cd619e124b54c0e551d830ea695763c7a28a7c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "bac052525317cbb37f0034c3b3cd619e124b54c0e551d830ea695763c7a28a7c", kill_on_drop: false }` [INFO] [stdout] bac052525317cbb37f0034c3b3cd619e124b54c0e551d830ea695763c7a28a7c