Nov 16 07:19:16.292 INFO testing yui-knk/type_lang against try#2e026d6e5d7621634147ad4c8074f1d964dbb1be for pr-55982 Nov 16 07:19:16.293 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-6/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"` Nov 16 07:19:17.053 INFO [stdout] b7c1a59ef32a1256aca0205558fea17529d0a2700ea1a0c17dddce515d0554cb Nov 16 07:19:17.054 INFO running `"docker" "start" "-a" "b7c1a59ef32a1256aca0205558fea17529d0a2700ea1a0c17dddce515d0554cb"` Nov 16 07:19:18.853 INFO [stderr] usermod: no changes Nov 16 07:19:19.123 INFO [stderr] Compiling libc v0.2.43 Nov 16 07:19:19.123 INFO [stderr] Compiling either v1.5.0 Nov 16 07:19:19.123 INFO [stderr] Compiling bitflags v1.0.4 Nov 16 07:19:19.131 INFO [stderr] Compiling textwrap v0.10.0 Nov 16 07:19:19.955 INFO [stderr] Compiling itertools v0.7.8 Nov 16 07:19:22.839 INFO [stderr] Compiling atty v0.2.11 Nov 16 07:19:23.227 INFO [stderr] Compiling clap v2.32.0 Nov 16 07:19:41.721 INFO [stderr] Compiling type_lang v0.1.0 (/source) Nov 16 07:19:47.308 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 28.41s Nov 16 07:19:47.312 INFO [stderr] su: No module specific data is present Nov 16 07:19:49.030 INFO running `"docker" "inspect" "b7c1a59ef32a1256aca0205558fea17529d0a2700ea1a0c17dddce515d0554cb"` Nov 16 07:19:49.454 INFO running `"docker" "rm" "-f" "b7c1a59ef32a1256aca0205558fea17529d0a2700ea1a0c17dddce515d0554cb"` Nov 16 07:19:49.832 INFO [stdout] b7c1a59ef32a1256aca0205558fea17529d0a2700ea1a0c17dddce515d0554cb Nov 16 07:19:49.837 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-6/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"` Nov 16 07:19:50.313 INFO [stdout] 448965ae0e469b5e77369e8d80f66c6b036fab0bdd5c1d6d78cacdcf34d54c4b Nov 16 07:19:50.315 INFO running `"docker" "start" "-a" "448965ae0e469b5e77369e8d80f66c6b036fab0bdd5c1d6d78cacdcf34d54c4b"` Nov 16 07:19:52.563 INFO [stderr] usermod: no changes Nov 16 07:19:52.687 INFO [stderr] Compiling type_lang v0.1.0 (/source) Nov 16 07:19:58.983 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 6.39s Nov 16 07:19:58.986 INFO [stderr] su: No module specific data is present Nov 16 07:19:59.573 INFO running `"docker" "inspect" "448965ae0e469b5e77369e8d80f66c6b036fab0bdd5c1d6d78cacdcf34d54c4b"` Nov 16 07:19:59.869 INFO running `"docker" "rm" "-f" "448965ae0e469b5e77369e8d80f66c6b036fab0bdd5c1d6d78cacdcf34d54c4b"` Nov 16 07:20:00.263 INFO [stdout] 448965ae0e469b5e77369e8d80f66c6b036fab0bdd5c1d6d78cacdcf34d54c4b Nov 16 07:20:00.267 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-6/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"` Nov 16 07:20:00.721 INFO [stdout] 6ae5908da84764dff03e96b34c9c755a46f28445465debb4f80438d692fcad4e Nov 16 07:20:00.727 INFO running `"docker" "start" "-a" "6ae5908da84764dff03e96b34c9c755a46f28445465debb4f80438d692fcad4e"` Nov 16 07:20:02.079 INFO [stderr] usermod: no changes Nov 16 07:20:02.191 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.08s Nov 16 07:20:02.191 INFO [stderr] Running /target/debug/deps/type_lang-62ce49ecd0df8069 Nov 16 07:20:02.195 INFO [stdout] Nov 16 07:20:02.195 INFO [stdout] running 128 tests Nov 16 07:20:02.199 INFO [stdout] test eval::tests::test_eval_as ... ok Nov 16 07:20:02.199 INFO [stdout] test eval::tests::test_eval_appy ... ok Nov 16 07:20:02.199 INFO [stdout] test eval::tests::test_eval_false ... ok Nov 16 07:20:02.199 INFO [stdout] test eval::tests::test_eval_iszero ... ok Nov 16 07:20:02.199 INFO [stdout] test eval::tests::test_eval_assign ... ok Nov 16 07:20:02.203 INFO [stdout] test eval::tests::test_eval_deref ... ok Nov 16 07:20:02.203 INFO [stdout] test eval::tests::test_eval_lambda ... ok Nov 16 07:20:02.203 INFO [stdout] test eval::tests::test_eval_if ... ok Nov 16 07:20:02.207 INFO [stdout] test eval::tests::test_eval_case ... ok Nov 16 07:20:02.217 INFO [stdout] test eval::tests::test_eval_pred ... ok Nov 16 07:20:02.223 INFO [stdout] test eval::tests::test_eval_fix ... ok Nov 16 07:20:02.224 INFO [stdout] test eval::tests::test_eval_ref ... ok Nov 16 07:20:02.231 INFO [stdout] test eval::tests::test_eval_let ... ok Nov 16 07:20:02.231 INFO [stdout] test eval::tests::test_eval_nat ... ok Nov 16 07:20:02.231 INFO [stdout] test eval::tests::test_eval_associativity ... ok Nov 16 07:20:02.231 INFO [stdout] test eval::tests::test_eval_projection ... ok Nov 16 07:20:02.243 INFO [stdout] test eval::tests::test_eval_letrec ... ok Nov 16 07:20:02.247 INFO [stdout] test eval::tests::test_eval_unit ... ok Nov 16 07:20:02.247 INFO [stdout] test eval::tests::test_eval_record ... ok Nov 16 07:20:02.247 INFO [stdout] test eval::tests::test_eval_succ ... ok Nov 16 07:20:02.247 INFO [stdout] test eval::tests::test_eval_unit_derived_form ... ok Nov 16 07:20:02.247 INFO [stdout] test eval::tests::test_eval_variant ... ok Nov 16 07:20:02.247 INFO [stdout] test eval::tests::test_eval_succ_pred ... ok Nov 16 07:20:02.247 INFO [stdout] test eval::tests::test_eval_true ... ok Nov 16 07:20:02.247 INFO [stdout] test eval::tests_env::test_find_by_variable ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_bang ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_bool ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_braces ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_arrow ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_as ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_case ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_colon ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_coloneq ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_comma ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_dot ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_eq ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_false ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_farrow ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_fix ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_gt ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_identifier ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_if_then_else ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_in ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_invalid_arrow ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_iszero ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_let ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_letrec ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_lt ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_nat ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_new_lines ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_nnat ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_of ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_parens ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_parens_with_identifiers ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_pred ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_ref ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_semicolon ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_succ ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_top ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_true ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_true_false ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_unit ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_unknowntoken ... ok Nov 16 07:20:02.247 INFO [stdout] test lexer::tests::test_next_token_vbar ... ok Nov 16 07:20:02.247 INFO [stdout] test parser::tests::test_parse_apply ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_apply_2 ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_as ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_assign ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_blank ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_case ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_deref ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_false ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_iszero ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_lambda ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_if ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_record ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_record_arrow_type ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_record_type ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_ref ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_succ ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_tag ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_top_type ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_true ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_true_false ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_unit_derived_form ... ok Nov 16 07:20:02.255 INFO [stdout] test parser::tests::test_parse_var_ref ... ok Nov 16 07:20:02.267 INFO [stdout] test parser::tests::test_parse_variant_type ... ok Nov 16 07:20:02.279 INFO [stdout] test parser::tests::test_parse_fix ... ok Nov 16 07:20:02.279 INFO [stdout] test parser::tests::test_parse_lambda_nested_arrow_type ... ok Nov 16 07:20:02.279 INFO [stdout] test parser::tests::test_parse_lambda_not_arrow_type ... ok Nov 16 07:20:02.279 INFO [stdout] test parser::tests::test_parse_let ... ok Nov 16 07:20:02.279 INFO [stdout] test parser::tests::test_parse_nat ... ok Nov 16 07:20:02.279 INFO [stdout] test ty::tests::test_record_type_equality ... ok Nov 16 07:20:02.279 INFO [stdout] test parser::tests::test_parse_projection ... ok Nov 16 07:20:02.279 INFO [stdout] test parser::tests::test_parse_pred ... ok Nov 16 07:20:02.279 INFO [stdout] test type_check::tests::test_check_deref ... ok Nov 16 07:20:02.279 INFO [stdout] test type_check::tests::test_check_bool ... ok Nov 16 07:20:02.283 INFO [stdout] test type_check::tests::test_check_as ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests::test_check_case ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests::test_check_if_then_else ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests::test_check_iszero ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests::test_check_assign ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests::test_check_apply ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests::test_check_fix ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests::test_check_nat ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests::test_check_lambda ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests::test_check_pred ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests::test_check_let ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests::test_check_ref ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests::test_check_succ ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests::test_check_unit ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests::test_check_type_mismatch ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests::test_check_variable_not_found ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests::test_check_variant ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests_env::test_find_by_variable ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests_subtype_eq::test_subtype_eq_arrow ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests_subtype_eq::test_subtype_eq_record ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests_type_eq::test_type_eq_arrow ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests_subtype_eq::test_subtype_eq_top ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests_type_eq::test_type_eq_bool ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests_type_eq::test_type_eq_nat ... ok Nov 16 07:20:02.291 INFO [stdout] test type_check::tests_type_eq::test_type_eq_record ... ok Nov 16 07:20:02.295 INFO [stdout] test type_check::tests_type_eq::test_type_eq_ref ... ok Nov 16 07:20:02.295 INFO [stdout] test type_check::tests_type_eq::test_type_eq_variant ... ok Nov 16 07:20:02.295 INFO [stdout] test type_check::tests_type_eq::test_type_eq_unit ... ok Nov 16 07:20:02.295 INFO [stdout] test type_check::tests_type_eq::test_type_eq_top ... ok Nov 16 07:20:02.303 INFO [stdout] test type_check::tests::test_check_projection ... ok Nov 16 07:20:02.303 INFO [stdout] test type_check::tests::test_check_record ... ok Nov 16 07:20:02.303 INFO [stdout] Nov 16 07:20:02.303 INFO [stdout] test result: ok. 128 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 16 07:20:02.303 INFO [stdout] Nov 16 07:20:02.303 INFO [stderr] Running /target/debug/deps/type_lang-a414acc42c796008 Nov 16 07:20:02.307 INFO [stdout] Nov 16 07:20:02.307 INFO [stdout] running 0 tests Nov 16 07:20:02.307 INFO [stdout] Nov 16 07:20:02.307 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 16 07:20:02.307 INFO [stdout] Nov 16 07:20:02.307 INFO [stderr] Doc-tests type_lang Nov 16 07:20:02.571 INFO [stdout] Nov 16 07:20:02.571 INFO [stdout] running 0 tests Nov 16 07:20:02.571 INFO [stdout] Nov 16 07:20:02.571 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 16 07:20:02.571 INFO [stdout] Nov 16 07:20:02.583 INFO [stderr] su: No module specific data is present Nov 16 07:20:04.096 INFO running `"docker" "inspect" "6ae5908da84764dff03e96b34c9c755a46f28445465debb4f80438d692fcad4e"` Nov 16 07:20:04.361 INFO running `"docker" "rm" "-f" "6ae5908da84764dff03e96b34c9c755a46f28445465debb4f80438d692fcad4e"` Nov 16 07:20:04.585 INFO [stdout] 6ae5908da84764dff03e96b34c9c755a46f28445465debb4f80438d692fcad4e