[INFO] cloning repository https://github.com/MarcusDunn/order [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/MarcusDunn/order" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarcusDunn%2Forder", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarcusDunn%2Forder'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 6b424c8e82cd79f8a0c3bd16392eb617ddb806ee [INFO] testing MarcusDunn/order against try#722e1797249a965b6335aebd65d777f917e498f1 for pr-91031 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarcusDunn%2Forder" "/workspace/builds/worker-47/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-47/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/MarcusDunn/order on toolchain 722e1797249a965b6335aebd65d777f917e498f1 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] removed /workspace/builds/worker-47/source/rust-toolchain.toml [INFO] started tweaking git repo https://github.com/MarcusDunn/order [INFO] finished tweaking git repo https://github.com/MarcusDunn/order [INFO] tweaked toml for git repo https://github.com/MarcusDunn/order written to /workspace/builds/worker-47/source/Cargo.toml [INFO] crate git repo https://github.com/MarcusDunn/order already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-47/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-47/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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 78f6bf1c249ffb27ba5734e29f509835fb2f3cb982c3694b86a3cf8c01d58a5d [INFO] running `Command { std: "docker" "start" "-a" "78f6bf1c249ffb27ba5734e29f509835fb2f3cb982c3694b86a3cf8c01d58a5d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "78f6bf1c249ffb27ba5734e29f509835fb2f3cb982c3694b86a3cf8c01d58a5d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "78f6bf1c249ffb27ba5734e29f509835fb2f3cb982c3694b86a3cf8c01d58a5d", kill_on_drop: false }` [INFO] [stdout] 78f6bf1c249ffb27ba5734e29f509835fb2f3cb982c3694b86a3cf8c01d58a5d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-47/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-47/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" "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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e9027646493a16cef2e2c29f962cbf83aeb30e5c792171977d75b5b7e99e6372 [INFO] running `Command { std: "docker" "start" "-a" "e9027646493a16cef2e2c29f962cbf83aeb30e5c792171977d75b5b7e99e6372", kill_on_drop: false }` [INFO] [stderr] Compiling ucd-trie v0.1.3 [INFO] [stderr] Compiling syn v1.0.74 [INFO] [stderr] Compiling proc-macro2 v1.0.28 [INFO] [stderr] Compiling pest v2.1.3 [INFO] [stderr] Compiling quote v1.0.9 [INFO] [stderr] Compiling pest_meta v2.1.3 [INFO] [stderr] Compiling pest_generator v2.1.3 [INFO] [stderr] Compiling pest_derive v2.1.0 [INFO] [stderr] Compiling order v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/intermediate_representation.rs:105:63 [INFO] [stdout] | [INFO] [stdout] 105 | Type::Free(name) => match self.0.iter().find(|(n, i)| name == n) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Annotated` [INFO] [stdout] --> src/intermediate_representation.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | Annotated(Box, Type), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Bound` [INFO] [stdout] --> src/intermediate_representation.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | Bound(i32), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Free` [INFO] [stdout] --> src/intermediate_representation.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | Free(Name), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Application` [INFO] [stdout] --> src/intermediate_representation.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | Application(Box, Box), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Inferable` [INFO] [stdout] --> src/intermediate_representation.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | Inferable(Box), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Lambda` [INFO] [stdout] --> src/intermediate_representation.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | Lambda(Box), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Global` [INFO] [stdout] --> src/intermediate_representation.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 21 | Global(String), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Local` [INFO] [stdout] --> src/intermediate_representation.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | Local(i32), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Quote` [INFO] [stdout] --> src/intermediate_representation.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | Quote(i32), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Free` [INFO] [stdout] --> src/intermediate_representation.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | Free(Name), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Function` [INFO] [stdout] --> src/intermediate_representation.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 29 | Function(Box, Box), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Lambda` [INFO] [stdout] --> src/intermediate_representation.rs:36:5 [INFO] [stdout] | [INFO] [stdout] 36 | Lambda(Rc Value>), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Neutral` [INFO] [stdout] --> src/intermediate_representation.rs:37:5 [INFO] [stdout] | [INFO] [stdout] 37 | Neutral(Box), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `v_free` [INFO] [stdout] --> src/intermediate_representation.rs:41:8 [INFO] [stdout] | [INFO] [stdout] 41 | fn v_free(n: Name) -> Value { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `v_app` [INFO] [stdout] --> src/intermediate_representation.rs:45:8 [INFO] [stdout] | [INFO] [stdout] 45 | fn v_app(self, v: Value) -> Value { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Free` [INFO] [stdout] --> src/intermediate_representation.rs:55:5 [INFO] [stdout] | [INFO] [stdout] 55 | Free(Name), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `App` [INFO] [stdout] --> src/intermediate_representation.rs:56:5 [INFO] [stdout] | [INFO] [stdout] 56 | App(Box, Box), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `eval` [INFO] [stdout] --> src/intermediate_representation.rs:60:8 [INFO] [stdout] | [INFO] [stdout] 60 | fn eval(self, env: Vec) -> Value { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `eval` [INFO] [stdout] --> src/intermediate_representation.rs:76:8 [INFO] [stdout] | [INFO] [stdout] 76 | fn eval(self, env: Vec) -> Value { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Star` [INFO] [stdout] --> src/intermediate_representation.rs:91:5 [INFO] [stdout] | [INFO] [stdout] 91 | Star, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `HasKind` [INFO] [stdout] --> src/intermediate_representation.rs:96:5 [INFO] [stdout] | [INFO] [stdout] 96 | HasKind(Kind), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `HasType` [INFO] [stdout] --> src/intermediate_representation.rs:97:5 [INFO] [stdout] | [INFO] [stdout] 97 | HasType(Type), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct is never constructed: `Context` [INFO] [stdout] --> src/intermediate_representation.rs:100:8 [INFO] [stdout] | [INFO] [stdout] 100 | struct Context(Vec<(Name, Info)>); [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `kind` [INFO] [stdout] --> src/intermediate_representation.rs:103:8 [INFO] [stdout] | [INFO] [stdout] 103 | fn kind(&self, t: &Type, _k: Kind) -> Result<(), String> { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `type_0` [INFO] [stdout] --> src/intermediate_representation.rs:116:8 [INFO] [stdout] | [INFO] [stdout] 116 | fn type_0(&mut self, t: TermUa) -> Result { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `type_ua` [INFO] [stdout] --> src/intermediate_representation.rs:120:8 [INFO] [stdout] | [INFO] [stdout] 120 | fn type_ua(&mut self, i: i32, inferable_term: TermUa) -> Result { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `type_da` [INFO] [stdout] --> src/intermediate_representation.rs:141:8 [INFO] [stdout] | [INFO] [stdout] 141 | fn type_da(&mut self, i: i32, checkable_term: TermDa, t: &Type) -> Result<(), String> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `subst_ua` [INFO] [stdout] --> src/intermediate_representation.rs:159:4 [INFO] [stdout] | [INFO] [stdout] 159 | fn subst_ua(i: i32, r: &TermUa, inferable_term: TermUa) -> TermUa { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `subst_da` [INFO] [stdout] --> src/intermediate_representation.rs:181:4 [INFO] [stdout] | [INFO] [stdout] 181 | fn subst_da(i: i32, inferable_term: &TermUa, checkable_term: TermDa) -> TermDa { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `quote0` [INFO] [stdout] --> src/intermediate_representation.rs:193:4 [INFO] [stdout] | [INFO] [stdout] 193 | fn quote0(v: Value) -> TermDa { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `quote` [INFO] [stdout] --> src/intermediate_representation.rs:202:4 [INFO] [stdout] | [INFO] [stdout] 202 | fn quote(i: i32, v: Value) -> TermDa { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `neutral_quote` [INFO] [stdout] --> src/intermediate_representation.rs:215:4 [INFO] [stdout] | [INFO] [stdout] 215 | fn neutral_quote(i: i32, n: Neutral) -> TermUa { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `bound_free` [INFO] [stdout] --> src/intermediate_representation.rs:227:4 [INFO] [stdout] | [INFO] [stdout] 227 | fn bound_free(i: i32, n: Name) -> TermUa { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 34 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 15.11s [INFO] running `Command { std: "docker" "inspect" "e9027646493a16cef2e2c29f962cbf83aeb30e5c792171977d75b5b7e99e6372", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e9027646493a16cef2e2c29f962cbf83aeb30e5c792171977d75b5b7e99e6372", kill_on_drop: false }` [INFO] [stdout] e9027646493a16cef2e2c29f962cbf83aeb30e5c792171977d75b5b7e99e6372 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-47/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-47/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" "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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 4668ddbdcaf71f9e01939c7f6b962e1422181b863a4825f94a3dedb3524dbe72 [INFO] running `Command { std: "docker" "start" "-a" "4668ddbdcaf71f9e01939c7f6b962e1422181b863a4825f94a3dedb3524dbe72", kill_on_drop: false }` [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/intermediate_representation.rs:105:63 [INFO] [stdout] | [INFO] [stdout] 105 | Type::Free(name) => match self.0.iter().find(|(n, i)| name == n) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Annotated` [INFO] [stdout] --> src/intermediate_representation.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | Annotated(Box, Type), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Bound` [INFO] [stdout] --> src/intermediate_representation.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | Bound(i32), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Free` [INFO] [stdout] --> src/intermediate_representation.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | Free(Name), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Application` [INFO] [stdout] --> src/intermediate_representation.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | Application(Box, Box), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Inferable` [INFO] [stdout] --> src/intermediate_representation.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | Inferable(Box), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Lambda` [INFO] [stdout] --> src/intermediate_representation.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | Lambda(Box), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Global` [INFO] [stdout] --> src/intermediate_representation.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 21 | Global(String), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Local` [INFO] [stdout] --> src/intermediate_representation.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | Local(i32), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Quote` [INFO] [stdout] --> src/intermediate_representation.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | Quote(i32), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Free` [INFO] [stdout] --> src/intermediate_representation.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | Free(Name), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Function` [INFO] [stdout] --> src/intermediate_representation.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 29 | Function(Box, Box), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Lambda` [INFO] [stdout] --> src/intermediate_representation.rs:36:5 [INFO] [stdout] | [INFO] [stdout] 36 | Lambda(Rc Value>), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Neutral` [INFO] [stdout] --> src/intermediate_representation.rs:37:5 [INFO] [stdout] | [INFO] [stdout] 37 | Neutral(Box), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `v_free` [INFO] [stdout] --> src/intermediate_representation.rs:41:8 [INFO] [stdout] | [INFO] [stdout] 41 | fn v_free(n: Name) -> Value { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `v_app` [INFO] [stdout] --> src/intermediate_representation.rs:45:8 [INFO] [stdout] | [INFO] [stdout] 45 | fn v_app(self, v: Value) -> Value { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Free` [INFO] [stdout] --> src/intermediate_representation.rs:55:5 [INFO] [stdout] | [INFO] [stdout] 55 | Free(Name), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `App` [INFO] [stdout] --> src/intermediate_representation.rs:56:5 [INFO] [stdout] | [INFO] [stdout] 56 | App(Box, Box), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `eval` [INFO] [stdout] --> src/intermediate_representation.rs:60:8 [INFO] [stdout] | [INFO] [stdout] 60 | fn eval(self, env: Vec) -> Value { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `eval` [INFO] [stdout] --> src/intermediate_representation.rs:76:8 [INFO] [stdout] | [INFO] [stdout] 76 | fn eval(self, env: Vec) -> Value { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Star` [INFO] [stdout] --> src/intermediate_representation.rs:91:5 [INFO] [stdout] | [INFO] [stdout] 91 | Star, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `HasKind` [INFO] [stdout] --> src/intermediate_representation.rs:96:5 [INFO] [stdout] | [INFO] [stdout] 96 | HasKind(Kind), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `HasType` [INFO] [stdout] --> src/intermediate_representation.rs:97:5 [INFO] [stdout] | [INFO] [stdout] 97 | HasType(Type), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct is never constructed: `Context` [INFO] [stdout] --> src/intermediate_representation.rs:100:8 [INFO] [stdout] | [INFO] [stdout] 100 | struct Context(Vec<(Name, Info)>); [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `kind` [INFO] [stdout] --> src/intermediate_representation.rs:103:8 [INFO] [stdout] | [INFO] [stdout] 103 | fn kind(&self, t: &Type, _k: Kind) -> Result<(), String> { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `type_0` [INFO] [stdout] --> src/intermediate_representation.rs:116:8 [INFO] [stdout] | [INFO] [stdout] 116 | fn type_0(&mut self, t: TermUa) -> Result { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling order v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: associated function is never used: `type_ua` [INFO] [stdout] --> src/intermediate_representation.rs:120:8 [INFO] [stdout] | [INFO] [stdout] 120 | fn type_ua(&mut self, i: i32, inferable_term: TermUa) -> Result { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `type_da` [INFO] [stdout] --> src/intermediate_representation.rs:141:8 [INFO] [stdout] | [INFO] [stdout] 141 | fn type_da(&mut self, i: i32, checkable_term: TermDa, t: &Type) -> Result<(), String> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `subst_ua` [INFO] [stdout] --> src/intermediate_representation.rs:159:4 [INFO] [stdout] | [INFO] [stdout] 159 | fn subst_ua(i: i32, r: &TermUa, inferable_term: TermUa) -> TermUa { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `subst_da` [INFO] [stdout] --> src/intermediate_representation.rs:181:4 [INFO] [stdout] | [INFO] [stdout] 181 | fn subst_da(i: i32, inferable_term: &TermUa, checkable_term: TermDa) -> TermDa { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `quote0` [INFO] [stdout] --> src/intermediate_representation.rs:193:4 [INFO] [stdout] | [INFO] [stdout] 193 | fn quote0(v: Value) -> TermDa { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `quote` [INFO] [stdout] --> src/intermediate_representation.rs:202:4 [INFO] [stdout] | [INFO] [stdout] 202 | fn quote(i: i32, v: Value) -> TermDa { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `neutral_quote` [INFO] [stdout] --> src/intermediate_representation.rs:215:4 [INFO] [stdout] | [INFO] [stdout] 215 | fn neutral_quote(i: i32, n: Neutral) -> TermUa { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `bound_free` [INFO] [stdout] --> src/intermediate_representation.rs:227:4 [INFO] [stdout] | [INFO] [stdout] 227 | fn bound_free(i: i32, n: Name) -> TermUa { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 34 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/intermediate_representation.rs:105:63 [INFO] [stdout] | [INFO] [stdout] 105 | Type::Free(name) => match self.0.iter().find(|(n, i)| name == n) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `term1` [INFO] [stdout] --> src/intermediate_representation.rs:274:13 [INFO] [stdout] | [INFO] [stdout] 274 | let term1 = TermUa::Application( [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_term1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Local` [INFO] [stdout] --> src/intermediate_representation.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | Local(i32), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Star` [INFO] [stdout] --> src/intermediate_representation.rs:91:5 [INFO] [stdout] | [INFO] [stdout] 91 | Star, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `HasKind` [INFO] [stdout] --> src/intermediate_representation.rs:96:5 [INFO] [stdout] | [INFO] [stdout] 96 | HasKind(Kind), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `HasType` [INFO] [stdout] --> src/intermediate_representation.rs:97:5 [INFO] [stdout] | [INFO] [stdout] 97 | HasType(Type), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct is never constructed: `Context` [INFO] [stdout] --> src/intermediate_representation.rs:100:8 [INFO] [stdout] | [INFO] [stdout] 100 | struct Context(Vec<(Name, Info)>); [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `kind` [INFO] [stdout] --> src/intermediate_representation.rs:103:8 [INFO] [stdout] | [INFO] [stdout] 103 | fn kind(&self, t: &Type, _k: Kind) -> Result<(), String> { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `type_0` [INFO] [stdout] --> src/intermediate_representation.rs:116:8 [INFO] [stdout] | [INFO] [stdout] 116 | fn type_0(&mut self, t: TermUa) -> Result { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `type_ua` [INFO] [stdout] --> src/intermediate_representation.rs:120:8 [INFO] [stdout] | [INFO] [stdout] 120 | fn type_ua(&mut self, i: i32, inferable_term: TermUa) -> Result { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `type_da` [INFO] [stdout] --> src/intermediate_representation.rs:141:8 [INFO] [stdout] | [INFO] [stdout] 141 | fn type_da(&mut self, i: i32, checkable_term: TermDa, t: &Type) -> Result<(), String> { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `subst_ua` [INFO] [stdout] --> src/intermediate_representation.rs:159:4 [INFO] [stdout] | [INFO] [stdout] 159 | fn subst_ua(i: i32, r: &TermUa, inferable_term: TermUa) -> TermUa { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `subst_da` [INFO] [stdout] --> src/intermediate_representation.rs:181:4 [INFO] [stdout] | [INFO] [stdout] 181 | fn subst_da(i: i32, inferable_term: &TermUa, checkable_term: TermDa) -> TermDa { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 13 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 1.20s [INFO] running `Command { std: "docker" "inspect" "4668ddbdcaf71f9e01939c7f6b962e1422181b863a4825f94a3dedb3524dbe72", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4668ddbdcaf71f9e01939c7f6b962e1422181b863a4825f94a3dedb3524dbe72", kill_on_drop: false }` [INFO] [stdout] 4668ddbdcaf71f9e01939c7f6b962e1422181b863a4825f94a3dedb3524dbe72 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-47/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-47/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" "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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] b3f8368489f944a69ed92f86af11aeb27b2dd2b662eb20ed983e68448b18c5ab [INFO] running `Command { std: "docker" "start" "-a" "b3f8368489f944a69ed92f86af11aeb27b2dd2b662eb20ed983e68448b18c5ab", kill_on_drop: false }` [INFO] [stderr] warning: unused variable: `i` [INFO] [stderr] --> src/intermediate_representation.rs:105:63 [INFO] [stderr] | [INFO] [stderr] 105 | Type::Free(name) => match self.0.iter().find(|(n, i)| name == n) { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Annotated` [INFO] [stderr] --> src/intermediate_representation.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | Annotated(Box, Type), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Bound` [INFO] [stderr] --> src/intermediate_representation.rs:7:5 [INFO] [stderr] | [INFO] [stderr] 7 | Bound(i32), [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Free` [INFO] [stderr] --> src/intermediate_representation.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 8 | Free(Name), [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Application` [INFO] [stderr] --> src/intermediate_representation.rs:9:5 [INFO] [stderr] | [INFO] [stderr] 9 | Application(Box, Box), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Inferable` [INFO] [stderr] --> src/intermediate_representation.rs:15:5 [INFO] [stderr] | [INFO] [stderr] 15 | Inferable(Box), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Lambda` [INFO] [stderr] --> src/intermediate_representation.rs:16:5 [INFO] [stderr] | [INFO] [stderr] 16 | Lambda(Box), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Global` [INFO] [stderr] --> src/intermediate_representation.rs:21:5 [INFO] [stderr] | [INFO] [stderr] 21 | Global(String), [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Local` [INFO] [stderr] --> src/intermediate_representation.rs:22:5 [INFO] [stderr] | [INFO] [stderr] 22 | Local(i32), [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Quote` [INFO] [stderr] --> src/intermediate_representation.rs:23:5 [INFO] [stderr] | [INFO] [stderr] 23 | Quote(i32), [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Free` [INFO] [stderr] --> src/intermediate_representation.rs:28:5 [INFO] [stderr] | [INFO] [stderr] 28 | Free(Name), [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Function` [INFO] [stderr] --> src/intermediate_representation.rs:29:5 [INFO] [stderr] | [INFO] [stderr] 29 | Function(Box, Box), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Lambda` [INFO] [stderr] --> src/intermediate_representation.rs:36:5 [INFO] [stderr] | [INFO] [stderr] 36 | Lambda(Rc Value>), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Neutral` [INFO] [stderr] --> src/intermediate_representation.rs:37:5 [INFO] [stderr] | [INFO] [stderr] 37 | Neutral(Box), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `v_free` [INFO] [stderr] --> src/intermediate_representation.rs:41:8 [INFO] [stderr] | [INFO] [stderr] 41 | fn v_free(n: Name) -> Value { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `v_app` [INFO] [stderr] --> src/intermediate_representation.rs:45:8 [INFO] [stderr] | [INFO] [stderr] 45 | fn v_app(self, v: Value) -> Value { [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Free` [INFO] [stderr] --> src/intermediate_representation.rs:55:5 [INFO] [stderr] | [INFO] [stderr] 55 | Free(Name), [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `App` [INFO] [stderr] --> src/intermediate_representation.rs:56:5 [INFO] [stderr] | [INFO] [stderr] 56 | App(Box, Box), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `eval` [INFO] [stderr] --> src/intermediate_representation.rs:60:8 [INFO] [stderr] | [INFO] [stderr] 60 | fn eval(self, env: Vec) -> Value { [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `eval` [INFO] [stderr] --> src/intermediate_representation.rs:76:8 [INFO] [stderr] | [INFO] [stderr] 76 | fn eval(self, env: Vec) -> Value { [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Star` [INFO] [stderr] --> src/intermediate_representation.rs:91:5 [INFO] [stderr] | [INFO] [stderr] 91 | Star, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `HasKind` [INFO] [stderr] --> src/intermediate_representation.rs:96:5 [INFO] [stderr] | [INFO] [stderr] 96 | HasKind(Kind), [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `HasType` [INFO] [stderr] --> src/intermediate_representation.rs:97:5 [INFO] [stderr] | [INFO] [stderr] 97 | HasType(Type), [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct is never constructed: `Context` [INFO] [stderr] --> src/intermediate_representation.rs:100:8 [INFO] [stderr] | [INFO] [stderr] 100 | struct Context(Vec<(Name, Info)>); [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `kind` [INFO] [stderr] --> src/intermediate_representation.rs:103:8 [INFO] [stderr] | [INFO] [stderr] 103 | fn kind(&self, t: &Type, _k: Kind) -> Result<(), String> { [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `type_0` [INFO] [stderr] --> src/intermediate_representation.rs:116:8 [INFO] [stderr] | [INFO] [stderr] 116 | fn type_0(&mut self, t: TermUa) -> Result { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `type_ua` [INFO] [stderr] --> src/intermediate_representation.rs:120:8 [INFO] [stderr] | [INFO] [stderr] 120 | fn type_ua(&mut self, i: i32, inferable_term: TermUa) -> Result { [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `type_da` [INFO] [stderr] --> src/intermediate_representation.rs:141:8 [INFO] [stderr] | [INFO] [stderr] 141 | fn type_da(&mut self, i: i32, checkable_term: TermDa, t: &Type) -> Result<(), String> { [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `subst_ua` [INFO] [stderr] --> src/intermediate_representation.rs:159:4 [INFO] [stderr] | [INFO] [stderr] 159 | fn subst_ua(i: i32, r: &TermUa, inferable_term: TermUa) -> TermUa { [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `subst_da` [INFO] [stderr] --> src/intermediate_representation.rs:181:4 [INFO] [stderr] | [INFO] [stderr] 181 | fn subst_da(i: i32, inferable_term: &TermUa, checkable_term: TermDa) -> TermDa { [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `quote0` [INFO] [stderr] --> src/intermediate_representation.rs:193:4 [INFO] [stderr] | [INFO] [stderr] 193 | fn quote0(v: Value) -> TermDa { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `quote` [INFO] [stderr] --> src/intermediate_representation.rs:202:4 [INFO] [stderr] | [INFO] [stderr] 202 | fn quote(i: i32, v: Value) -> TermDa { [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `neutral_quote` [INFO] [stderr] --> src/intermediate_representation.rs:215:4 [INFO] [stderr] | [INFO] [stderr] 215 | fn neutral_quote(i: i32, n: Neutral) -> TermUa { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `bound_free` [INFO] [stderr] --> src/intermediate_representation.rs:227:4 [INFO] [stderr] | [INFO] [stderr] 227 | fn bound_free(i: i32, n: Name) -> TermUa { [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `term1` [INFO] [stderr] --> src/intermediate_representation.rs:274:13 [INFO] [stderr] | [INFO] [stderr] 274 | let term1 = TermUa::Application( [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_term1` [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `Local` [INFO] [stderr] --> src/intermediate_representation.rs:22:5 [INFO] [stderr] | [INFO] [stderr] 22 | Local(i32), [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: `order` (lib) generated 34 warnings [INFO] [stderr] warning: `order` (lib test) generated 13 warnings (11 duplicates) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.12s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/order-6c37feada86b03ed) [INFO] [stdout] [INFO] [stdout] running 27 tests [INFO] [stdout] test frontend::tests::test_action1 ... ok [INFO] [stdout] test frontend::tests::test_declaration1 ... ok [INFO] [stdout] test frontend::tests::test_declaration2 ... ok [INFO] [stdout] test frontend::tests::test_declaration3 ... ok [INFO] [stdout] test frontend::tests::test_function_definition1 ... ok [INFO] [stdout] test frontend::tests::test_function_definition2 ... ok [INFO] [stdout] test frontend::tests::test_identifier1 ... ok [INFO] [stdout] test frontend::tests::test_identifier2 ... ok [INFO] [stdout] test frontend::tests::test_identifier3 ... ok [INFO] [stdout] test frontend::tests::test_number_literal2 ... ok [INFO] [stdout] test frontend::tests::test_literal3 ... ok [INFO] [stdout] test frontend::tests::test_number_literal1 ... ok [INFO] [stdout] test frontend::tests::test_literal1 ... ok [INFO] [stdout] test intermediate_representation::tests::create_const ... ok [INFO] [stdout] test intermediate_representation::tests::create_t_free ... ok [INFO] [stdout] test frontend::tests::test_literal2 ... ok [INFO] [stdout] test frontend::tests::test_signature1 ... ok [INFO] [stdout] test frontend::tests::test_pattern1 ... ok [INFO] [stdout] test frontend::tests::test_resolver ... ok [INFO] [stdout] test frontend::tests::test_signature3 ... ok [INFO] [stdout] test frontend::tests::test_signature2 ... ok [INFO] [stdout] test intermediate_representation::tests::create_term1 ... ok [INFO] [stdout] test intermediate_representation::tests::create_id ... ok [INFO] [stdout] test frontend::tests::test_string_literal1 ... ok [INFO] [stdout] test frontend::tests::test_signature4 ... ok [INFO] [stdout] test intermediate_representation::tests::create_free ... ok [INFO] [stdout] test intermediate_representation::tests::eval_and_quote_term1 ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- intermediate_representation::tests::eval_and_quote_term1 stdout ---- [INFO] [stdout] thread 'intermediate_representation::tests::eval_and_quote_term1' panicked at 'called `Option::unwrap()` on a `None` value', src/intermediate_representation.rs:63:53 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x55b832a38fcc - std::backtrace_rs::backtrace::libunwind::trace::h7630ba4cba718aa0 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x55b832a38fcc - std::backtrace_rs::backtrace::trace_unsynchronized::he7498e79c157f5ac [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x55b832a38fcc - std::sys_common::backtrace::_print_fmt::hdaebadaee17bca49 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x55b832a38fcc - ::fmt::h82b0e3aaf8a96140 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x55b832a5ba2c - core::fmt::write::h72801a82c94e6ff1 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/core/src/fmt/mod.rs:1149:17 [INFO] [stdout] 5: 0x55b832a34f05 - std::io::Write::write_fmt::h21d7683cabdb4c35 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/io/mod.rs:1697:15 [INFO] [stdout] 6: 0x55b832a3aa20 - std::sys_common::backtrace::_print::h1c9a1d19c48821c1 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x55b832a3aa20 - std::sys_common::backtrace::print::h7ce8802039fa9d0e [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x55b832a3aa20 - std::panicking::default_hook::{{closure}}::hb2a74a8c1499c326 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/panicking.rs:211:50 [INFO] [stdout] 9: 0x55b832a3a606 - std::panicking::default_hook::hf4f180b00076f2b2 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/panicking.rs:225:9 [INFO] [stdout] 10: 0x55b832a3b0d4 - std::panicking::rust_panic_with_hook::he85ce8435493b711 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/panicking.rs:606:17 [INFO] [stdout] 11: 0x55b832a3ab82 - std::panicking::begin_panic_handler::{{closure}}::h31e15f69e6235bd2 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/panicking.rs:500:13 [INFO] [stdout] 12: 0x55b832a39484 - std::sys_common::backtrace::__rust_end_short_backtrace::hfce2fadb61aaa3ae [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/sys_common/backtrace.rs:139:18 [INFO] [stdout] 13: 0x55b832a3ab19 - rust_begin_unwind [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/panicking.rs:498:5 [INFO] [stdout] 14: 0x55b8329ae8f1 - core::panicking::panic_fmt::h7b8580d81fcbbacd [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/core/src/panicking.rs:107:14 [INFO] [stdout] 15: 0x55b8329ae83d - core::panicking::panic::h50b51d19800453c0 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/core/src/panicking.rs:48:5 [INFO] [stdout] 16: 0x55b8329be39c - core::option::Option::unwrap::h45e72537783e51fb [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/core/src/option.rs:746:21 [INFO] [stdout] 17: 0x55b8329d626e - order::intermediate_representation::TermUa::eval::h8586583f289b2c69 [INFO] [stdout] at /opt/rustwide/workdir/src/intermediate_representation.rs:63:33 [INFO] [stdout] 18: 0x55b8329d651f - order::intermediate_representation::TermDa::eval::h75c35125d18e2b46 [INFO] [stdout] at /opt/rustwide/workdir/src/intermediate_representation.rs:78:41 [INFO] [stdout] 19: 0x55b8329d67da - order::intermediate_representation::TermDa::eval::{{closure}}::h392508c8b55c7a63 [INFO] [stdout] at /opt/rustwide/workdir/src/intermediate_representation.rs:82:21 [INFO] [stdout] 20: 0x55b8329d5e27 - order::intermediate_representation::Value::v_app::hb6e58370986e896e [INFO] [stdout] at /opt/rustwide/workdir/src/intermediate_representation.rs:47:33 [INFO] [stdout] 21: 0x55b8329d61ab - order::intermediate_representation::TermUa::eval::h8586583f289b2c69 [INFO] [stdout] at /opt/rustwide/workdir/src/intermediate_representation.rs:65:51 [INFO] [stdout] 22: 0x55b8329d3acc - order::intermediate_representation::tests::eval_and_quote_term1::h2b865c1c70ae915a [INFO] [stdout] at /opt/rustwide/workdir/src/intermediate_representation.rs:289:29 [INFO] [stdout] 23: 0x55b8329d35ca - order::intermediate_representation::tests::eval_and_quote_term1::{{closure}}::h472b95787b7b906d [INFO] [stdout] at /opt/rustwide/workdir/src/intermediate_representation.rs:281:5 [INFO] [stdout] 24: 0x55b8329d136e - core::ops::function::FnOnce::call_once::h98d96a8ad0705aa1 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 25: 0x55b832a0c413 - core::ops::function::FnOnce::call_once::h449577f1c5b077cb [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 26: 0x55b832a0c413 - test::__rust_begin_short_backtrace::h8c2a0a5090591869 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/test/src/lib.rs:585:5 [INFO] [stdout] 27: 0x55b832a0afa7 - as core::ops::function::FnOnce>::call_once::hea00a22128a38543 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/alloc/src/boxed.rs:1694:9 [INFO] [stdout] 28: 0x55b832a0afa7 - as core::ops::function::FnOnce<()>>::call_once::he10b35c3c50d78a0 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 29: 0x55b832a0afa7 - std::panicking::try::do_call::hc868e78bbc5af2ab [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/panicking.rs:406:40 [INFO] [stdout] 30: 0x55b832a0afa7 - std::panicking::try::he468aede74df1b04 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/panicking.rs:370:19 [INFO] [stdout] 31: 0x55b832a0afa7 - std::panic::catch_unwind::hce3c9152e1cf772d [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/panic.rs:133:14 [INFO] [stdout] 32: 0x55b832a0afa7 - test::run_test_in_process::h9c4ab8162080cf8c [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/test/src/lib.rs:608:18 [INFO] [stdout] 33: 0x55b832a0afa7 - test::run_test::run_test_inner::{{closure}}::he9483433cef16afe [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/test/src/lib.rs:500:39 [INFO] [stdout] 34: 0x55b8329d82ee - test::run_test::run_test_inner::{{closure}}::h479f1f872a5501ea [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/test/src/lib.rs:527:37 [INFO] [stdout] 35: 0x55b8329d82ee - std::sys_common::backtrace::__rust_begin_short_backtrace::h0f1e9b1f279687bc [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/sys_common/backtrace.rs:123:18 [INFO] [stdout] 36: 0x55b8329dd118 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::he5560613c5f5cb83 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/thread/mod.rs:484:17 [INFO] [stdout] 37: 0x55b8329dd118 - as core::ops::function::FnOnce<()>>::call_once::h8190a68cb05ab92f [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 38: 0x55b8329dd118 - std::panicking::try::do_call::h6ae22f5ac22596e4 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/panicking.rs:406:40 [INFO] [stdout] 39: 0x55b8329dd118 - std::panicking::try::h2381c25487d6a7c2 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/panicking.rs:370:19 [INFO] [stdout] 40: 0x55b8329dd118 - std::panic::catch_unwind::hfe902f4d5c9d7b6d [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/panic.rs:133:14 [INFO] [stdout] 41: 0x55b8329dd118 - std::thread::Builder::spawn_unchecked::{{closure}}::h547fad40771a584e [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/thread/mod.rs:483:30 [INFO] [stdout] 42: 0x55b8329dd118 - core::ops::function::FnOnce::call_once{{vtable.shim}}::he8602a9971738410 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 43: 0x55b832a3fb63 - as core::ops::function::FnOnce>::call_once::he162a5c338a10a39 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/alloc/src/boxed.rs:1694:9 [INFO] [stdout] 44: 0x55b832a3fb63 - as core::ops::function::FnOnce>::call_once::hb27497b21740dd97 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/alloc/src/boxed.rs:1694:9 [INFO] [stdout] 45: 0x55b832a3fb63 - std::sys::unix::thread::Thread::new::thread_start::he467e990e49c5136 [INFO] [stdout] at /rustc/722e1797249a965b6335aebd65d777f917e498f1/library/std/src/sys/unix/thread.rs:106:17 [INFO] [stdout] 46: 0x7fe80cf27609 - start_thread [INFO] [stdout] 47: 0x7fe80ccf9293 - clone [INFO] [stdout] 48: 0x0 - [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] intermediate_representation::tests::eval_and_quote_term1 [INFO] [stdout] [INFO] [stdout] test result: FAILED. 26 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.18s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass '--lib' [INFO] running `Command { std: "docker" "inspect" "b3f8368489f944a69ed92f86af11aeb27b2dd2b662eb20ed983e68448b18c5ab", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b3f8368489f944a69ed92f86af11aeb27b2dd2b662eb20ed983e68448b18c5ab", kill_on_drop: false }` [INFO] [stdout] b3f8368489f944a69ed92f86af11aeb27b2dd2b662eb20ed983e68448b18c5ab