Dec 05 00:33:46.029 INFO testing yui-knk/type_lang against try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468 for pr-56514 Dec 05 00:33:46.030 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-5/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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:46.508 INFO [stdout] 849ed52bd7882b6d497e8a326cbf4f6517f7f2987c61eba6bc4fbc81b6f6d1b7 Dec 05 00:33:46.516 INFO running `"docker" "start" "-a" "849ed52bd7882b6d497e8a326cbf4f6517f7f2987c61eba6bc4fbc81b6f6d1b7"` Dec 05 00:33:48.415 INFO [stderr] usermod: no changes Dec 05 00:33:48.503 INFO [stderr] Compiling itertools v0.7.8 Dec 05 00:33:50.715 INFO [stderr] Compiling type_lang v0.1.0 (/source) Dec 05 00:33:56.253 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 7.81s Dec 05 00:33:56.276 INFO [stderr] su: No module specific data is present Dec 05 00:33:56.995 INFO running `"docker" "inspect" "849ed52bd7882b6d497e8a326cbf4f6517f7f2987c61eba6bc4fbc81b6f6d1b7"` Dec 05 00:33:57.286 INFO running `"docker" "rm" "-f" "849ed52bd7882b6d497e8a326cbf4f6517f7f2987c61eba6bc4fbc81b6f6d1b7"` Dec 05 00:33:57.528 INFO [stdout] 849ed52bd7882b6d497e8a326cbf4f6517f7f2987c61eba6bc4fbc81b6f6d1b7 Dec 05 00:33:57.536 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-5/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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:33:57.965 INFO [stdout] d3ba9eebde4fc1c3be117633f168f1633846b02c7b4235f9edd6fea77a0348c1 Dec 05 00:33:57.972 INFO running `"docker" "start" "-a" "d3ba9eebde4fc1c3be117633f168f1633846b02c7b4235f9edd6fea77a0348c1"` Dec 05 00:33:59.390 INFO [stderr] usermod: no changes Dec 05 00:33:59.492 INFO [stderr] Compiling type_lang v0.1.0 (/source) Dec 05 00:34:05.980 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 6.55s Dec 05 00:34:05.992 INFO [stderr] su: No module specific data is present Dec 05 00:34:07.155 INFO running `"docker" "inspect" "d3ba9eebde4fc1c3be117633f168f1633846b02c7b4235f9edd6fea77a0348c1"` Dec 05 00:34:07.514 INFO running `"docker" "rm" "-f" "d3ba9eebde4fc1c3be117633f168f1633846b02c7b4235f9edd6fea77a0348c1"` Dec 05 00:34:07.808 INFO [stdout] d3ba9eebde4fc1c3be117633f168f1633846b02c7b4235f9edd6fea77a0348c1 Dec 05 00:34:07.812 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-5/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/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 +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-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:08.317 INFO [stdout] 946c91efd6f5bb2cae81a644aa7e7222df80a219dbdc3ab6f0c8e97df1db876c Dec 05 00:34:08.319 INFO running `"docker" "start" "-a" "946c91efd6f5bb2cae81a644aa7e7222df80a219dbdc3ab6f0c8e97df1db876c"` Dec 05 00:34:10.608 INFO [stderr] usermod: no changes Dec 05 00:34:10.729 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.07s Dec 05 00:34:10.731 INFO [stderr] Running /target/debug/deps/type_lang-9940515ada8b302a Dec 05 00:34:10.735 INFO [stdout] Dec 05 00:34:10.753 INFO [stdout] running 128 tests Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_as ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_appy ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_assign ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_associativity ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_false ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_deref ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_if ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_fix ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_lambda ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_iszero ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_let ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_case ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_letrec ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_succ ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_record ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_nat ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_pred ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_projection ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_ref ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_unit ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests_env::test_find_by_variable ... ok Dec 05 00:34:10.753 INFO [stdout] test lexer::tests::test_next_token_arrow ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_true ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_unit_derived_form ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_variant ... ok Dec 05 00:34:10.753 INFO [stdout] test lexer::tests::test_next_token_bool ... ok Dec 05 00:34:10.753 INFO [stdout] test lexer::tests::test_next_token_as ... ok Dec 05 00:34:10.753 INFO [stdout] test eval::tests::test_eval_succ_pred ... ok Dec 05 00:34:10.753 INFO [stdout] test lexer::tests::test_next_token_braces ... ok Dec 05 00:34:10.753 INFO [stdout] test lexer::tests::test_next_token_bang ... ok Dec 05 00:34:10.753 INFO [stdout] test lexer::tests::test_next_token_false ... ok Dec 05 00:34:10.753 INFO [stdout] test lexer::tests::test_next_token_fix ... ok Dec 05 00:34:10.754 INFO [stdout] test lexer::tests::test_next_token_eq ... ok Dec 05 00:34:10.754 INFO [stdout] test lexer::tests::test_next_token_farrow ... ok Dec 05 00:34:10.757 INFO [stdout] test lexer::tests::test_next_token_case ... ok Dec 05 00:34:10.757 INFO [stdout] test lexer::tests::test_next_token_colon ... ok Dec 05 00:34:10.757 INFO [stdout] test lexer::tests::test_next_token_coloneq ... ok Dec 05 00:34:10.757 INFO [stdout] test lexer::tests::test_next_token_gt ... ok Dec 05 00:34:10.757 INFO [stdout] test lexer::tests::test_next_token_identifier ... ok Dec 05 00:34:10.757 INFO [stdout] test lexer::tests::test_next_token_dot ... ok Dec 05 00:34:10.757 INFO [stdout] test lexer::tests::test_next_token_comma ... ok Dec 05 00:34:10.757 INFO [stdout] test lexer::tests::test_next_token_in ... ok Dec 05 00:34:10.757 INFO [stdout] test lexer::tests::test_next_token_let ... ok Dec 05 00:34:10.757 INFO [stdout] test lexer::tests::test_next_token_invalid_arrow ... ok Dec 05 00:34:10.758 INFO [stdout] test lexer::tests::test_next_token_iszero ... ok Dec 05 00:34:10.758 INFO [stdout] test lexer::tests::test_next_token_if_then_else ... ok Dec 05 00:34:10.764 INFO [stdout] test lexer::tests::test_next_token_of ... ok Dec 05 00:34:10.764 INFO [stdout] test lexer::tests::test_next_token_parens ... ok Dec 05 00:34:10.764 INFO [stdout] test lexer::tests::test_next_token_nnat ... ok Dec 05 00:34:10.764 INFO [stdout] test lexer::tests::test_next_token_parens_with_identifiers ... ok Dec 05 00:34:10.764 INFO [stdout] test lexer::tests::test_next_token_lt ... ok Dec 05 00:34:10.764 INFO [stdout] test lexer::tests::test_next_token_new_lines ... ok Dec 05 00:34:10.765 INFO [stdout] test lexer::tests::test_next_token_letrec ... ok Dec 05 00:34:10.765 INFO [stdout] test lexer::tests::test_next_token_nat ... ok Dec 05 00:34:10.765 INFO [stdout] test lexer::tests::test_next_token_true ... ok Dec 05 00:34:10.765 INFO [stdout] test lexer::tests::test_next_token_true_false ... ok Dec 05 00:34:10.765 INFO [stdout] test lexer::tests::test_next_token_semicolon ... ok Dec 05 00:34:10.765 INFO [stdout] test lexer::tests::test_next_token_succ ... ok Dec 05 00:34:10.765 INFO [stdout] test lexer::tests::test_next_token_ref ... ok Dec 05 00:34:10.765 INFO [stdout] test lexer::tests::test_next_token_unit ... ok Dec 05 00:34:10.765 INFO [stdout] test lexer::tests::test_next_token_vbar ... ok Dec 05 00:34:10.765 INFO [stdout] test parser::tests::test_parse_apply ... ok Dec 05 00:34:10.772 INFO [stdout] test lexer::tests::test_next_token_pred ... ok Dec 05 00:34:10.772 INFO [stdout] test parser::tests::test_parse_as ... ok Dec 05 00:34:10.772 INFO [stdout] test parser::tests::test_parse_blank ... ok Dec 05 00:34:10.773 INFO [stdout] test parser::tests::test_parse_apply_2 ... ok Dec 05 00:34:10.773 INFO [stdout] test parser::tests::test_parse_assign ... ok Dec 05 00:34:10.773 INFO [stdout] test lexer::tests::test_next_token_unknowntoken ... ok Dec 05 00:34:10.773 INFO [stdout] test parser::tests::test_parse_case ... ok Dec 05 00:34:10.774 INFO [stdout] test lexer::tests::test_next_token_top ... ok Dec 05 00:34:10.780 INFO [stdout] test parser::tests::test_parse_fix ... ok Dec 05 00:34:10.780 INFO [stdout] test parser::tests::test_parse_if ... ok Dec 05 00:34:10.780 INFO [stdout] test parser::tests::test_parse_lambda ... ok Dec 05 00:34:10.780 INFO [stdout] test parser::tests::test_parse_lambda_not_arrow_type ... ok Dec 05 00:34:10.780 INFO [stdout] test parser::tests::test_parse_false ... ok Dec 05 00:34:10.780 INFO [stdout] test parser::tests::test_parse_deref ... ok Dec 05 00:34:10.781 INFO [stdout] test parser::tests::test_parse_iszero ... ok Dec 05 00:34:10.781 INFO [stdout] test parser::tests::test_parse_lambda_nested_arrow_type ... ok Dec 05 00:34:10.784 INFO [stdout] test parser::tests::test_parse_record ... ok Dec 05 00:34:10.784 INFO [stdout] test parser::tests::test_parse_record_type ... ok Dec 05 00:34:10.784 INFO [stdout] test parser::tests::test_parse_let ... ok Dec 05 00:34:10.784 INFO [stdout] test parser::tests::test_parse_nat ... ok Dec 05 00:34:10.796 INFO [stdout] test parser::tests::test_parse_record_arrow_type ... ok Dec 05 00:34:10.796 INFO [stdout] test parser::tests::test_parse_top_type ... ok Dec 05 00:34:10.796 INFO [stdout] test parser::tests::test_parse_true ... ok Dec 05 00:34:10.796 INFO [stdout] test parser::tests::test_parse_projection ... ok Dec 05 00:34:10.796 INFO [stdout] test parser::tests::test_parse_pred ... ok Dec 05 00:34:10.797 INFO [stdout] test parser::tests::test_parse_ref ... ok Dec 05 00:34:10.797 INFO [stdout] test parser::tests::test_parse_variant_type ... ok Dec 05 00:34:10.800 INFO [stdout] test type_check::tests::test_check_apply ... ok Dec 05 00:34:10.800 INFO [stdout] test parser::tests::test_parse_succ ... ok Dec 05 00:34:10.800 INFO [stdout] test parser::tests::test_parse_tag ... ok Dec 05 00:34:10.800 INFO [stdout] test type_check::tests::test_check_as ... ok Dec 05 00:34:10.800 INFO [stdout] test ty::tests::test_record_type_equality ... ok Dec 05 00:34:10.800 INFO [stdout] test parser::tests::test_parse_var_ref ... ok Dec 05 00:34:10.808 INFO [stdout] test parser::tests::test_parse_true_false ... ok Dec 05 00:34:10.808 INFO [stdout] test parser::tests::test_parse_unit_derived_form ... ok Dec 05 00:34:10.808 INFO [stdout] test type_check::tests::test_check_bool ... ok Dec 05 00:34:10.814 INFO [stdout] test type_check::tests::test_check_case ... ok Dec 05 00:34:10.814 INFO [stdout] test type_check::tests::test_check_assign ... ok Dec 05 00:34:10.815 INFO [stdout] test type_check::tests::test_check_deref ... ok Dec 05 00:34:10.815 INFO [stdout] test type_check::tests::test_check_lambda ... ok Dec 05 00:34:10.815 INFO [stdout] test type_check::tests::test_check_fix ... ok Dec 05 00:34:10.820 INFO [stdout] test type_check::tests::test_check_if_then_else ... ok Dec 05 00:34:10.820 INFO [stdout] test type_check::tests::test_check_ref ... ok Dec 05 00:34:10.821 INFO [stdout] test type_check::tests::test_check_pred ... ok Dec 05 00:34:10.821 INFO [stdout] test type_check::tests::test_check_record ... ok Dec 05 00:34:10.822 INFO [stdout] test type_check::tests::test_check_iszero ... ok Dec 05 00:34:10.822 INFO [stdout] test type_check::tests::test_check_nat ... ok Dec 05 00:34:10.822 INFO [stdout] test type_check::tests::test_check_let ... ok Dec 05 00:34:10.822 INFO [stdout] test type_check::tests::test_check_unit ... ok Dec 05 00:34:10.823 INFO [stdout] test type_check::tests_env::test_find_by_variable ... ok Dec 05 00:34:10.823 INFO [stdout] test type_check::tests::test_check_variable_not_found ... ok Dec 05 00:34:10.824 INFO [stdout] test type_check::tests::test_check_variant ... ok Dec 05 00:34:10.824 INFO [stdout] test type_check::tests::test_check_type_mismatch ... ok Dec 05 00:34:10.824 INFO [stdout] test type_check::tests_type_eq::test_type_eq_arrow ... ok Dec 05 00:34:10.828 INFO [stdout] test type_check::tests_type_eq::test_type_eq_bool ... ok Dec 05 00:34:10.832 INFO [stdout] test type_check::tests_subtype_eq::test_subtype_eq_record ... ok Dec 05 00:34:10.832 INFO [stdout] test type_check::tests_type_eq::test_type_eq_nat ... ok Dec 05 00:34:10.833 INFO [stdout] test type_check::tests_subtype_eq::test_subtype_eq_top ... ok Dec 05 00:34:10.833 INFO [stdout] test type_check::tests_type_eq::test_type_eq_record ... ok Dec 05 00:34:10.833 INFO [stdout] test type_check::tests_type_eq::test_type_eq_ref ... ok Dec 05 00:34:10.833 INFO [stdout] test type_check::tests_subtype_eq::test_subtype_eq_arrow ... ok Dec 05 00:34:10.833 INFO [stdout] test type_check::tests::test_check_projection ... ok Dec 05 00:34:10.834 INFO [stdout] test type_check::tests::test_check_succ ... ok Dec 05 00:34:10.840 INFO [stdout] test type_check::tests_type_eq::test_type_eq_unit ... ok Dec 05 00:34:10.840 INFO [stdout] test type_check::tests_type_eq::test_type_eq_variant ... ok Dec 05 00:34:10.840 INFO [stdout] test type_check::tests_type_eq::test_type_eq_top ... ok Dec 05 00:34:10.840 INFO [stdout] Dec 05 00:34:10.840 INFO [stdout] test result: ok. 128 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 05 00:34:10.840 INFO [stdout] Dec 05 00:34:10.841 INFO [stderr] Running /target/debug/deps/type_lang-d535780a8bf635e3 Dec 05 00:34:10.850 INFO [stdout] Dec 05 00:34:10.850 INFO [stdout] running 0 tests Dec 05 00:34:10.850 INFO [stdout] Dec 05 00:34:10.850 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 05 00:34:10.850 INFO [stdout] Dec 05 00:34:10.850 INFO [stderr] Doc-tests type_lang Dec 05 00:34:11.136 INFO [stdout] Dec 05 00:34:11.136 INFO [stdout] running 0 tests Dec 05 00:34:11.136 INFO [stdout] Dec 05 00:34:11.136 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 05 00:34:11.136 INFO [stdout] Dec 05 00:34:11.144 INFO [stderr] su: No module specific data is present Dec 05 00:34:12.418 INFO running `"docker" "inspect" "946c91efd6f5bb2cae81a644aa7e7222df80a219dbdc3ab6f0c8e97df1db876c"` Dec 05 00:34:12.820 INFO running `"docker" "rm" "-f" "946c91efd6f5bb2cae81a644aa7e7222df80a219dbdc3ab6f0c8e97df1db876c"` Dec 05 00:34:13.152 INFO [stdout] 946c91efd6f5bb2cae81a644aa7e7222df80a219dbdc3ab6f0c8e97df1db876c