[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] checking MarcusDunn/order against try#39e1293fce4b650061e85dda88aa428f726a8444 for pr-88041 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarcusDunn%2Forder" "/workspace/builds/worker-61/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-61/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/MarcusDunn/order on toolchain 39e1293fce4b650061e85dda88aa428f726a8444 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+39e1293fce4b650061e85dda88aa428f726a8444" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] removed /workspace/builds/worker-61/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-61/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" "+39e1293fce4b650061e85dda88aa428f726a8444" "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-61/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-61/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" "+39e1293fce4b650061e85dda88aa428f726a8444" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 0677179184f69c10b3a352ac9e02c468e4c9d5cfb44844988472a97ed7a49649 [INFO] running `Command { std: "docker" "start" "-a" "0677179184f69c10b3a352ac9e02c468e4c9d5cfb44844988472a97ed7a49649", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "0677179184f69c10b3a352ac9e02c468e4c9d5cfb44844988472a97ed7a49649", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0677179184f69c10b3a352ac9e02c468e4c9d5cfb44844988472a97ed7a49649", kill_on_drop: false }` [INFO] [stdout] 0677179184f69c10b3a352ac9e02c468e4c9d5cfb44844988472a97ed7a49649 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-61/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-61/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" "+39e1293fce4b650061e85dda88aa428f726a8444" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 95c1c760ec93405aab982ad7a2f1762d0e952ceb3be81a63a4cac64904d7a9de [INFO] running `Command { std: "docker" "start" "-a" "95c1c760ec93405aab982ad7a2f1762d0e952ceb3be81a63a4cac64904d7a9de", kill_on_drop: false }` [INFO] [stderr] Compiling pest_generator v2.1.3 [INFO] [stderr] Compiling pest_derive v2.1.0 [INFO] [stderr] Checking 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: 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: `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: 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 dev [unoptimized + debuginfo] target(s) in 5.68s [INFO] running `Command { std: "docker" "inspect" "95c1c760ec93405aab982ad7a2f1762d0e952ceb3be81a63a4cac64904d7a9de", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "95c1c760ec93405aab982ad7a2f1762d0e952ceb3be81a63a4cac64904d7a9de", kill_on_drop: false }` [INFO] [stdout] 95c1c760ec93405aab982ad7a2f1762d0e952ceb3be81a63a4cac64904d7a9de