[INFO] cloning repository https://github.com/louiskroener/imp-rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/louiskroener/imp-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flouiskroener%2Fimp-rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flouiskroener%2Fimp-rust'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 269094a9c5ebc4b311a7223c70bce53660a0147c
[INFO] checking louiskroener/imp-rust against master#1f12b9b0fdbe735968ac002792a720f0ba4faca6 for crater-rollup-uwu
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flouiskroener%2Fimp-rust" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/louiskroener/imp-rust on toolchain 1f12b9b0fdbe735968ac002792a720f0ba4faca6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/louiskroener/imp-rust
[INFO] finished tweaking git repo https://github.com/louiskroener/imp-rust
[INFO] tweaked toml for git repo https://github.com/louiskroener/imp-rust written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/louiskroener/imp-rust 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" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 52c29c3cb411671ce71ed8d132c4704b0cd75f9d50f471042652eecfd99ead55
[INFO] running `Command { std: "docker" "start" "-a" "52c29c3cb411671ce71ed8d132c4704b0cd75f9d50f471042652eecfd99ead55", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "52c29c3cb411671ce71ed8d132c4704b0cd75f9d50f471042652eecfd99ead55", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "52c29c3cb411671ce71ed8d132c4704b0cd75f9d50f471042652eecfd99ead55", kill_on_drop: false }`
[INFO] [stdout] 52c29c3cb411671ce71ed8d132c4704b0cd75f9d50f471042652eecfd99ead55
[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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5a8aabf1fdcc149984c5c82b0f3ad83a9fba930f42efc74eef823b4ca3b7daa3
[INFO] running `Command { std: "docker" "start" "-a" "5a8aabf1fdcc149984c5c82b0f3ad83a9fba930f42efc74eef823b4ca3b7daa3", kill_on_drop: false }`
[INFO] [stderr]     Checking imp-rust v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/generics/imp/interpreter.rs:181:20
[INFO] [stdout]     |
[INFO] [stdout] 181 |     fn eval(&self, s: &mut ValState) -> Val {
[INFO] [stdout]     |                    ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/generics/imp/interpreter.rs:184:21
[INFO] [stdout]     |
[INFO] [stdout] 184 |     fn infer(&self, t: &mut TyState) -> Type {
[INFO] [stdout]     |                     ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/generics/imp/interpreter.rs:192:20
[INFO] [stdout]     |
[INFO] [stdout] 192 |     fn eval(&self, s: &mut ValState) -> Val {
[INFO] [stdout]     |                    ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/generics/imp/interpreter.rs:195:21
[INFO] [stdout]     |
[INFO] [stdout] 195 |     fn infer(&self, t: &mut TyState) -> Type {
[INFO] [stdout]     |                     ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/generics/imp/interpreter.rs:181:20
[INFO] [stdout]     |
[INFO] [stdout] 181 |     fn eval(&self, s: &mut ValState) -> Val {
[INFO] [stdout]     |                    ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/generics/imp/interpreter.rs:184:21
[INFO] [stdout]     |
[INFO] [stdout] 184 |     fn infer(&self, t: &mut TyState) -> Type {
[INFO] [stdout]     |                     ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/generics/imp/interpreter.rs:192:20
[INFO] [stdout]     |
[INFO] [stdout] 192 |     fn eval(&self, s: &mut ValState) -> Val {
[INFO] [stdout]     |                    ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/generics/imp/interpreter.rs:195:21
[INFO] [stdout]     |
[INFO] [stdout] 195 |     fn infer(&self, t: &mut TyState) -> Type {
[INFO] [stdout]     |                     ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/go_model/imp/interpreter.rs:181:20
[INFO] [stdout]     |
[INFO] [stdout] 181 |     fn eval(&self, s: &mut ValState) -> Val {
[INFO] [stdout]     |                    ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/go_model/imp/interpreter.rs:184:21
[INFO] [stdout]     |
[INFO] [stdout] 184 |     fn infer(&self, t: &mut TyState) -> Type {
[INFO] [stdout]     |                     ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/go_model/imp/interpreter.rs:192:20
[INFO] [stdout]     |
[INFO] [stdout] 192 |     fn eval(&self, s: &mut ValState) -> Val {
[INFO] [stdout]     |                    ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/go_model/imp/interpreter.rs:195:21
[INFO] [stdout]     |
[INFO] [stdout] 195 |     fn infer(&self, t: &mut TyState) -> Type {
[INFO] [stdout]     |                     ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/go_model/imp/interpreter.rs:181:20
[INFO] [stdout]     |
[INFO] [stdout] 181 |     fn eval(&self, s: &mut ValState) -> Val {
[INFO] [stdout]     |                    ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/go_model/imp/interpreter.rs:184:21
[INFO] [stdout]     |
[INFO] [stdout] 184 |     fn infer(&self, t: &mut TyState) -> Type {
[INFO] [stdout]     |                     ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/go_model/imp/interpreter.rs:192:20
[INFO] [stdout]     |
[INFO] [stdout] 192 |     fn eval(&self, s: &mut ValState) -> Val {
[INFO] [stdout]     |                    ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/go_model/imp/interpreter.rs:195:21
[INFO] [stdout]     |
[INFO] [stdout] 195 |     fn infer(&self, t: &mut TyState) -> Type {
[INFO] [stdout]     |                     ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `show_val` is never used
[INFO] [stdout]   --> src/enums.rs:39:4
[INFO] [stdout]    |
[INFO] [stdout] 39 | fn show_val(v: Val) -> String {
[INFO] [stdout]    |    ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `show_type` is never used
[INFO] [stdout]   --> src/enums.rs:72:4
[INFO] [stdout]    |
[INFO] [stdout] 72 | fn show_type(t: Type) -> String {
[INFO] [stdout]    |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `equal` is never used
[INFO] [stdout]   --> src/generics/ast.rs:25:8
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub fn equal<T1: Exp, T2: Exp>(left: Box<T1>, right: Box<T2>) -> Box<Equ<T1, T2>> {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `not` is never used
[INFO] [stdout]   --> src/generics/ast.rs:28:8
[INFO] [stdout]    |
[INFO] [stdout] 28 | pub fn not<T: Exp>(exp: Box<T>) -> Box<Neg<T>> {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `group` is never used
[INFO] [stdout]   --> src/generics/ast.rs:31:8
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub fn group<T: Exp>(exp: Box<T>) -> Box<Grp<T>> {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `assign` is never used
[INFO] [stdout]   --> src/generics/ast.rs:44:8
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub fn assign<T: Exp>(lhs: Var, rhs: Box<T>) -> Box<Assign<T>> {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `ifthenelse` is never used
[INFO] [stdout]   --> src/generics/ast.rs:47:8
[INFO] [stdout]    |
[INFO] [stdout] 47 | pub fn ifthenelse<T1: Exp, T2: Stmt, T3: Stmt>(
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `print` is never used
[INFO] [stdout]   --> src/generics/ast.rs:61:8
[INFO] [stdout]    |
[INFO] [stdout] 61 | pub fn print<T: Exp>(print_exp: Box<T>) -> Box<Print<T>> {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `show_val` is never used
[INFO] [stdout]   --> src/generics/imp/mod.rs:44:4
[INFO] [stdout]    |
[INFO] [stdout] 44 | fn show_val(v: Val) -> String {
[INFO] [stdout]    |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `show_type` is never used
[INFO] [stdout]   --> src/generics/imp/mod.rs:73:4
[INFO] [stdout]    |
[INFO] [stdout] 73 | fn show_type(t: Type) -> String {
[INFO] [stdout]    |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `equal` is never used
[INFO] [stdout]   --> src/go_model/ast.rs:26:8
[INFO] [stdout]    |
[INFO] [stdout] 26 | pub fn equal(x: Box<dyn Exp>, y: Box<dyn Exp>) -> Box<dyn Exp> {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `not` is never used
[INFO] [stdout]   --> src/go_model/ast.rs:29:8
[INFO] [stdout]    |
[INFO] [stdout] 29 | pub fn not(exp: Box<dyn Exp>) -> Box<dyn Exp> {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `group` is never used
[INFO] [stdout]   --> src/go_model/ast.rs:32:8
[INFO] [stdout]    |
[INFO] [stdout] 32 | pub fn group(exp: Box<dyn Exp>) -> Box<dyn Exp> {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `assign` is never used
[INFO] [stdout]   --> src/go_model/ast.rs:45:8
[INFO] [stdout]    |
[INFO] [stdout] 45 | pub fn assign(lhs: Var, rhs: Box<dyn Exp>) -> Box<dyn Stmt> {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `show_val` is never used
[INFO] [stdout]   --> src/enums.rs:39:4
[INFO] [stdout]    |
[INFO] [stdout] 39 | fn show_val(v: Val) -> String {
[INFO] [stdout]    |    ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `ifthenelse` is never used
[INFO] [stdout]   --> src/go_model/ast.rs:48:8
[INFO] [stdout]    |
[INFO] [stdout] 48 | pub fn ifthenelse(
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `show_type` is never used
[INFO] [stdout]   --> src/enums.rs:72:4
[INFO] [stdout]    |
[INFO] [stdout] 72 | fn show_type(t: Type) -> String {
[INFO] [stdout]    |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `print` is never used
[INFO] [stdout]   --> src/go_model/ast.rs:62:8
[INFO] [stdout]    |
[INFO] [stdout] 62 | pub fn print(print_exp: Box<dyn Exp>) -> Box<dyn Stmt> {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `equal` is never used
[INFO] [stdout]   --> src/generics/ast.rs:25:8
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub fn equal<T1: Exp, T2: Exp>(left: Box<T1>, right: Box<T2>) -> Box<Equ<T1, T2>> {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `show_val` is never used
[INFO] [stdout]   --> src/go_model/imp/mod.rs:44:4
[INFO] [stdout]    |
[INFO] [stdout] 44 | fn show_val(v: Val) -> String {
[INFO] [stdout]    |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `show_type` is never used
[INFO] [stdout]   --> src/go_model/imp/mod.rs:73:4
[INFO] [stdout]    |
[INFO] [stdout] 73 | fn show_type(t: Type) -> String {
[INFO] [stdout]    |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `not` is never used
[INFO] [stdout]   --> src/generics/ast.rs:28:8
[INFO] [stdout]    |
[INFO] [stdout] 28 | pub fn not<T: Exp>(exp: Box<T>) -> Box<Neg<T>> {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `group` is never used
[INFO] [stdout]   --> src/generics/ast.rs:31:8
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub fn group<T: Exp>(exp: Box<T>) -> Box<Grp<T>> {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `assign` is never used
[INFO] [stdout]   --> src/generics/ast.rs:44:8
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub fn assign<T: Exp>(lhs: Var, rhs: Box<T>) -> Box<Assign<T>> {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `ifthenelse` is never used
[INFO] [stdout]   --> src/generics/ast.rs:47:8
[INFO] [stdout]    |
[INFO] [stdout] 47 | pub fn ifthenelse<T1: Exp, T2: Stmt, T3: Stmt>(
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `print` is never used
[INFO] [stdout]   --> src/generics/ast.rs:61:8
[INFO] [stdout]    |
[INFO] [stdout] 61 | pub fn print<T: Exp>(print_exp: Box<T>) -> Box<Print<T>> {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `show_val` is never used
[INFO] [stdout]   --> src/generics/imp/mod.rs:44:4
[INFO] [stdout]    |
[INFO] [stdout] 44 | fn show_val(v: Val) -> String {
[INFO] [stdout]    |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `show_type` is never used
[INFO] [stdout]   --> src/generics/imp/mod.rs:73:4
[INFO] [stdout]    |
[INFO] [stdout] 73 | fn show_type(t: Type) -> String {
[INFO] [stdout]    |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `equal` is never used
[INFO] [stdout]   --> src/go_model/ast.rs:26:8
[INFO] [stdout]    |
[INFO] [stdout] 26 | pub fn equal(x: Box<dyn Exp>, y: Box<dyn Exp>) -> Box<dyn Exp> {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `not` is never used
[INFO] [stdout]   --> src/go_model/ast.rs:29:8
[INFO] [stdout]    |
[INFO] [stdout] 29 | pub fn not(exp: Box<dyn Exp>) -> Box<dyn Exp> {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `group` is never used
[INFO] [stdout]   --> src/go_model/ast.rs:32:8
[INFO] [stdout]    |
[INFO] [stdout] 32 | pub fn group(exp: Box<dyn Exp>) -> Box<dyn Exp> {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `assign` is never used
[INFO] [stdout]   --> src/go_model/ast.rs:45:8
[INFO] [stdout]    |
[INFO] [stdout] 45 | pub fn assign(lhs: Var, rhs: Box<dyn Exp>) -> Box<dyn Stmt> {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `ifthenelse` is never used
[INFO] [stdout]   --> src/go_model/ast.rs:48:8
[INFO] [stdout]    |
[INFO] [stdout] 48 | pub fn ifthenelse(
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `print` is never used
[INFO] [stdout]   --> src/go_model/ast.rs:62:8
[INFO] [stdout]    |
[INFO] [stdout] 62 | pub fn print(print_exp: Box<dyn Exp>) -> Box<dyn Stmt> {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `show_val` is never used
[INFO] [stdout]   --> src/go_model/imp/mod.rs:44:4
[INFO] [stdout]    |
[INFO] [stdout] 44 | fn show_val(v: Val) -> String {
[INFO] [stdout]    |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `show_type` is never used
[INFO] [stdout]   --> src/go_model/imp/mod.rs:73:4
[INFO] [stdout]    |
[INFO] [stdout] 73 | fn show_type(t: Type) -> String {
[INFO] [stdout]    |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 26 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 26 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.20s
[INFO] running `Command { std: "docker" "inspect" "5a8aabf1fdcc149984c5c82b0f3ad83a9fba930f42efc74eef823b4ca3b7daa3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5a8aabf1fdcc149984c5c82b0f3ad83a9fba930f42efc74eef823b4ca3b7daa3", kill_on_drop: false }`
[INFO] [stdout] 5a8aabf1fdcc149984c5c82b0f3ad83a9fba930f42efc74eef823b4ca3b7daa3