[INFO] cloning repository https://github.com/cankaracelebi/tjq_typechecker [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/cankaracelebi/tjq_typechecker" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcankaracelebi%2Ftjq_typechecker", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcankaracelebi%2Ftjq_typechecker'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 2732ff78f76aa49c9d90ab5f7476075880d5cf85 [INFO] checking cankaracelebi/tjq_typechecker against 49a6044d37d694890450f52ceaceb66277a36b1e for pr-161154 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcankaracelebi%2Ftjq_typechecker" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/cankaracelebi/tjq_typechecker [INFO] finished tweaking git repo https://github.com/cankaracelebi/tjq_typechecker [INFO] tweaked toml for git repo https://github.com/cankaracelebi/tjq_typechecker written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/cankaracelebi/tjq_typechecker on toolchain 49a6044d37d694890450f52ceaceb66277a36b1e [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+49a6044d37d694890450f52ceaceb66277a36b1e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/cankaracelebi/tjq_typechecker 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" "+49a6044d37d694890450f52ceaceb66277a36b1e" "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-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:8683fc1fc2eb5c9ac98e0d076ab094b2ffac7f99da555d2b6a2e27f346de2ec7" "sleep" "infinity", kill_on_drop: false }` [INFO] [stdout] 7cc733fd2df8d33bcc1efdfce0e4785b263c4d6537b89f3559effbdd29f52b5c [INFO] running `Command { std: "docker" "start" "7cc733fd2df8d33bcc1efdfce0e4785b263c4d6537b89f3559effbdd29f52b5c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "7cc733fd2df8d33bcc1efdfce0e4785b263c4d6537b89f3559effbdd29f52b5c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "7cc733fd2df8d33bcc1efdfce0e4785b263c4d6537b89f3559effbdd29f52b5c" "/opt/rustwide/cargo-home/bin/cargo" "+49a6044d37d694890450f52ceaceb66277a36b1e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "7cc733fd2df8d33bcc1efdfce0e4785b263c4d6537b89f3559effbdd29f52b5c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "7cc733fd2df8d33bcc1efdfce0e4785b263c4d6537b89f3559effbdd29f52b5c" "/opt/rustwide/cargo-home/bin/cargo" "+49a6044d37d694890450f52ceaceb66277a36b1e" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] Checking ordered-float v4.6.0 [INFO] [stderr] Checking tjq_typechecker v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `std::cmp::Ordering` [INFO] [stdout] --> src/ast.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::cmp::Ordering; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fmt` [INFO] [stdout] --> src/infer.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::fmt; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::cmp::Ordering` [INFO] [stdout] --> src/ast.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::cmp::Ordering; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fmt` [INFO] [stdout] --> src/infer.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::fmt; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tree` [INFO] [stdout] --> src/infer.rs:349:13 [INFO] [stdout] | [INFO] [stdout] 349 | let tree = InferenceTree::new("T-LitString", &input, "String", vec![]); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_tree` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tree` [INFO] [stdout] --> src/infer.rs:361:13 [INFO] [stdout] | [INFO] [stdout] 361 | let tree = InferenceTree::new("T-LitNull", &input, "Null", vec![]); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_tree` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tree` [INFO] [stdout] --> src/infer.rs:373:13 [INFO] [stdout] | [INFO] [stdout] 373 | let tree = InferenceTree::new("T-LitNum", &input, "Num", vec![]); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_tree` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/infer.rs:382:9 [INFO] [stdout] | [INFO] [stdout] 382 | env: &Env, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `expr` [INFO] [stdout] --> src/infer.rs:383:9 [INFO] [stdout] | [INFO] [stdout] 383 | expr: &Expr, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_expr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/infer.rs:384:9 [INFO] [stdout] | [INFO] [stdout] 384 | name: &str, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/infer.rs:393:9 [INFO] [stdout] | [INFO] [stdout] 393 | env: &Env, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `expr` [INFO] [stdout] --> src/infer.rs:394:9 [INFO] [stdout] | [INFO] [stdout] 394 | expr: &Expr, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_expr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/infer.rs:395:9 [INFO] [stdout] | [INFO] [stdout] 395 | name: &str, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/infer.rs:404:9 [INFO] [stdout] | [INFO] [stdout] 404 | env: &Env, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `expr` [INFO] [stdout] --> src/infer.rs:405:9 [INFO] [stdout] | [INFO] [stdout] 405 | expr: &Expr, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_expr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/infer.rs:406:9 [INFO] [stdout] | [INFO] [stdout] 406 | name: &str, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/infer.rs:412:9 [INFO] [stdout] | [INFO] [stdout] 412 | env: &Env, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `expr` [INFO] [stdout] --> src/infer.rs:413:9 [INFO] [stdout] | [INFO] [stdout] 413 | expr: &Expr, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_expr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/infer.rs:414:9 [INFO] [stdout] | [INFO] [stdout] 414 | name: &str, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple methods are never used [INFO] [stdout] --> src/infer.rs:57:8 [INFO] [stdout] | [INFO] [stdout] 40 | impl TypeInference { [INFO] [stdout] | ------------------ methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 57 | fn pretty_subst(&self, subst: &Subst) -> String { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 85 | fn apply_subst_jtype(&self, subst: &Subst, ty: &JType) -> JType { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 124 | fn apply_subst_scheme(&self, subst: &Subst, scheme: &Scheme) -> Scheme { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 135 | fn apply_subst_env(&self, subst: &Subst, env: &Env) -> Env { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 140 | fn compose_subst(&self, s1: &Subst, s2: &Subst) -> Subst { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 147 | fn free_type_vars(&self, ty: &Type) -> HashSet { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 177 | fn free_type_vars_jtype(&self, ty: &JType) -> HashSet { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 202 | fn occurs_check(&self, var: &TyVar, ty: &Type) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 205 | fn unify(&self, t1: &Type, t2: &Type) -> Result<(Subst, InferenceTree), String> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 380 | fn infer_abs( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 391 | fn infer_app( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 402 | fn infer_let( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 410 | fn infer_tuple( [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tree` [INFO] [stdout] --> src/infer.rs:349:13 [INFO] [stdout] | [INFO] [stdout] 349 | let tree = InferenceTree::new("T-LitString", &input, "String", vec![]); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_tree` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tree` [INFO] [stdout] --> src/infer.rs:361:13 [INFO] [stdout] | [INFO] [stdout] 361 | let tree = InferenceTree::new("T-LitNull", &input, "Null", vec![]); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_tree` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tree` [INFO] [stdout] --> src/infer.rs:373:13 [INFO] [stdout] | [INFO] [stdout] 373 | let tree = InferenceTree::new("T-LitNum", &input, "Num", vec![]); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_tree` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/infer.rs:382:9 [INFO] [stdout] | [INFO] [stdout] 382 | env: &Env, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `expr` [INFO] [stdout] --> src/infer.rs:383:9 [INFO] [stdout] | [INFO] [stdout] 383 | expr: &Expr, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_expr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/infer.rs:384:9 [INFO] [stdout] | [INFO] [stdout] 384 | name: &str, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/infer.rs:393:9 [INFO] [stdout] | [INFO] [stdout] 393 | env: &Env, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `expr` [INFO] [stdout] --> src/infer.rs:394:9 [INFO] [stdout] | [INFO] [stdout] 394 | expr: &Expr, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_expr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/infer.rs:395:9 [INFO] [stdout] | [INFO] [stdout] 395 | name: &str, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/infer.rs:404:9 [INFO] [stdout] | [INFO] [stdout] 404 | env: &Env, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `expr` [INFO] [stdout] --> src/infer.rs:405:9 [INFO] [stdout] | [INFO] [stdout] 405 | expr: &Expr, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_expr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/infer.rs:406:9 [INFO] [stdout] | [INFO] [stdout] 406 | name: &str, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/infer.rs:412:9 [INFO] [stdout] | [INFO] [stdout] 412 | env: &Env, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `expr` [INFO] [stdout] --> src/infer.rs:413:9 [INFO] [stdout] | [INFO] [stdout] 413 | expr: &Expr, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_expr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/infer.rs:414:9 [INFO] [stdout] | [INFO] [stdout] 414 | name: &str, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple methods are never used [INFO] [stdout] --> src/infer.rs:57:8 [INFO] [stdout] | [INFO] [stdout] 40 | impl TypeInference { [INFO] [stdout] | ------------------ methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 57 | fn pretty_subst(&self, subst: &Subst) -> String { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 85 | fn apply_subst_jtype(&self, subst: &Subst, ty: &JType) -> JType { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 124 | fn apply_subst_scheme(&self, subst: &Subst, scheme: &Scheme) -> Scheme { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 135 | fn apply_subst_env(&self, subst: &Subst, env: &Env) -> Env { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 140 | fn compose_subst(&self, s1: &Subst, s2: &Subst) -> Subst { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 147 | fn free_type_vars(&self, ty: &Type) -> HashSet { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 177 | fn free_type_vars_jtype(&self, ty: &JType) -> HashSet { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 202 | fn occurs_check(&self, var: &TyVar, ty: &Type) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 205 | fn unify(&self, t1: &Type, t2: &Type) -> Result<(Subst, InferenceTree), String> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 380 | fn infer_abs( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 391 | fn infer_app( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 402 | fn infer_let( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 410 | fn infer_tuple( [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.91s [INFO] running `Command { std: "docker" "inspect" "7cc733fd2df8d33bcc1efdfce0e4785b263c4d6537b89f3559effbdd29f52b5c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7cc733fd2df8d33bcc1efdfce0e4785b263c4d6537b89f3559effbdd29f52b5c", kill_on_drop: false }` [INFO] [stdout] 7cc733fd2df8d33bcc1efdfce0e4785b263c4d6537b89f3559effbdd29f52b5c