Dec 05 00:33:58.461 INFO testing yui-knk/type_lang against master#906deae0790bd18681b937fe9a141a3c26cf1855 for pr-56514 Dec 05 00:33:58.461 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-3/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +906deae0790bd18681b937fe9a141a3c26cf1855-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 05 00:33:58.982 INFO [stdout] 3cf04e0a6e37571c4864f9fef54c87c8bfc7232485e952c227725a8dbd4f254a Dec 05 00:33:58.984 INFO running `"docker" "start" "-a" "3cf04e0a6e37571c4864f9fef54c87c8bfc7232485e952c227725a8dbd4f254a"` Dec 05 00:34:00.475 INFO [stderr] usermod: no changes Dec 05 00:34:00.640 INFO [stderr] Compiling atty v0.2.11 Dec 05 00:34:00.640 INFO [stderr] Compiling textwrap v0.10.0 Dec 05 00:34:01.796 INFO [stderr] Compiling clap v2.32.0 Dec 05 00:34:18.541 INFO [stderr] Compiling type_lang v0.1.0 (/source) Dec 05 00:34:23.658 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 23.15s Dec 05 00:34:23.662 INFO [stderr] su: No module specific data is present Dec 05 00:34:25.256 INFO running `"docker" "inspect" "3cf04e0a6e37571c4864f9fef54c87c8bfc7232485e952c227725a8dbd4f254a"` Dec 05 00:34:25.648 INFO running `"docker" "rm" "-f" "3cf04e0a6e37571c4864f9fef54c87c8bfc7232485e952c227725a8dbd4f254a"` Dec 05 00:34:25.952 INFO [stdout] 3cf04e0a6e37571c4864f9fef54c87c8bfc7232485e952c227725a8dbd4f254a Dec 05 00:34:25.958 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-3/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +906deae0790bd18681b937fe9a141a3c26cf1855-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 05 00:34:26.430 INFO [stdout] 5d66f7ae527b31b6d20edf70de9975f9bf426ef48c4895670b8b86d4d2985d06 Dec 05 00:34:26.432 INFO running `"docker" "start" "-a" "5d66f7ae527b31b6d20edf70de9975f9bf426ef48c4895670b8b86d4d2985d06"` Dec 05 00:34:29.128 INFO [stderr] usermod: no changes Dec 05 00:34:29.220 INFO [stderr] Compiling type_lang v0.1.0 (/source) Dec 05 00:34:36.213 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 7.06s Dec 05 00:34:36.217 INFO [stderr] su: No module specific data is present Dec 05 00:34:37.801 INFO running `"docker" "inspect" "5d66f7ae527b31b6d20edf70de9975f9bf426ef48c4895670b8b86d4d2985d06"` Dec 05 00:34:38.162 INFO running `"docker" "rm" "-f" "5d66f7ae527b31b6d20edf70de9975f9bf426ef48c4895670b8b86d4d2985d06"` Dec 05 00:34:38.464 INFO [stdout] 5d66f7ae527b31b6d20edf70de9975f9bf426ef48c4895670b8b86d4d2985d06 Dec 05 00:34:38.468 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-3/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +906deae0790bd18681b937fe9a141a3c26cf1855-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 05 00:34:39.028 INFO [stdout] d837bd2af2020a42dd18ee0fdb5ba77bdab0413020e5f94b23962d913328c096 Dec 05 00:34:39.030 INFO running `"docker" "start" "-a" "d837bd2af2020a42dd18ee0fdb5ba77bdab0413020e5f94b23962d913328c096"` Dec 05 00:34:40.831 INFO [stderr] usermod: no changes Dec 05 00:34:40.920 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.06s Dec 05 00:34:40.924 INFO [stderr] Running /target/debug/deps/type_lang-cb0e8cf4382f2d9c Dec 05 00:34:40.932 INFO [stdout] Dec 05 00:34:40.932 INFO [stdout] running 128 tests Dec 05 00:34:40.956 INFO [stdout] test eval::tests::test_eval_as ... ok Dec 05 00:34:40.960 INFO [stdout] test eval::tests::test_eval_false ... ok Dec 05 00:34:40.960 INFO [stdout] test eval::tests::test_eval_associativity ... ok Dec 05 00:34:40.960 INFO [stdout] test eval::tests::test_eval_assign ... ok Dec 05 00:34:40.960 INFO [stdout] test eval::tests::test_eval_appy ... ok Dec 05 00:34:40.960 INFO [stdout] test eval::tests::test_eval_lambda ... ok Dec 05 00:34:40.964 INFO [stdout] test eval::tests::test_eval_iszero ... ok Dec 05 00:34:40.965 INFO [stdout] test eval::tests::test_eval_nat ... ok Dec 05 00:34:40.965 INFO [stdout] test eval::tests::test_eval_let ... ok Dec 05 00:34:40.966 INFO [stdout] test eval::tests::test_eval_deref ... ok Dec 05 00:34:40.967 INFO [stdout] test eval::tests::test_eval_if ... ok Dec 05 00:34:40.967 INFO [stdout] test eval::tests::test_eval_case ... ok Dec 05 00:34:40.976 INFO [stdout] test eval::tests::test_eval_projection ... ok Dec 05 00:34:40.976 INFO [stdout] test eval::tests::test_eval_fix ... ok Dec 05 00:34:40.976 INFO [stdout] test eval::tests::test_eval_pred ... ok Dec 05 00:34:40.976 INFO [stdout] test eval::tests::test_eval_unit ... ok Dec 05 00:34:40.980 INFO [stdout] test eval::tests::test_eval_letrec ... ok Dec 05 00:34:40.980 INFO [stdout] test eval::tests::test_eval_record ... ok Dec 05 00:34:40.980 INFO [stdout] test eval::tests::test_eval_succ_pred ... ok Dec 05 00:34:40.980 INFO [stdout] test eval::tests::test_eval_succ ... ok Dec 05 00:34:40.980 INFO [stdout] test eval::tests::test_eval_ref ... ok Dec 05 00:34:40.980 INFO [stdout] test eval::tests::test_eval_variant ... ok Dec 05 00:34:40.980 INFO [stdout] test lexer::tests::test_next_token_bool ... ok Dec 05 00:34:40.980 INFO [stdout] test lexer::tests::test_next_token_braces ... ok Dec 05 00:34:40.980 INFO [stdout] test lexer::tests::test_next_token_arrow ... ok Dec 05 00:34:40.984 INFO [stdout] test lexer::tests::test_next_token_as ... ok Dec 05 00:34:40.996 INFO [stdout] test eval::tests::test_eval_true ... ok Dec 05 00:34:40.996 INFO [stdout] test lexer::tests::test_next_token_case ... ok Dec 05 00:34:40.996 INFO [stdout] test lexer::tests::test_next_token_bang ... ok Dec 05 00:34:40.996 INFO [stdout] test eval::tests_env::test_find_by_variable ... ok Dec 05 00:34:40.996 INFO [stdout] test eval::tests::test_eval_unit_derived_form ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_dot ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_eq ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_false ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_fix ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_farrow ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_coloneq ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_if_then_else ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_identifier ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_colon ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_gt ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_in ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_letrec ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_invalid_arrow ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_lt ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_comma ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_iszero ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_let ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_nat ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_nnat ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_parens ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_parens_with_identifiers ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_pred ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_new_lines ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_succ ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_of ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_semicolon ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_ref ... ok Dec 05 00:34:40.999 INFO [stdout] test lexer::tests::test_next_token_top ... ok Dec 05 00:34:41.004 INFO [stdout] test lexer::tests::test_next_token_true_false ... ok Dec 05 00:34:41.004 INFO [stdout] test lexer::tests::test_next_token_unit ... ok Dec 05 00:34:41.004 INFO [stdout] test lexer::tests::test_next_token_unknowntoken ... ok Dec 05 00:34:41.004 INFO [stdout] test lexer::tests::test_next_token_vbar ... ok Dec 05 00:34:41.004 INFO [stdout] test parser::tests::test_parse_apply_2 ... ok Dec 05 00:34:41.004 INFO [stdout] test parser::tests::test_parse_deref ... ok Dec 05 00:34:41.012 INFO [stdout] test parser::tests::test_parse_apply ... ok Dec 05 00:34:41.012 INFO [stdout] test parser::tests::test_parse_as ... ok Dec 05 00:34:41.020 INFO [stdout] test parser::tests::test_parse_fix ... ok Dec 05 00:34:41.020 INFO [stdout] test parser::tests::test_parse_blank ... ok Dec 05 00:34:41.020 INFO [stdout] test parser::tests::test_parse_assign ... ok Dec 05 00:34:41.020 INFO [stdout] test lexer::tests::test_next_token_true ... ok Dec 05 00:34:41.020 INFO [stdout] test parser::tests::test_parse_lambda_not_arrow_type ... ok Dec 05 00:34:41.020 INFO [stdout] test parser::tests::test_parse_iszero ... ok Dec 05 00:34:41.020 INFO [stdout] test parser::tests::test_parse_lambda ... ok Dec 05 00:34:41.020 INFO [stdout] test parser::tests::test_parse_false ... ok Dec 05 00:34:41.020 INFO [stdout] test parser::tests::test_parse_if ... ok Dec 05 00:34:41.020 INFO [stdout] test parser::tests::test_parse_let ... ok Dec 05 00:34:41.020 INFO [stdout] test parser::tests::test_parse_case ... ok Dec 05 00:34:41.020 INFO [stdout] test parser::tests::test_parse_lambda_nested_arrow_type ... ok Dec 05 00:34:41.020 INFO [stdout] test parser::tests::test_parse_ref ... ok Dec 05 00:34:41.020 INFO [stdout] test parser::tests::test_parse_succ ... ok Dec 05 00:34:41.020 INFO [stdout] test parser::tests::test_parse_record_type ... ok Dec 05 00:34:41.020 INFO [stdout] test parser::tests::test_parse_nat ... ok Dec 05 00:34:41.020 INFO [stdout] test parser::tests::test_parse_record_arrow_type ... ok Dec 05 00:34:41.020 INFO [stdout] test parser::tests::test_parse_pred ... ok Dec 05 00:34:41.028 INFO [stdout] test parser::tests::test_parse_projection ... ok Dec 05 00:34:41.028 INFO [stdout] test parser::tests::test_parse_record ... ok Dec 05 00:34:41.028 INFO [stdout] test parser::tests::test_parse_tag ... ok Dec 05 00:34:41.028 INFO [stdout] test parser::tests::test_parse_top_type ... ok Dec 05 00:34:41.028 INFO [stdout] test parser::tests::test_parse_unit_derived_form ... ok Dec 05 00:34:41.028 INFO [stdout] test parser::tests::test_parse_true ... ok Dec 05 00:34:41.028 INFO [stdout] test parser::tests::test_parse_var_ref ... ok Dec 05 00:34:41.028 INFO [stdout] test parser::tests::test_parse_true_false ... ok Dec 05 00:34:41.028 INFO [stdout] test parser::tests::test_parse_variant_type ... ok Dec 05 00:34:41.028 INFO [stdout] test type_check::tests::test_check_bool ... ok Dec 05 00:34:41.028 INFO [stdout] test ty::tests::test_record_type_equality ... ok Dec 05 00:34:41.044 INFO [stdout] test type_check::tests::test_check_case ... ok Dec 05 00:34:41.044 INFO [stdout] test type_check::tests::test_check_assign ... ok Dec 05 00:34:41.044 INFO [stdout] test type_check::tests::test_check_as ... ok Dec 05 00:34:41.044 INFO [stdout] test type_check::tests::test_check_apply ... ok Dec 05 00:34:41.044 INFO [stdout] test type_check::tests::test_check_fix ... ok Dec 05 00:34:41.044 INFO [stdout] test type_check::tests::test_check_if_then_else ... ok Dec 05 00:34:41.044 INFO [stdout] test type_check::tests::test_check_deref ... ok Dec 05 00:34:41.044 INFO [stdout] test type_check::tests::test_check_iszero ... ok Dec 05 00:34:41.044 INFO [stdout] test type_check::tests::test_check_lambda ... ok Dec 05 00:34:41.044 INFO [stdout] test type_check::tests::test_check_let ... ok Dec 05 00:34:41.044 INFO [stdout] test type_check::tests::test_check_ref ... ok Dec 05 00:34:41.052 INFO [stdout] test type_check::tests::test_check_unit ... ok Dec 05 00:34:41.056 INFO [stdout] test type_check::tests::test_check_nat ... ok Dec 05 00:34:41.056 INFO [stdout] test type_check::tests::test_check_type_mismatch ... ok Dec 05 00:34:41.056 INFO [stdout] test type_check::tests::test_check_record ... ok Dec 05 00:34:41.056 INFO [stdout] test type_check::tests::test_check_variant ... ok Dec 05 00:34:41.064 INFO [stdout] test type_check::tests_env::test_find_by_variable ... ok Dec 05 00:34:41.064 INFO [stdout] test type_check::tests_subtype_eq::test_subtype_eq_arrow ... ok Dec 05 00:34:41.064 INFO [stdout] test type_check::tests_subtype_eq::test_subtype_eq_record ... ok Dec 05 00:34:41.064 INFO [stdout] test type_check::tests_subtype_eq::test_subtype_eq_top ... ok Dec 05 00:34:41.064 INFO [stdout] test type_check::tests_type_eq::test_type_eq_nat ... ok Dec 05 00:34:41.064 INFO [stdout] test type_check::tests_type_eq::test_type_eq_bool ... ok Dec 05 00:34:41.064 INFO [stdout] test type_check::tests_type_eq::test_type_eq_arrow ... ok Dec 05 00:34:41.064 INFO [stdout] test type_check::tests_type_eq::test_type_eq_record ... ok Dec 05 00:34:41.064 INFO [stdout] test type_check::tests_type_eq::test_type_eq_ref ... ok Dec 05 00:34:41.064 INFO [stdout] test type_check::tests_type_eq::test_type_eq_top ... ok Dec 05 00:34:41.064 INFO [stdout] test type_check::tests_type_eq::test_type_eq_unit ... ok Dec 05 00:34:41.064 INFO [stdout] test type_check::tests::test_check_pred ... ok Dec 05 00:34:41.064 INFO [stdout] test type_check::tests::test_check_variable_not_found ... ok Dec 05 00:34:41.064 INFO [stdout] test type_check::tests::test_check_projection ... ok Dec 05 00:34:41.064 INFO [stdout] test type_check::tests::test_check_succ ... ok Dec 05 00:34:41.076 INFO [stdout] test type_check::tests_type_eq::test_type_eq_variant ... ok Dec 05 00:34:41.076 INFO [stderr] Running /target/debug/deps/type_lang-e3881bb3698c9501 Dec 05 00:34:41.076 INFO [stdout] Dec 05 00:34:41.076 INFO [stdout] test result: ok. 128 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 05 00:34:41.076 INFO [stdout] Dec 05 00:34:41.084 INFO [stdout] Dec 05 00:34:41.084 INFO [stdout] running 0 tests Dec 05 00:34:41.084 INFO [stdout] Dec 05 00:34:41.084 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 05 00:34:41.084 INFO [stdout] Dec 05 00:34:41.092 INFO [stderr] Doc-tests type_lang Dec 05 00:34:41.296 INFO [stdout] Dec 05 00:34:41.296 INFO [stdout] running 0 tests Dec 05 00:34:41.296 INFO [stdout] Dec 05 00:34:41.296 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 05 00:34:41.296 INFO [stdout] Dec 05 00:34:41.304 INFO [stderr] su: No module specific data is present Dec 05 00:34:42.577 INFO running `"docker" "inspect" "d837bd2af2020a42dd18ee0fdb5ba77bdab0413020e5f94b23962d913328c096"` Dec 05 00:34:42.904 INFO running `"docker" "rm" "-f" "d837bd2af2020a42dd18ee0fdb5ba77bdab0413020e5f94b23962d913328c096"` Dec 05 00:34:43.244 INFO [stdout] d837bd2af2020a42dd18ee0fdb5ba77bdab0413020e5f94b23962d913328c096