[INFO] cloning repository https://github.com/pigeon-project/pigeon_core [INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/pigeon-project/pigeon_core" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpigeon-project%2Fpigeon_core"` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpigeon-project%2Fpigeon_core'... [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] 26fb18ab2ea1e15289838e10f40ea80adf88cd2f [INFO] checking pigeon-project/pigeon_core against try#e4dba30b9b475d8750370c4dfb49b6541990904d for pr-71393 [INFO] running `"git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpigeon-project%2Fpigeon_core" "/workspace/builds/worker-4/source"` [INFO] [stderr] Cloning into '/workspace/builds/worker-4/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/pigeon-project/pigeon_core on toolchain e4dba30b9b475d8750370c4dfb49b6541990904d [INFO] running `"/workspace/cargo-home/bin/cargo" "+e4dba30b9b475d8750370c4dfb49b6541990904d" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking git repo https://github.com/pigeon-project/pigeon_core [INFO] finished tweaking git repo https://github.com/pigeon-project/pigeon_core [INFO] tweaked toml for git repo https://github.com/pigeon-project/pigeon_core written to /workspace/builds/worker-4/source/Cargo.toml [INFO] crate git repo https://github.com/pigeon-project/pigeon_core already has a lockfile, it will not be regenerated [INFO] running `"/workspace/cargo-home/bin/cargo" "+e4dba30b9b475d8750370c4dfb49b6541990904d" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+e4dba30b9b475d8750370c4dfb49b6541990904d" "check" "--frozen" "--all" "--all-targets"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 64586c04d6fae1773ef6d0a383eab86ae863a313e61c566dae5b7e03989bec5e [INFO] running `"docker" "start" "-a" "64586c04d6fae1773ef6d0a383eab86ae863a313e61c566dae5b7e03989bec5e"` [INFO] [stderr] Compiling unicode-xid v0.2.0 [INFO] [stderr] Compiling syn v1.0.14 [INFO] [stderr] Compiling ryu v1.0.2 [INFO] [stderr] Checking itoa v0.4.5 [INFO] [stderr] Compiling proc-macro2 v1.0.8 [INFO] [stderr] Compiling quote v1.0.2 [INFO] [stderr] Compiling serde_derive v1.0.104 [INFO] [stderr] Checking serde v1.0.104 [INFO] [stderr] Checking serde_json v1.0.46 [INFO] [stderr] Checking pigeon_core v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: unused import: `serde::export::fmt::Error` [INFO] [stderr] --> src/mata_info/ast.rs:1:5 [INFO] [stderr] | [INFO] [stderr] 1 | use serde::export::fmt::Error; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `serde::export::Formatter` [INFO] [stderr] --> src/mata_info/ast.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use serde::export::Formatter; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::path::Display` [INFO] [stderr] --> src/mata_info/ast.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use std::path::Display; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::fs::File` [INFO] [stderr] --> src/main.rs:7:5 [INFO] [stderr] | [INFO] [stderr] 7 | use std::fs::File; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::io::Read` [INFO] [stderr] --> src/main.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 8 | use std::io::Read; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `serde_json` [INFO] [stderr] --> src/main.rs:11:5 [INFO] [stderr] | [INFO] [stderr] 11 | use serde_json; [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `mata_info::ast` [INFO] [stderr] --> src/main.rs:14:5 [INFO] [stderr] | [INFO] [stderr] 14 | use mata_info::ast; [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `mata_info::ast::Expr` [INFO] [stderr] --> src/main.rs:15:5 [INFO] [stderr] | [INFO] [stderr] 15 | use mata_info::ast::Expr; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `mata_info::ast::Literal::Bool` [INFO] [stderr] --> src/main.rs:16:5 [INFO] [stderr] | [INFO] [stderr] 16 | use mata_info::ast::Literal::Bool; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::cell::RefCell` [INFO] [stderr] --> src/main.rs:17:5 [INFO] [stderr] | [INFO] [stderr] 17 | use std::cell::RefCell; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::mem::size_of` [INFO] [stderr] --> src/main.rs:18:5 [INFO] [stderr] | [INFO] [stderr] 18 | use std::mem::size_of; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `serde::export::fmt::Error` [INFO] [stderr] --> src/mata_info/ast.rs:1:5 [INFO] [stderr] | [INFO] [stderr] 1 | use serde::export::fmt::Error; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `serde::export::Formatter` [INFO] [stderr] --> src/mata_info/ast.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use serde::export::Formatter; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::path::Display` [INFO] [stderr] --> src/mata_info/ast.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use std::path::Display; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::fs::File` [INFO] [stderr] --> src/main.rs:7:5 [INFO] [stderr] | [INFO] [stderr] 7 | use std::fs::File; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::io::Read` [INFO] [stderr] --> src/main.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 8 | use std::io::Read; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `mata_info::ast` [INFO] [stderr] --> src/main.rs:14:5 [INFO] [stderr] | [INFO] [stderr] 14 | use mata_info::ast; [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::cell::RefCell` [INFO] [stderr] --> src/main.rs:17:5 [INFO] [stderr] | [INFO] [stderr] 17 | use std::cell::RefCell; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::mem::size_of` [INFO] [stderr] --> src/main.rs:18:5 [INFO] [stderr] | [INFO] [stderr] 18 | use std::mem::size_of; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `res` [INFO] [stderr] --> src/type_checker.rs:108:20 [INFO] [stderr] | [INFO] [stderr] 108 | Ok(res) => unimplemented!(), [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_res` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `res` [INFO] [stderr] --> src/type_checker.rs:108:20 [INFO] [stderr] | [INFO] [stderr] 108 | Ok(res) => unimplemented!(), [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_res` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: method is never used: `tree_node_assert` [INFO] [stderr] --> src/mata_info/node.rs:21:5 [INFO] [stderr] | [INFO] [stderr] 21 | fn tree_node_assert(&self) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: method is never used: `lit2ast` [INFO] [stderr] --> src/mata_info/node.rs:25:5 [INFO] [stderr] | [INFO] [stderr] 25 | fn lit2ast(&self, fun: fn(T) -> ast::Literal) -> Result { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `to_ast` [INFO] [stderr] --> src/mata_info/node.rs:36:5 [INFO] [stderr] | [INFO] [stderr] 36 | fn to_ast(&self) -> Result { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: type alias is never used: `CompileResult` [INFO] [stderr] --> src/mata_info/ast.rs:34:1 [INFO] [stderr] | [INFO] [stderr] 34 | pub type CompileResult = Result>; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `unpack` [INFO] [stderr] --> src/mata_info/ast.rs:186:5 [INFO] [stderr] | [INFO] [stderr] 186 | fn unpack(self) -> Expr { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: constant item is never used: `TYPE_ASSERT_ERR` [INFO] [stderr] --> src/type_checker.rs:3:1 [INFO] [stderr] | [INFO] [stderr] 3 | const TYPE_ASSERT_ERR: RErrorInfo = ("T0", "Expression type assertion error"); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: constant item is never used: `CALLEE_IS_NOT_FUNCTION_TYPE` [INFO] [stderr] --> src/type_checker.rs:4:1 [INFO] [stderr] | [INFO] [stderr] 4 | const CALLEE_IS_NOT_FUNCTION_TYPE: RErrorInfo = ("T1", "Callee is not a function type"); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: constant item is never used: `VARIABLE_IS_NOT_DEFINED` [INFO] [stderr] --> src/type_checker.rs:5:1 [INFO] [stderr] | [INFO] [stderr] 5 | const VARIABLE_IS_NOT_DEFINED: RErrorInfo = ("T2", "Variable is not defined"); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: constant item is never used: `UNIFICATION_ERROR` [INFO] [stderr] --> src/type_checker.rs:6:1 [INFO] [stderr] | [INFO] [stderr] 6 | const UNIFICATION_ERROR: &'static str = "T3"; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `new_path_level` [INFO] [stderr] --> src/type_checker.rs:8:4 [INFO] [stderr] | [INFO] [stderr] 8 | fn new_path_level(path: &Path, pos: u64) -> Path { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `make_unification_error` [INFO] [stderr] --> src/type_checker.rs:14:4 [INFO] [stderr] | [INFO] [stderr] 14 | fn make_unification_error(i: String) -> Result<(), ErrorInfo> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `unifier` [INFO] [stderr] --> src/type_checker.rs:18:4 [INFO] [stderr] | [INFO] [stderr] 18 | fn unifier(ty1: &TypeExpr, ty2: &TypeExpr) -> Result<(), ErrorInfo> { [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `literal_infer` [INFO] [stderr] --> src/type_checker.rs:43:4 [INFO] [stderr] | [INFO] [stderr] 43 | fn literal_infer(lit: Literal) -> TypeExpr { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `expr_infer` [INFO] [stderr] --> src/type_checker.rs:69:4 [INFO] [stderr] | [INFO] [stderr] 69 | fn expr_infer(context: &Context, expr: Expr, path: Path) -> CompileResult { [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: 26 warnings emitted [INFO] [stderr] [INFO] [stderr] warning: method is never used: `tree_node_assert` [INFO] [stderr] --> src/mata_info/node.rs:21:5 [INFO] [stderr] | [INFO] [stderr] 21 | fn tree_node_assert(&self) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: method is never used: `lit2ast` [INFO] [stderr] --> src/mata_info/node.rs:25:5 [INFO] [stderr] | [INFO] [stderr] 25 | fn lit2ast(&self, fun: fn(T) -> ast::Literal) -> Result { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `to_ast` [INFO] [stderr] --> src/mata_info/node.rs:36:5 [INFO] [stderr] | [INFO] [stderr] 36 | fn to_ast(&self) -> Result { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: type alias is never used: `CompileResult` [INFO] [stderr] --> src/mata_info/ast.rs:34:1 [INFO] [stderr] | [INFO] [stderr] 34 | pub type CompileResult = Result>; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `unpack` [INFO] [stderr] --> src/mata_info/ast.rs:186:5 [INFO] [stderr] | [INFO] [stderr] 186 | fn unpack(self) -> Expr { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: constant item is never used: `TYPE_ASSERT_ERR` [INFO] [stderr] --> src/type_checker.rs:3:1 [INFO] [stderr] | [INFO] [stderr] 3 | const TYPE_ASSERT_ERR: RErrorInfo = ("T0", "Expression type assertion error"); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: constant item is never used: `CALLEE_IS_NOT_FUNCTION_TYPE` [INFO] [stderr] --> src/type_checker.rs:4:1 [INFO] [stderr] | [INFO] [stderr] 4 | const CALLEE_IS_NOT_FUNCTION_TYPE: RErrorInfo = ("T1", "Callee is not a function type"); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: constant item is never used: `VARIABLE_IS_NOT_DEFINED` [INFO] [stderr] --> src/type_checker.rs:5:1 [INFO] [stderr] | [INFO] [stderr] 5 | const VARIABLE_IS_NOT_DEFINED: RErrorInfo = ("T2", "Variable is not defined"); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: constant item is never used: `UNIFICATION_ERROR` [INFO] [stderr] --> src/type_checker.rs:6:1 [INFO] [stderr] | [INFO] [stderr] 6 | const UNIFICATION_ERROR: &'static str = "T3"; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `new_path_level` [INFO] [stderr] --> src/type_checker.rs:8:4 [INFO] [stderr] | [INFO] [stderr] 8 | fn new_path_level(path: &Path, pos: u64) -> Path { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `make_unification_error` [INFO] [stderr] --> src/type_checker.rs:14:4 [INFO] [stderr] | [INFO] [stderr] 14 | fn make_unification_error(i: String) -> Result<(), ErrorInfo> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `unifier` [INFO] [stderr] --> src/type_checker.rs:18:4 [INFO] [stderr] | [INFO] [stderr] 18 | fn unifier(ty1: &TypeExpr, ty2: &TypeExpr) -> Result<(), ErrorInfo> { [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `literal_infer` [INFO] [stderr] --> src/type_checker.rs:43:4 [INFO] [stderr] | [INFO] [stderr] 43 | fn literal_infer(lit: Literal) -> TypeExpr { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `expr_infer` [INFO] [stderr] --> src/type_checker.rs:69:4 [INFO] [stderr] | [INFO] [stderr] 69 | fn expr_infer(context: &Context, expr: Expr, path: Path) -> CompileResult { [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: 23 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 42.94s [INFO] running `"docker" "inspect" "64586c04d6fae1773ef6d0a383eab86ae863a313e61c566dae5b7e03989bec5e"` [INFO] running `"docker" "rm" "-f" "64586c04d6fae1773ef6d0a383eab86ae863a313e61c566dae5b7e03989bec5e"` [INFO] [stdout] 64586c04d6fae1773ef6d0a383eab86ae863a313e61c566dae5b7e03989bec5e