[INFO] cloning repository https://github.com/Guaschman/hm-interpreter [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Guaschman/hm-interpreter" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FGuaschman%2Fhm-interpreter", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FGuaschman%2Fhm-interpreter'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 4a94ae4fa5d4dd7c3849dc6d9075a3e1748a973d [INFO] checking Guaschman/hm-interpreter/4a94ae4fa5d4dd7c3849dc6d9075a3e1748a973d against master#ab869e094a907cc5d19b4080f22eccaf347f1f95 for pr-129604 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FGuaschman%2Fhm-interpreter" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Guaschman/hm-interpreter on toolchain ab869e094a907cc5d19b4080f22eccaf347f1f95 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/Guaschman/hm-interpreter [INFO] finished tweaking git repo https://github.com/Guaschman/hm-interpreter [INFO] tweaked toml for git repo https://github.com/Guaschman/hm-interpreter written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/Guaschman/hm-interpreter already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 20 packages to latest compatible versions [INFO] [stderr] Adding arrayvec v0.5.2 (latest: v0.7.6) [INFO] [stderr] Adding bitflags v1.3.2 (latest: v2.6.0) [INFO] [stderr] Adding cfg-if v1.0.0 [INFO] [stderr] Adding fuchsia-cprng v0.1.1 [INFO] [stderr] Adding lexical-core v0.7.6 (latest: v0.8.5) [INFO] [stderr] Adding libc v0.2.158 [INFO] [stderr] Adding nom v5.1.3 (latest: v7.1.3) [INFO] [stderr] Adding rand v0.3.23 (latest: v0.8.5) [INFO] [stderr] Adding rand v0.4.6 (latest: v0.8.5) [INFO] [stderr] Adding rand_core v0.3.1 (latest: v0.6.4) [INFO] [stderr] Adding rand_core v0.4.2 (latest: v0.6.4) [INFO] [stderr] Adding rdrand v0.4.0 (latest: v0.8.3) [INFO] [stderr] Adding rustc-serialize v0.3.25 [INFO] [stderr] Adding ryu v1.0.18 [INFO] [stderr] Adding static_assertions v1.1.0 [INFO] [stderr] Adding uuid v0.1.18 (latest: v1.10.0) [INFO] [stderr] Adding version_check v0.9.5 [INFO] [stderr] Adding winapi v0.3.9 [INFO] [stderr] Adding winapi-i686-pc-windows-gnu v0.4.0 [INFO] [stderr] Adding winapi-x86_64-pc-windows-gnu v0.4.0 [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded uuid v0.1.18 [INFO] [stderr] Downloaded nom-trace v0.1.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] d3a7a8f8c679ecc164926e69b885520e6de06a29d19cde4741f2e4107359ee87 [INFO] running `Command { std: "docker" "start" "-a" "d3a7a8f8c679ecc164926e69b885520e6de06a29d19cde4741f2e4107359ee87", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d3a7a8f8c679ecc164926e69b885520e6de06a29d19cde4741f2e4107359ee87", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d3a7a8f8c679ecc164926e69b885520e6de06a29d19cde4741f2e4107359ee87", kill_on_drop: false }` [INFO] [stdout] d3a7a8f8c679ecc164926e69b885520e6de06a29d19cde4741f2e4107359ee87 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 9ca1c25bfddd5a30e140d46ac2f498d9182a7f38ef3d4ce34c5ac25bedeb30bb [INFO] running `Command { std: "docker" "start" "-a" "9ca1c25bfddd5a30e140d46ac2f498d9182a7f38ef3d4ce34c5ac25bedeb30bb", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.158 [INFO] [stderr] Compiling memchr v2.2.0 [INFO] [stderr] Compiling version_check v0.1.5 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Checking ryu v1.0.18 [INFO] [stderr] Checking rustc-serialize v0.3.25 [INFO] [stderr] Checking lexical-core v0.7.6 [INFO] [stderr] Compiling nom v4.2.3 [INFO] [stderr] Compiling nom v5.1.3 [INFO] [stderr] Checking rand v0.4.6 [INFO] [stderr] Checking nom-trace v0.1.0 [INFO] [stderr] Checking rand v0.3.23 [INFO] [stderr] Checking uuid v0.1.18 [INFO] [stderr] Checking hm-interpreter v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: fields `0`, `1`, and `2` are never read [INFO] [stdout] --> src/parser.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 15 | LetRec(String, Box, Box), [INFO] [stdout] | ------ ^^^^^^ ^^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields [INFO] [stdout] | [INFO] [stdout] 15 | LetRec((), (), ()), [INFO] [stdout] | ~~ ~~ ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/parser.rs:16:13 [INFO] [stdout] | [INFO] [stdout] 16 | BoolLit(bool), [INFO] [stdout] | ------- ^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 16 | BoolLit(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/parser.rs:17:12 [INFO] [stdout] | [INFO] [stdout] 17 | IntLit(i32), [INFO] [stdout] | ------ ^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 17 | IntLit(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/parser.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 18 | MinLit(Box), [INFO] [stdout] | ------ ^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 18 | MinLit(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `extend` and `remove` are never used [INFO] [stdout] --> src/type_checker.rs:48:8 [INFO] [stdout] | [INFO] [stdout] 41 | impl TypeEnv { [INFO] [stdout] | ------------ methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 48 | fn extend(mut self, (v, s): (Var, Scheme)) { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 53 | fn remove(mut self, var: Var) { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::collections::btree_set::Union` that must be used [INFO] [stdout] --> src/type_checker.rs:100:17 [INFO] [stdout] | [INFO] [stdout] 100 | set.union(&a1.ftv()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this returns the union as an iterator, without modifying either input set [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 100 | let _ = set.union(&a1.ftv()); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::collections::btree_set::Union` that must be used [INFO] [stdout] --> src/type_checker.rs:101:17 [INFO] [stdout] | [INFO] [stdout] 101 | set.union(&a2.ftv()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this returns the union as an iterator, without modifying either input set [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 101 | let _ = set.union(&a2.ftv()); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::collections::btree_set::Union` that must be used [INFO] [stdout] --> src/type_checker.rs:127:17 [INFO] [stdout] | [INFO] [stdout] 127 | set.union(&t.ftv()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this returns the union as an iterator, without modifying either input set [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 127 | let _ = set.union(&t.ftv()); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::collections::btree_set::Difference` that must be used [INFO] [stdout] --> src/type_checker.rs:128:17 [INFO] [stdout] | [INFO] [stdout] 128 | set.difference(&BTreeSet::from_iter(tv.iter().cloned())); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this returns the difference as an iterator, without modifying either input set [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 128 | let _ = set.difference(&BTreeSet::from_iter(tv.iter().cloned())); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 9 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `0`, `1`, and `2` are never read [INFO] [stdout] --> src/parser.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 15 | LetRec(String, Box, Box), [INFO] [stdout] | ------ ^^^^^^ ^^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields [INFO] [stdout] | [INFO] [stdout] 15 | LetRec((), (), ()), [INFO] [stdout] | ~~ ~~ ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/parser.rs:16:13 [INFO] [stdout] | [INFO] [stdout] 16 | BoolLit(bool), [INFO] [stdout] | ------- ^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 16 | BoolLit(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/parser.rs:17:12 [INFO] [stdout] | [INFO] [stdout] 17 | IntLit(i32), [INFO] [stdout] | ------ ^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 17 | IntLit(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/parser.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 18 | MinLit(Box), [INFO] [stdout] | ------ ^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 18 | MinLit(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `extend` and `remove` are never used [INFO] [stdout] --> src/type_checker.rs:48:8 [INFO] [stdout] | [INFO] [stdout] 41 | impl TypeEnv { [INFO] [stdout] | ------------ methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 48 | fn extend(mut self, (v, s): (Var, Scheme)) { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 53 | fn remove(mut self, var: Var) { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::collections::btree_set::Union` that must be used [INFO] [stdout] --> src/type_checker.rs:100:17 [INFO] [stdout] | [INFO] [stdout] 100 | set.union(&a1.ftv()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this returns the union as an iterator, without modifying either input set [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 100 | let _ = set.union(&a1.ftv()); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::collections::btree_set::Union` that must be used [INFO] [stdout] --> src/type_checker.rs:101:17 [INFO] [stdout] | [INFO] [stdout] 101 | set.union(&a2.ftv()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this returns the union as an iterator, without modifying either input set [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 101 | let _ = set.union(&a2.ftv()); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::collections::btree_set::Union` that must be used [INFO] [stdout] --> src/type_checker.rs:127:17 [INFO] [stdout] | [INFO] [stdout] 127 | set.union(&t.ftv()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this returns the union as an iterator, without modifying either input set [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 127 | let _ = set.union(&t.ftv()); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `std::collections::btree_set::Difference` that must be used [INFO] [stdout] --> src/type_checker.rs:128:17 [INFO] [stdout] | [INFO] [stdout] 128 | set.difference(&BTreeSet::from_iter(tv.iter().cloned())); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this returns the difference as an iterator, without modifying either input set [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 128 | let _ = set.difference(&BTreeSet::from_iter(tv.iter().cloned())); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 9 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 2.63s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nom v4.2.3 [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2` [INFO] running `Command { std: "docker" "inspect" "9ca1c25bfddd5a30e140d46ac2f498d9182a7f38ef3d4ce34c5ac25bedeb30bb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9ca1c25bfddd5a30e140d46ac2f498d9182a7f38ef3d4ce34c5ac25bedeb30bb", kill_on_drop: false }` [INFO] [stdout] 9ca1c25bfddd5a30e140d46ac2f498d9182a7f38ef3d4ce34c5ac25bedeb30bb