[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#d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2 for pr-86479 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarcusDunn%2Forder" "/workspace/builds/worker-12/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-12/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/MarcusDunn/order on toolchain d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] removed /workspace/builds/worker-12/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-12/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" "+d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] cf182714f7417a0b2ff0fccebe55333a4cdddae0d5c8aa83cd723c7696e3dde4 [INFO] running `Command { std: "docker" "start" "-a" "cf182714f7417a0b2ff0fccebe55333a4cdddae0d5c8aa83cd723c7696e3dde4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "cf182714f7417a0b2ff0fccebe55333a4cdddae0d5c8aa83cd723c7696e3dde4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cf182714f7417a0b2ff0fccebe55333a4cdddae0d5c8aa83cd723c7696e3dde4", kill_on_drop: false }` [INFO] [stdout] cf182714f7417a0b2ff0fccebe55333a4cdddae0d5c8aa83cd723c7696e3dde4 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 4d555c74fc11be6c9899cbb0892966f6fa4681582e5a11c7bd7b5d84d67176ed [INFO] running `Command { std: "docker" "start" "-a" "4d555c74fc11be6c9899cbb0892966f6fa4681582e5a11c7bd7b5d84d67176ed", kill_on_drop: false }` [INFO] [stderr] Compiling ucd-trie v0.1.3 [INFO] [stderr] Compiling syn v1.0.74 [INFO] [stderr] Compiling pest v2.1.3 [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 11.62s [INFO] running `Command { std: "docker" "inspect" "4d555c74fc11be6c9899cbb0892966f6fa4681582e5a11c7bd7b5d84d67176ed", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4d555c74fc11be6c9899cbb0892966f6fa4681582e5a11c7bd7b5d84d67176ed", kill_on_drop: false }` [INFO] [stdout] 4d555c74fc11be6c9899cbb0892966f6fa4681582e5a11c7bd7b5d84d67176ed [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 10774f6a0f29c9696d6dcc243a984f4361c87fa73e6c37abea1a8e9bba149521 [INFO] running `Command { std: "docker" "start" "-a" "10774f6a0f29c9696d6dcc243a984f4361c87fa73e6c37abea1a8e9bba149521", kill_on_drop: false }` [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] [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 2.04s [INFO] running `Command { std: "docker" "inspect" "10774f6a0f29c9696d6dcc243a984f4361c87fa73e6c37abea1a8e9bba149521", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "10774f6a0f29c9696d6dcc243a984f4361c87fa73e6c37abea1a8e9bba149521", kill_on_drop: false }` [INFO] [stdout] 10774f6a0f29c9696d6dcc243a984f4361c87fa73e6c37abea1a8e9bba149521 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 44f703becaafb376ec6656aa3e2e37e555c2e6126dab3db10785b060553ce781 [INFO] running `Command { std: "docker" "start" "-a" "44f703becaafb376ec6656aa3e2e37e555c2e6126dab3db10785b060553ce781", 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.02s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/order-5e9021ff1f02f92e) [INFO] [stdout] [INFO] [stdout] running 27 tests [INFO] [stdout] test frontend::tests::test_declaration1 ... ok [INFO] [stdout] test frontend::tests::test_identifier3 ... ok [INFO] [stdout] test frontend::tests::test_identifier2 ... ok [INFO] [stdout] test frontend::tests::test_literal1 ... ok [INFO] [stdout] test frontend::tests::test_function_definition2 ... 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_const ... ok [INFO] [stdout] test intermediate_representation::tests::create_free ... ok [INFO] [stdout] test intermediate_representation::tests::create_t_free ... 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_identifier1 ... ok [INFO] [stdout] test frontend::tests::test_pattern1 ... ok [INFO] [stdout] test frontend::tests::test_literal2 ... ok [INFO] [stdout] test frontend::tests::test_literal3 ... ok [INFO] [stdout] test frontend::tests::test_declaration2 ... ok [INFO] [stdout] test frontend::tests::test_action1 ... ok [INFO] [stdout] test frontend::tests::test_number_literal1 ... ok [INFO] [stdout] test frontend::tests::test_declaration3 ... ok [INFO] [stdout] test frontend::tests::test_function_definition1 ... ok [INFO] [stdout] test frontend::tests::test_number_literal2 ... ok [INFO] [stdout] test frontend::tests::test_signature3 ... ok [INFO] [stdout] test frontend::tests::test_signature2 ... ok [INFO] [stdout] test frontend::tests::test_signature1 ... ok [INFO] [stdout] test frontend::tests::test_resolver ... 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: 0x55942093b810 - std::backtrace_rs::backtrace::libunwind::trace::h99dbb39dca18857d [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x55942093b810 - std::backtrace_rs::backtrace::trace_unsynchronized::h832861927e9cfedf [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x55942093b810 - std::sys_common::backtrace::_print_fmt::h3d18154c77dcf310 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x55942093b810 - ::fmt::he312f4ad5b9bb346 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x55942095e05c - core::fmt::write::h9a6d9c74526a6c1b [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/core/src/fmt/mod.rs:1115:17 [INFO] [stdout] 5: 0x559420938775 - std::io::Write::write_fmt::h65d36b96410d80d7 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/io/mod.rs:1665:15 [INFO] [stdout] 6: 0x55942093d98b - std::sys_common::backtrace::_print::h65d996766de40da4 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x55942093d98b - std::sys_common::backtrace::print::h40df9727e635f303 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x55942093d98b - std::panicking::default_hook::{{closure}}::hd2da4327dea91a51 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x55942093d49c - std::panicking::default_hook::h3d55120ad6ada158 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x55942093e054 - std::panicking::rust_panic_with_hook::hf85dd0bb545e3b55 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x55942093db07 - std::panicking::begin_panic_handler::{{closure}}::h736ae969434da9fa [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/panicking.rs:517:13 [INFO] [stdout] 12: 0x55942093bcec - std::sys_common::backtrace::__rust_end_short_backtrace::h6133bb80b1d6c3e0 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x55942093da99 - rust_begin_unwind [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/panicking.rs:515:5 [INFO] [stdout] 14: 0x5594208b9431 - core::panicking::panic_fmt::hcf5f6d96e1dd7099 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/core/src/panicking.rs:92:14 [INFO] [stdout] 15: 0x5594208b937d - core::panicking::panic::hd695e3b1d0dd4ef4 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/core/src/panicking.rs:50:5 [INFO] [stdout] 16: 0x5594208ded2c - core::option::Option::unwrap::h1388d9fe4dc2afa9 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/core/src/option.rs:722:21 [INFO] [stdout] 17: 0x5594208e0fd7 - order::intermediate_representation::TermUa::eval::hb8a79d9c64c7dfb7 [INFO] [stdout] at /opt/rustwide/workdir/src/intermediate_representation.rs:63:33 [INFO] [stdout] 18: 0x5594208e128f - order::intermediate_representation::TermDa::eval::hbac3b138b35339d5 [INFO] [stdout] at /opt/rustwide/workdir/src/intermediate_representation.rs:78:41 [INFO] [stdout] 19: 0x5594208e1556 - order::intermediate_representation::TermDa::eval::{{closure}}::h44669775b8fc7235 [INFO] [stdout] at /opt/rustwide/workdir/src/intermediate_representation.rs:82:21 [INFO] [stdout] 20: 0x5594208e0b83 - order::intermediate_representation::Value::v_app::h0b43d2f6c9136446 [INFO] [stdout] at /opt/rustwide/workdir/src/intermediate_representation.rs:47:33 [INFO] [stdout] 21: 0x5594208e0f11 - order::intermediate_representation::TermUa::eval::hb8a79d9c64c7dfb7 [INFO] [stdout] at /opt/rustwide/workdir/src/intermediate_representation.rs:65:51 [INFO] [stdout] 22: 0x5594208c9d23 - order::intermediate_representation::tests::eval_and_quote_term1::hf2313e5139cb9bed [INFO] [stdout] at /opt/rustwide/workdir/src/intermediate_representation.rs:289:29 [INFO] [stdout] 23: 0x5594208c992a - order::intermediate_representation::tests::eval_and_quote_term1::{{closure}}::h82163e86e336011f [INFO] [stdout] at /opt/rustwide/workdir/src/intermediate_representation.rs:281:5 [INFO] [stdout] 24: 0x5594208cf0fe - core::ops::function::FnOnce::call_once::hc83c93f8e7b123d2 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 25: 0x559420915da3 - core::ops::function::FnOnce::call_once::h227fa683a5745bd3 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 26: 0x559420915da3 - test::__rust_begin_short_backtrace::h3a193bd570ada00a [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/test/src/lib.rs:578:5 [INFO] [stdout] 27: 0x559420914818 - as core::ops::function::FnOnce>::call_once::h262d2f411717179a [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/alloc/src/boxed.rs:1572:9 [INFO] [stdout] 28: 0x559420914818 - as core::ops::function::FnOnce<()>>::call_once::hfec00caec3e52a7b [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/panic.rs:347:9 [INFO] [stdout] 29: 0x559420914818 - std::panicking::try::do_call::ha5f42e76ffda569d [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/panicking.rs:401:40 [INFO] [stdout] 30: 0x559420914818 - std::panicking::try::h53f36df0935b9500 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/panicking.rs:365:19 [INFO] [stdout] 31: 0x559420914818 - std::panic::catch_unwind::h5a497f74b0ce006f [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/panic.rs:434:14 [INFO] [stdout] 32: 0x559420914818 - test::run_test_in_process::hab0aead337f48a88 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/test/src/lib.rs:601:18 [INFO] [stdout] 33: 0x559420914818 - test::run_test::run_test_inner::{{closure}}::h632c383164d4cba2 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/test/src/lib.rs:493:39 [INFO] [stdout] 34: 0x5594208e2f9d - test::run_test::run_test_inner::{{closure}}::h7c4b3612891a4b58 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/test/src/lib.rs:520:37 [INFO] [stdout] 35: 0x5594208e2f9d - std::sys_common::backtrace::__rust_begin_short_backtrace::habf7d8a08419d00e [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 36: 0x5594208e76c8 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h3acba502e2068204 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/thread/mod.rs:476:17 [INFO] [stdout] 37: 0x5594208e76c8 - as core::ops::function::FnOnce<()>>::call_once::h526ef819c1964a35 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/panic.rs:347:9 [INFO] [stdout] 38: 0x5594208e76c8 - std::panicking::try::do_call::hc0b5663d6373cec8 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/panicking.rs:401:40 [INFO] [stdout] 39: 0x5594208e76c8 - std::panicking::try::ha9007ede9d35dcd6 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/panicking.rs:365:19 [INFO] [stdout] 40: 0x5594208e76c8 - std::panic::catch_unwind::hf60d56329ebbb81c [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/panic.rs:434:14 [INFO] [stdout] 41: 0x5594208e76c8 - std::thread::Builder::spawn_unchecked::{{closure}}::hb1722d498f4ce777 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/thread/mod.rs:475:30 [INFO] [stdout] 42: 0x5594208e76c8 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h15eb01325730c962 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 43: 0x559420942bc7 - as core::ops::function::FnOnce>::call_once::h09f167e08fc945ff [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/alloc/src/boxed.rs:1572:9 [INFO] [stdout] 44: 0x559420942bc7 - as core::ops::function::FnOnce>::call_once::hf814fe85eeb118e0 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/alloc/src/boxed.rs:1572:9 [INFO] [stdout] 45: 0x559420942bc7 - std::sys::unix::thread::Thread::new::thread_start::hb71b17934c5f5e68 [INFO] [stdout] at /rustc/d2e9fff28e244f1ea4927194f1f9b77f93e2ffe2/library/std/src/sys/unix/thread.rs:91:17 [INFO] [stdout] 46: 0x7fbb288c7609 - start_thread [INFO] [stdout] 47: 0x7fbb28699293 - 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.03s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass '--lib' [INFO] running `Command { std: "docker" "inspect" "44f703becaafb376ec6656aa3e2e37e555c2e6126dab3db10785b060553ce781", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "44f703becaafb376ec6656aa3e2e37e555c2e6126dab3db10785b060553ce781", kill_on_drop: false }` [INFO] [stdout] 44f703becaafb376ec6656aa3e2e37e555c2e6126dab3db10785b060553ce781