[INFO] updating cached repository yui-knk/type_lang [INFO] running `"git" "fetch" "--all"` [INFO] [stdout] Fetching origin [INFO] [stderr] From git://github.com/yui-knk/type_lang [INFO] [stderr] * branch HEAD -> FETCH_HEAD [INFO] running `"git" "clone" "work/cache/sources/gh/yui-knk/type_lang" "work/ex/pr-57967/sources/master#c1c3c4e95b69dfeaca5c5db6c622d7f90ad30a54/gh/yui-knk/type_lang"` [INFO] [stderr] Cloning into 'work/ex/pr-57967/sources/master#c1c3c4e95b69dfeaca5c5db6c622d7f90ad30a54/gh/yui-knk/type_lang'... [INFO] [stderr] done. [INFO] running `"git" "clone" "work/cache/sources/gh/yui-knk/type_lang" "work/ex/pr-57967/sources/try#7fea0229842e79db1159ea58ad9a653b288efee9/gh/yui-knk/type_lang"` [INFO] [stderr] Cloning into 'work/ex/pr-57967/sources/try#7fea0229842e79db1159ea58ad9a653b288efee9/gh/yui-knk/type_lang'... [INFO] [stderr] done. [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] 99b117325ecc2de0f54cbcca80f3128799d32555 [INFO] sha for GitHub repo yui-knk/type_lang: 99b117325ecc2de0f54cbcca80f3128799d32555 [INFO] validating manifest of yui-knk/type_lang on toolchain master#c1c3c4e95b69dfeaca5c5db6c622d7f90ad30a54 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+c1c3c4e95b69dfeaca5c5db6c622d7f90ad30a54-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of yui-knk/type_lang on toolchain try#7fea0229842e79db1159ea58ad9a653b288efee9 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+7fea0229842e79db1159ea58ad9a653b288efee9-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started frobbing yui-knk/type_lang [INFO] finished frobbing yui-knk/type_lang [INFO] frobbed toml for yui-knk/type_lang written to work/ex/pr-57967/sources/master#c1c3c4e95b69dfeaca5c5db6c622d7f90ad30a54/gh/yui-knk/type_lang/Cargo.toml [INFO] started frobbing yui-knk/type_lang [INFO] finished frobbing yui-knk/type_lang [INFO] frobbed toml for yui-knk/type_lang written to work/ex/pr-57967/sources/try#7fea0229842e79db1159ea58ad9a653b288efee9/gh/yui-knk/type_lang/Cargo.toml [INFO] crate yui-knk/type_lang has a lockfile. skipping [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+c1c3c4e95b69dfeaca5c5db6c622d7f90ad30a54-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+7fea0229842e79db1159ea58ad9a653b288efee9-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] testing yui-knk/type_lang against try#7fea0229842e79db1159ea58ad9a653b288efee9 for pr-57967 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-57967/worker-2/try#7fea0229842e79db1159ea58ad9a653b288efee9:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-57967/sources/try#7fea0229842e79db1159ea58ad9a653b288efee9/gh/yui-knk/type_lang:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+7fea0229842e79db1159ea58ad9a653b288efee9-alt" "build" "--frozen"` [INFO] [stdout] 593c249cc760a216fc60bdd209e6973314194816746721bc9a591d576a62de99 [INFO] running `"docker" "start" "-a" "593c249cc760a216fc60bdd209e6973314194816746721bc9a591d576a62de99"` [INFO] [stderr] Compiling atty v0.2.11 [INFO] [stderr] Compiling textwrap v0.10.0 [INFO] [stderr] Compiling clap v2.32.0 [INFO] [stderr] Compiling type_lang v0.1.0 (/opt/crater/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 20.83s [INFO] running `"docker" "inspect" "593c249cc760a216fc60bdd209e6973314194816746721bc9a591d576a62de99"` [INFO] running `"docker" "rm" "-f" "593c249cc760a216fc60bdd209e6973314194816746721bc9a591d576a62de99"` [INFO] [stdout] 593c249cc760a216fc60bdd209e6973314194816746721bc9a591d576a62de99 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-57967/worker-2/try#7fea0229842e79db1159ea58ad9a653b288efee9:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-57967/sources/try#7fea0229842e79db1159ea58ad9a653b288efee9/gh/yui-knk/type_lang:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+7fea0229842e79db1159ea58ad9a653b288efee9-alt" "test" "--frozen" "--no-run"` [INFO] [stdout] 2d54519a319b28fd417fe636d02601c8a87d7afc4429dcaa6f750301b9ca8617 [INFO] running `"docker" "start" "-a" "2d54519a319b28fd417fe636d02601c8a87d7afc4429dcaa6f750301b9ca8617"` [INFO] [stderr] Compiling type_lang v0.1.0 (/opt/crater/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 6.06s [INFO] running `"docker" "inspect" "2d54519a319b28fd417fe636d02601c8a87d7afc4429dcaa6f750301b9ca8617"` [INFO] running `"docker" "rm" "-f" "2d54519a319b28fd417fe636d02601c8a87d7afc4429dcaa6f750301b9ca8617"` [INFO] [stdout] 2d54519a319b28fd417fe636d02601c8a87d7afc4429dcaa6f750301b9ca8617 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-57967/worker-2/try#7fea0229842e79db1159ea58ad9a653b288efee9:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-57967/sources/try#7fea0229842e79db1159ea58ad9a653b288efee9/gh/yui-knk/type_lang:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+7fea0229842e79db1159ea58ad9a653b288efee9-alt" "test" "--frozen"` [INFO] [stdout] 1d3ff64141d122250b5b3ed6624514ffdf53caea7668f10b4f43ffb8080f0ece [INFO] running `"docker" "start" "-a" "1d3ff64141d122250b5b3ed6624514ffdf53caea7668f10b4f43ffb8080f0ece"` [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.05s [INFO] [stderr] Running /opt/crater/target/debug/deps/type_lang-9b85da5ec00d5a9d [INFO] [stdout] [INFO] [stdout] running 132 tests [INFO] [stdout] test eval::tests::test_eval_appy ... ok [INFO] [stdout] test eval::tests::test_eval_as ... ok [INFO] [stdout] test eval::tests::test_eval_assign ... ok [INFO] [stdout] test eval::tests::test_eval_lambda ... ok [INFO] [stdout] test eval::tests::test_eval_iszero ... ok [INFO] [stdout] test eval::tests::test_eval_if ... ok [INFO] [stdout] test eval::tests::test_eval_fix ... ok [INFO] [stdout] test eval::tests::test_eval_let ... ok [INFO] [stdout] test eval::tests::test_eval_false ... ok [INFO] [stdout] test eval::tests::test_eval_projection_apply ... ok [INFO] [stdout] test eval::tests::test_eval_letrec ... ok [INFO] [stdout] test eval::tests::test_eval_nat ... ok [INFO] [stdout] test eval::tests::test_eval_case ... ok [INFO] [stdout] test eval::tests::test_eval_succ_pred ... ok [INFO] [stdout] test eval::tests::test_eval_deref ... ok [INFO] [stdout] test eval::tests::test_eval_pred ... ok [INFO] [stdout] test eval::tests::test_eval_associativity ... ok [INFO] [stdout] test eval::tests::test_eval_projection ... ok [INFO] [stdout] test eval::tests::test_eval_ref ... ok [INFO] [stdout] test eval::tests::test_eval_unitt ... ok [INFO] [stdout] test eval::tests_env::test_find_by_variable ... ok [INFO] [stdout] test lexer::tests::test_next_token_arrow ... ok [INFO] [stdout] test eval::tests::test_eval_variant ... ok [INFO] [stdout] test lexer::tests::test_next_token_as ... ok [INFO] [stdout] test eval::tests::test_eval_unit ... ok [INFO] [stdout] test lexer::tests::test_next_token_braces ... ok [INFO] [stdout] test lexer::tests::test_next_token_bool ... ok [INFO] [stdout] test lexer::tests::test_next_token_bang ... ok [INFO] [stdout] test eval::tests::test_eval_record ... ok [INFO] [stdout] test eval::tests::test_eval_unit_derived_form ... ok [INFO] [stdout] test eval::tests::test_eval_true ... ok [INFO] [stdout] test eval::tests::test_eval_succ ... ok [INFO] [stdout] test lexer::tests::test_next_token_eq ... ok [INFO] [stdout] test lexer::tests::test_next_token_false ... ok [INFO] [stdout] test lexer::tests::test_next_token_farrow ... ok [INFO] [stdout] test lexer::tests::test_next_token_identifier ... ok [INFO] [stdout] test lexer::tests::test_next_token_gt ... ok [INFO] [stdout] test lexer::tests::test_next_token_if_then_else ... ok [INFO] [stdout] test lexer::tests::test_next_token_fix ... ok [INFO] [stdout] test lexer::tests::test_next_token_in ... ok [INFO] [stdout] test lexer::tests::test_next_token_invalid_arrow ... ok [INFO] [stdout] test lexer::tests::test_next_token_iszero ... ok [INFO] [stdout] test lexer::tests::test_next_token_let ... ok [INFO] [stdout] test lexer::tests::test_next_token_letrec ... ok [INFO] [stdout] test lexer::tests::test_next_token_lt ... ok [INFO] [stdout] test lexer::tests::test_next_token_nat ... ok [INFO] [stdout] test lexer::tests::test_next_token_new_lines ... ok [INFO] [stdout] test lexer::tests::test_next_token_nnat ... ok [INFO] [stdout] test lexer::tests::test_next_token_of ... ok [INFO] [stdout] test lexer::tests::test_next_token_parens_with_identifiers ... ok [INFO] [stdout] test lexer::tests::test_next_token_parens ... ok [INFO] [stdout] test lexer::tests::test_next_token_pred ... ok [INFO] [stdout] test lexer::tests::test_next_token_ref ... ok [INFO] [stdout] test lexer::tests::test_next_token_semicolon ... ok [INFO] [stdout] test lexer::tests::test_next_token_succ ... ok [INFO] [stdout] test lexer::tests::test_next_token_top ... ok [INFO] [stdout] test lexer::tests::test_next_token_true ... ok [INFO] [stdout] test lexer::tests::test_next_token_true_false ... ok [INFO] [stdout] test lexer::tests::test_next_token_unit ... ok [INFO] [stdout] test lexer::tests::test_next_token_unitt ... ok [INFO] [stdout] test lexer::tests::test_next_token_unknowntoken ... ok [INFO] [stdout] test lexer::tests::test_next_token_vbar ... ok [INFO] [stdout] test parser::tests::test_parse_apply ... ok [INFO] [stdout] test parser::tests::test_parse_apply_2 ... ok [INFO] [stdout] test parser::tests::test_parse_as ... ok [INFO] [stdout] test parser::tests::test_parse_assign ... ok [INFO] [stdout] test parser::tests::test_parse_blank ... ok [INFO] [stdout] test lexer::tests::test_next_token_colon ... ok [INFO] [stdout] test lexer::tests::test_next_token_coloneq ... ok [INFO] [stdout] test lexer::tests::test_next_token_comma ... ok [INFO] [stdout] test lexer::tests::test_next_token_dot ... ok [INFO] [stdout] test lexer::tests::test_next_token_case ... ok [INFO] [stdout] test parser::tests::test_parse_deref ... ok [INFO] [stdout] test parser::tests::test_parse_lambda_nested_arrow_type ... ok [INFO] [stdout] test parser::tests::test_parse_case ... ok [INFO] [stdout] test parser::tests::test_parse_let ... ok [INFO] [stdout] test parser::tests::test_parse_nat ... ok [INFO] [stdout] test parser::tests::test_parse_false ... ok [INFO] [stdout] test parser::tests::test_parse_pred ... ok [INFO] [stdout] test parser::tests::test_parse_lambda ... ok [INFO] [stdout] test parser::tests::test_parse_iszero ... ok [INFO] [stdout] test parser::tests::test_parse_projection ... ok [INFO] [stdout] test parser::tests::test_parse_record ... ok [INFO] [stdout] test parser::tests::test_parse_if ... ok [INFO] [stdout] test parser::tests::test_parse_fix ... ok [INFO] [stdout] test parser::tests::test_parse_lambda_not_arrow_type ... ok [INFO] [stdout] test parser::tests::test_parse_record_type ... ok [INFO] [stdout] test parser::tests::test_parse_ref ... ok [INFO] [stdout] test parser::tests::test_parse_record_arrow_type ... ok [INFO] [stdout] test parser::tests::test_parse_top_type ... ok [INFO] [stdout] test parser::tests::test_parse_succ ... ok [INFO] [stdout] test parser::tests::test_parse_tag ... ok [INFO] [stdout] test parser::tests::test_parse_true ... ok [INFO] [stdout] test parser::tests::test_parse_true_false ... ok [INFO] [stdout] test parser::tests::test_parse_unit_derived_form ... ok [INFO] [stdout] test parser::tests::test_parse_unit_type ... ok [INFO] [stdout] test parser::tests::test_parse_var_ref ... ok [INFO] [stdout] test parser::tests::test_parse_variant_type ... ok [INFO] [stdout] test ty::tests::test_record_type_equality ... ok [INFO] [stdout] test type_check::tests::test_check_as ... ok [INFO] [stdout] test type_check::tests::test_check_apply ... ok [INFO] [stdout] test type_check::tests::test_check_assign ... ok [INFO] [stdout] test type_check::tests::test_check_bool ... ok [INFO] [stdout] test type_check::tests::test_check_case ... ok [INFO] [stdout] test type_check::tests::test_check_deref ... ok [INFO] [stdout] test type_check::tests::test_check_fix ... ok [INFO] [stdout] test type_check::tests::test_check_if_then_else ... ok [INFO] [stdout] test type_check::tests::test_check_iszero ... ok [INFO] [stdout] test type_check::tests::test_check_lambda ... ok [INFO] [stdout] test type_check::tests::test_check_let ... ok [INFO] [stdout] test type_check::tests::test_check_succ ... ok [INFO] [stdout] test type_check::tests::test_check_type_mismatch ... ok [INFO] [stdout] test type_check::tests::test_check_nat ... ok [INFO] [stdout] test type_check::tests::test_check_pred ... ok [INFO] [stdout] test type_check::tests::test_check_projection ... ok [INFO] [stdout] test type_check::tests::test_check_record ... ok [INFO] [stdout] test type_check::tests::test_check_ref ... ok [INFO] [stdout] test type_check::tests::test_check_unit ... ok [INFO] [stdout] test type_check::tests::test_check_variable_not_found ... ok [INFO] [stdout] test type_check::tests::test_check_variant ... ok [INFO] [stdout] test type_check::tests_env::test_find_by_variable ... ok [INFO] [stdout] test type_check::tests_subtype_eq::test_subtype_eq_arrow ... ok [INFO] [stdout] test type_check::tests_subtype_eq::test_subtype_eq_record ... ok [INFO] [stdout] test type_check::tests_subtype_eq::test_subtype_eq_top ... ok [INFO] [stdout] test type_check::tests_type_eq::test_type_eq_arrow ... ok [INFO] [stdout] test type_check::tests_type_eq::test_type_eq_bool ... ok [INFO] [stdout] test type_check::tests_type_eq::test_type_eq_nat ... ok [INFO] [stdout] test type_check::tests_type_eq::test_type_eq_record ... ok [INFO] [stdout] test type_check::tests_type_eq::test_type_eq_ref ... ok [INFO] [stdout] test type_check::tests_type_eq::test_type_eq_top ... ok [INFO] [stdout] test type_check::tests_type_eq::test_type_eq_unit ... ok [INFO] [stdout] test type_check::tests_type_eq::test_type_eq_variant ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 132 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] [stderr] Running /opt/crater/target/debug/deps/type_lang-855c093e7db83cba [INFO] [stderr] Doc-tests type_lang [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] running `"docker" "inspect" "1d3ff64141d122250b5b3ed6624514ffdf53caea7668f10b4f43ffb8080f0ece"` [INFO] running `"docker" "rm" "-f" "1d3ff64141d122250b5b3ed6624514ffdf53caea7668f10b4f43ffb8080f0ece"` [INFO] [stdout] 1d3ff64141d122250b5b3ed6624514ffdf53caea7668f10b4f43ffb8080f0ece