Dec 12 20:05:09.105 INFO testing yui-knk/type_lang against try#aa49d8ef14939ddec0e34b346b60174a5673d48f for pr-56550 Dec 12 20:05:09.105 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-3/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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 12 20:05:09.648 INFO [stdout] 224bfb1f9b1bfc6c9dea062bb2f155faa268e55c3e47bdec88290f5b018b62ee Dec 12 20:05:09.650 INFO running `"docker" "start" "-a" "224bfb1f9b1bfc6c9dea062bb2f155faa268e55c3e47bdec88290f5b018b62ee"` Dec 12 20:05:12.263 INFO [stderr] usermod: no changes Dec 12 20:05:12.423 INFO [stderr] Compiling type_lang v0.1.0 (/source) Dec 12 20:05:18.151 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 5.86s Dec 12 20:05:18.155 INFO [stderr] su: No module specific data is present Dec 12 20:05:19.887 INFO running `"docker" "inspect" "224bfb1f9b1bfc6c9dea062bb2f155faa268e55c3e47bdec88290f5b018b62ee"` Dec 12 20:05:20.271 INFO running `"docker" "rm" "-f" "224bfb1f9b1bfc6c9dea062bb2f155faa268e55c3e47bdec88290f5b018b62ee"` Dec 12 20:05:20.664 INFO [stdout] 224bfb1f9b1bfc6c9dea062bb2f155faa268e55c3e47bdec88290f5b018b62ee Dec 12 20:05:20.671 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-3/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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 12 20:05:21.185 INFO [stdout] 4e381559ec74ea996d5387637737f697714bd3e6bda002f79fee3a35e726308c Dec 12 20:05:21.188 INFO running `"docker" "start" "-a" "4e381559ec74ea996d5387637737f697714bd3e6bda002f79fee3a35e726308c"` Dec 12 20:05:23.806 INFO [stderr] usermod: no changes Dec 12 20:05:23.897 INFO [stderr] Compiling type_lang v0.1.0 (/source) Dec 12 20:05:30.554 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 6.72s Dec 12 20:05:30.557 INFO [stderr] su: No module specific data is present Dec 12 20:05:31.715 INFO running `"docker" "inspect" "4e381559ec74ea996d5387637737f697714bd3e6bda002f79fee3a35e726308c"` Dec 12 20:05:32.080 INFO running `"docker" "rm" "-f" "4e381559ec74ea996d5387637737f697714bd3e6bda002f79fee3a35e726308c"` Dec 12 20:05:32.402 INFO [stdout] 4e381559ec74ea996d5387637737f697714bd3e6bda002f79fee3a35e726308c Dec 12 20:05:32.408 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-3/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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 12 20:05:32.901 INFO [stdout] a1960112350d9df7684b8eb1a3577e288e06515f999046b0bb8b1d6a63081158 Dec 12 20:05:32.903 INFO running `"docker" "start" "-a" "a1960112350d9df7684b8eb1a3577e288e06515f999046b0bb8b1d6a63081158"` Dec 12 20:05:35.802 INFO [stderr] usermod: no changes Dec 12 20:05:35.903 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.06s Dec 12 20:05:35.913 INFO [stderr] Running /target/debug/deps/type_lang-c58f7850872c33a3 Dec 12 20:05:35.914 INFO [stdout] Dec 12 20:05:35.914 INFO [stdout] running 132 tests Dec 12 20:05:35.919 INFO [stdout] test eval::tests::test_eval_fix ... ok Dec 12 20:05:35.926 INFO [stdout] test eval::tests::test_eval_false ... ok Dec 12 20:05:35.926 INFO [stdout] test eval::tests::test_eval_deref ... ok Dec 12 20:05:35.931 INFO [stdout] test eval::tests::test_eval_case ... ok Dec 12 20:05:35.931 INFO [stdout] test eval::tests::test_eval_associativity ... ok Dec 12 20:05:35.936 INFO [stdout] test eval::tests::test_eval_as ... ok Dec 12 20:05:35.936 INFO [stdout] test eval::tests::test_eval_assign ... ok Dec 12 20:05:35.936 INFO [stdout] test eval::tests::test_eval_appy ... ok Dec 12 20:05:35.936 INFO [stdout] test eval::tests::test_eval_if ... ok Dec 12 20:05:35.936 INFO [stdout] test eval::tests::test_eval_iszero ... ok Dec 12 20:05:35.936 INFO [stdout] test eval::tests::test_eval_let ... ok Dec 12 20:05:35.955 INFO [stdout] test eval::tests::test_eval_letrec ... ok Dec 12 20:05:35.955 INFO [stdout] test eval::tests::test_eval_lambda ... ok Dec 12 20:05:35.955 INFO [stdout] test eval::tests::test_eval_nat ... ok Dec 12 20:05:35.955 INFO [stdout] test eval::tests::test_eval_pred ... ok Dec 12 20:05:35.955 INFO [stdout] test eval::tests::test_eval_projection ... ok Dec 12 20:05:35.955 INFO [stdout] test eval::tests::test_eval_ref ... ok Dec 12 20:05:35.955 INFO [stdout] test eval::tests::test_eval_record ... ok Dec 12 20:05:35.955 INFO [stdout] test eval::tests::test_eval_projection_apply ... ok Dec 12 20:05:35.955 INFO [stdout] test eval::tests::test_eval_succ ... ok Dec 12 20:05:35.955 INFO [stdout] test eval::tests::test_eval_variant ... ok Dec 12 20:05:35.955 INFO [stdout] test eval::tests_env::test_find_by_variable ... ok Dec 12 20:05:35.955 INFO [stdout] test eval::tests::test_eval_unitt ... ok Dec 12 20:05:35.955 INFO [stdout] test eval::tests::test_eval_unit_derived_form ... ok Dec 12 20:05:35.956 INFO [stdout] test eval::tests::test_eval_unit ... ok Dec 12 20:05:35.956 INFO [stdout] test eval::tests::test_eval_true ... ok Dec 12 20:05:35.956 INFO [stdout] test eval::tests::test_eval_succ_pred ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_arrow ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_as ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_bang ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_bool ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_braces ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_case ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_colon ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_coloneq ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_comma ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_dot ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_eq ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_false ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_farrow ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_fix ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_gt ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_identifier ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_if_then_else ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_in ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_invalid_arrow ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_iszero ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_let ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_letrec ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_lt ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_nat ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_new_lines ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_nnat ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_of ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_parens ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_parens_with_identifiers ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_pred ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_ref ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_semicolon ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_succ ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_top ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_true ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_true_false ... ok Dec 12 20:05:35.956 INFO [stdout] test lexer::tests::test_next_token_unit ... ok Dec 12 20:05:35.959 INFO [stdout] test lexer::tests::test_next_token_unitt ... ok Dec 12 20:05:35.959 INFO [stdout] test lexer::tests::test_next_token_unknowntoken ... ok Dec 12 20:05:35.959 INFO [stdout] test lexer::tests::test_next_token_vbar ... ok Dec 12 20:05:35.959 INFO [stdout] test parser::tests::test_parse_apply ... ok Dec 12 20:05:35.959 INFO [stdout] test parser::tests::test_parse_apply_2 ... ok Dec 12 20:05:35.959 INFO [stdout] test parser::tests::test_parse_as ... ok Dec 12 20:05:35.959 INFO [stdout] test parser::tests::test_parse_assign ... ok Dec 12 20:05:35.959 INFO [stdout] test parser::tests::test_parse_blank ... ok Dec 12 20:05:35.959 INFO [stdout] test parser::tests::test_parse_fix ... ok Dec 12 20:05:35.959 INFO [stdout] test parser::tests::test_parse_iszero ... ok Dec 12 20:05:35.959 INFO [stdout] test parser::tests::test_parse_lambda ... ok Dec 12 20:05:35.959 INFO [stdout] test parser::tests::test_parse_lambda_nested_arrow_type ... ok Dec 12 20:05:35.959 INFO [stdout] test parser::tests::test_parse_let ... ok Dec 12 20:05:35.960 INFO [stdout] test parser::tests::test_parse_lambda_not_arrow_type ... ok Dec 12 20:05:35.960 INFO [stdout] test parser::tests::test_parse_nat ... ok Dec 12 20:05:35.960 INFO [stdout] test parser::tests::test_parse_pred ... ok Dec 12 20:05:35.960 INFO [stdout] test parser::tests::test_parse_projection ... ok Dec 12 20:05:35.960 INFO [stdout] test parser::tests::test_parse_record ... ok Dec 12 20:05:35.960 INFO [stdout] test parser::tests::test_parse_case ... ok Dec 12 20:05:35.960 INFO [stdout] test parser::tests::test_parse_if ... ok Dec 12 20:05:35.960 INFO [stdout] test parser::tests::test_parse_record_arrow_type ... ok Dec 12 20:05:35.960 INFO [stdout] test parser::tests::test_parse_false ... ok Dec 12 20:05:35.960 INFO [stdout] test parser::tests::test_parse_record_type ... ok Dec 12 20:05:35.960 INFO [stdout] test parser::tests::test_parse_succ ... ok Dec 12 20:05:35.960 INFO [stdout] test parser::tests::test_parse_tag ... ok Dec 12 20:05:35.960 INFO [stdout] test parser::tests::test_parse_ref ... ok Dec 12 20:05:35.960 INFO [stdout] test parser::tests::test_parse_deref ... ok Dec 12 20:05:35.960 INFO [stdout] test parser::tests::test_parse_var_ref ... ok Dec 12 20:05:35.960 INFO [stdout] test parser::tests::test_parse_unit_type ... ok Dec 12 20:05:35.960 INFO [stdout] test parser::tests::test_parse_variant_type ... ok Dec 12 20:05:35.960 INFO [stdout] test ty::tests::test_record_type_equality ... ok Dec 12 20:05:35.960 INFO [stdout] test parser::tests::test_parse_unit_derived_form ... ok Dec 12 20:05:35.963 INFO [stdout] test type_check::tests::test_check_as ... ok Dec 12 20:05:35.963 INFO [stdout] test type_check::tests::test_check_case ... ok Dec 12 20:05:35.963 INFO [stdout] test type_check::tests::test_check_assign ... ok Dec 12 20:05:35.963 INFO [stdout] test type_check::tests::test_check_bool ... ok Dec 12 20:05:35.963 INFO [stdout] test type_check::tests::test_check_deref ... ok Dec 12 20:05:35.963 INFO [stdout] test type_check::tests::test_check_fix ... ok Dec 12 20:05:35.963 INFO [stdout] test type_check::tests::test_check_apply ... ok Dec 12 20:05:35.963 INFO [stdout] test parser::tests::test_parse_true_false ... ok Dec 12 20:05:35.963 INFO [stdout] test parser::tests::test_parse_true ... ok Dec 12 20:05:35.963 INFO [stdout] test parser::tests::test_parse_top_type ... ok Dec 12 20:05:35.963 INFO [stdout] test type_check::tests::test_check_pred ... ok Dec 12 20:05:35.963 INFO [stdout] test type_check::tests::test_check_projection ... ok Dec 12 20:05:35.963 INFO [stdout] test type_check::tests::test_check_record ... ok Dec 12 20:05:35.971 INFO [stdout] test type_check::tests::test_check_ref ... ok Dec 12 20:05:35.971 INFO [stdout] test type_check::tests::test_check_type_mismatch ... ok Dec 12 20:05:35.971 INFO [stdout] test type_check::tests::test_check_succ ... ok Dec 12 20:05:35.971 INFO [stdout] test type_check::tests::test_check_variable_not_found ... ok Dec 12 20:05:35.971 INFO [stdout] test type_check::tests::test_check_variant ... ok Dec 12 20:05:35.971 INFO [stdout] test type_check::tests_env::test_find_by_variable ... ok Dec 12 20:05:35.971 INFO [stdout] test type_check::tests_subtype_eq::test_subtype_eq_arrow ... ok Dec 12 20:05:35.971 INFO [stdout] test type_check::tests_subtype_eq::test_subtype_eq_record ... ok Dec 12 20:05:35.971 INFO [stdout] test type_check::tests_subtype_eq::test_subtype_eq_top ... ok Dec 12 20:05:35.971 INFO [stdout] test type_check::tests_type_eq::test_type_eq_arrow ... ok Dec 12 20:05:35.971 INFO [stdout] test type_check::tests_type_eq::test_type_eq_bool ... ok Dec 12 20:05:35.971 INFO [stdout] test type_check::tests_type_eq::test_type_eq_nat ... ok Dec 12 20:05:35.971 INFO [stdout] test type_check::tests_type_eq::test_type_eq_record ... ok Dec 12 20:05:35.971 INFO [stdout] test type_check::tests_type_eq::test_type_eq_ref ... ok Dec 12 20:05:35.971 INFO [stdout] test type_check::tests_type_eq::test_type_eq_top ... ok Dec 12 20:05:35.971 INFO [stdout] test type_check::tests_type_eq::test_type_eq_unit ... ok Dec 12 20:05:35.971 INFO [stdout] test type_check::tests_type_eq::test_type_eq_variant ... ok Dec 12 20:05:35.971 INFO [stdout] test type_check::tests::test_check_unit ... ok Dec 12 20:05:35.975 INFO [stdout] test type_check::tests::test_check_if_then_else ... ok Dec 12 20:05:35.975 INFO [stdout] test type_check::tests::test_check_lambda ... ok Dec 12 20:05:35.975 INFO [stdout] test type_check::tests::test_check_iszero ... ok Dec 12 20:05:35.975 INFO [stdout] test type_check::tests::test_check_let ... ok Dec 12 20:05:35.975 INFO [stdout] test type_check::tests::test_check_nat ... ok Dec 12 20:05:35.975 INFO [stdout] Dec 12 20:05:35.975 INFO [stdout] test result: ok. 132 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 12 20:05:35.975 INFO [stdout] Dec 12 20:05:35.979 INFO [stderr] Running /target/debug/deps/type_lang-af9a00129871c118 Dec 12 20:05:35.979 INFO [stderr] Doc-tests type_lang Dec 12 20:05:35.979 INFO [stdout] Dec 12 20:05:35.979 INFO [stdout] running 0 tests Dec 12 20:05:35.979 INFO [stdout] Dec 12 20:05:35.979 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 12 20:05:35.979 INFO [stdout] Dec 12 20:05:36.174 INFO [stdout] Dec 12 20:05:36.174 INFO [stdout] running 0 tests Dec 12 20:05:36.174 INFO [stdout] Dec 12 20:05:36.174 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 12 20:05:36.174 INFO [stdout] Dec 12 20:05:36.183 INFO [stderr] su: No module specific data is present Dec 12 20:05:37.538 INFO running `"docker" "inspect" "a1960112350d9df7684b8eb1a3577e288e06515f999046b0bb8b1d6a63081158"` Dec 12 20:05:37.849 INFO running `"docker" "rm" "-f" "a1960112350d9df7684b8eb1a3577e288e06515f999046b0bb8b1d6a63081158"` Dec 12 20:05:38.135 INFO [stdout] a1960112350d9df7684b8eb1a3577e288e06515f999046b0bb8b1d6a63081158