[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/beta-1.38-1/sources/1.37.0/gh/yui-knk/type_lang"` [INFO] [stderr] Cloning into 'work/ex/beta-1.38-1/sources/1.37.0/gh/yui-knk/type_lang'... [INFO] [stderr] done. [INFO] running `"git" "clone" "work/cache/sources/gh/yui-knk/type_lang" "work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/yui-knk/type_lang"` [INFO] [stderr] Cloning into 'work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/yui-knk/type_lang'... [INFO] [stderr] done. [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] ed69f34ad8701719671089770ae0063e4ac1aa6a [INFO] sha for GitHub repo yui-knk/type_lang: ed69f34ad8701719671089770ae0063e4ac1aa6a [INFO] validating manifest of yui-knk/type_lang on toolchain 1.37.0 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.37.0" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of yui-knk/type_lang on toolchain beta-2019-08-13 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-08-13" "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/beta-1.38-1/sources/1.37.0/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/beta-1.38-1/sources/beta-2019-08-13/gh/yui-knk/type_lang/Cargo.toml [INFO] crate yui-knk/type_lang already has a lockfile, it will not be regenerated [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.37.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-08-13" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] testing yui-knk/type_lang against beta-2019-08-13 for beta-1.38-1 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.38-1/worker-4/beta-2019-08-13:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.38-1/sources/beta-2019-08-13/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=warn" "-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" "+beta-2019-08-13" "build" "--frozen"` [INFO] [stdout] 5a538666407143d4a156cedd262d7b3b820dad69808c7e21d21d0167d410c431 [INFO] running `"docker" "start" "-a" "5a538666407143d4a156cedd262d7b3b820dad69808c7e21d21d0167d410c431"` [INFO] [stderr] Compiling proc-macro2 v0.4.26 [INFO] [stderr] Compiling byteorder v1.3.1 [INFO] [stderr] Compiling string_cache_shared v0.3.0 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Compiling either v1.5.0 [INFO] [stderr] Compiling term v0.4.6 [INFO] [stderr] Compiling opaque-debug v0.2.2 [INFO] [stderr] Compiling bit-vec v0.5.0 [INFO] [stderr] Compiling lalrpop-util v0.16.3 [INFO] [stderr] Compiling rand_jitter v0.1.1 [INFO] [stderr] Compiling rand_os v0.1.2 [INFO] [stderr] Compiling atty v0.2.11 [INFO] [stderr] Compiling block-padding v0.1.3 [INFO] [stderr] Compiling itertools v0.8.0 [INFO] [stderr] Compiling itertools v0.7.8 [INFO] [stderr] Compiling memchr v2.1.3 [INFO] [stderr] Compiling bit-set v0.5.0 [INFO] [stderr] Compiling ena v0.11.0 [INFO] [stderr] Compiling new_debug_unreachable v1.0.1 [INFO] [stderr] Compiling clap v2.32.0 [INFO] [stderr] Compiling rand_chacha v0.1.1 [INFO] [stderr] Compiling generic-array v0.12.0 [INFO] [stderr] Compiling ascii-canvas v1.0.0 [INFO] [stderr] Compiling aho-corasick v0.6.9 [INFO] [stderr] Compiling rand_pcg v0.1.1 [INFO] [stderr] Compiling digest v0.8.0 [INFO] [stderr] Compiling block-buffer v0.7.2 [INFO] [stderr] Compiling regex v1.1.0 [INFO] [stderr] Compiling rand v0.6.5 [INFO] [stderr] Compiling quote v0.6.11 [INFO] [stderr] Compiling sha2 v0.8.0 [INFO] [stderr] Compiling syn v0.15.26 [INFO] [stderr] Compiling phf_generator v0.7.24 [INFO] [stderr] Compiling string_cache_codegen v0.4.2 [INFO] [stderr] Compiling string_cache v0.7.3 [INFO] [stderr] Compiling serde_derive v1.0.85 [INFO] [stderr] Compiling docopt v1.0.2 [INFO] [stderr] Compiling lalrpop v0.16.3 [INFO] [stderr] Compiling type_lang v0.1.0 (/opt/crater/workdir) [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/node.rs:242:36 [INFO] [stderr] | [INFO] [stderr] 242 | pub fn print_with_indent(buf: &mut Write, node: &Node, level: usize, space_count: usize) -> std::io::Result<()> { [INFO] [stderr] | ^^^^^ help: use `dyn`: `dyn Write` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ty` [INFO] [stderr] --> src/node.rs:255:40 [INFO] [stderr] | [INFO] [stderr] 255 | Lambda(ref var, ref node1, ref ty) => { [INFO] [stderr] | ^^ help: consider prefixing with an underscore: `_ty` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `node1` [INFO] [stderr] --> src/node.rs:280:18 [INFO] [stderr] | [INFO] [stderr] 280 | Succ(ref node1) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_node1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `node1` [INFO] [stderr] --> src/node.rs:284:18 [INFO] [stderr] | [INFO] [stderr] 284 | Pred(ref node1) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_node1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `node1` [INFO] [stderr] --> src/node.rs:288:20 [INFO] [stderr] | [INFO] [stderr] 288 | Iszero(ref node1) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_node1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `f` [INFO] [stderr] --> src/node.rs:292:20 [INFO] [stderr] | [INFO] [stderr] 292 | Record(ref f) => { [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_f` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `label` [INFO] [stderr] --> src/node.rs:296:35 [INFO] [stderr] | [INFO] [stderr] 296 | Projection(ref node1, ref label) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_label` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `node1` [INFO] [stderr] --> src/node.rs:296:24 [INFO] [stderr] | [INFO] [stderr] 296 | Projection(ref node1, ref label) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_node1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `node1` [INFO] [stderr] --> src/node.rs:311:26 [INFO] [stderr] | [INFO] [stderr] 311 | Tag(ref tag, ref node1, ref ty) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_node1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `tag` [INFO] [stderr] --> src/node.rs:311:17 [INFO] [stderr] | [INFO] [stderr] 311 | Tag(ref tag, ref node1, ref ty) => { [INFO] [stderr] | ^^^ help: consider prefixing with an underscore: `_tag` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ty` [INFO] [stderr] --> src/node.rs:311:37 [INFO] [stderr] | [INFO] [stderr] 311 | Tag(ref tag, ref node1, ref ty) => { [INFO] [stderr] | ^^ help: consider prefixing with an underscore: `_ty` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `cases` [INFO] [stderr] --> src/node.rs:315:29 [INFO] [stderr] | [INFO] [stderr] 315 | Case(ref node1, ref cases) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_cases` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `node1` [INFO] [stderr] --> src/node.rs:315:18 [INFO] [stderr] | [INFO] [stderr] 315 | Case(ref node1, ref cases) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_node1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `node1` [INFO] [stderr] --> src/node.rs:319:16 [INFO] [stderr] | [INFO] [stderr] 319 | As(ref node1, ref ty) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_node1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ty` [INFO] [stderr] --> src/node.rs:319:27 [INFO] [stderr] | [INFO] [stderr] 319 | As(ref node1, ref ty) => { [INFO] [stderr] | ^^ help: consider prefixing with an underscore: `_ty` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `node1` [INFO] [stderr] --> src/node.rs:323:17 [INFO] [stderr] | [INFO] [stderr] 323 | Fix(ref node1) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_node1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `l` [INFO] [stderr] --> src/node.rs:343:17 [INFO] [stderr] | [INFO] [stderr] 343 | Loc(ref l) => { [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_l` [INFO] [stderr] [INFO] [stderr] warning: unused `std::result::Result` that must be used [INFO] [stderr] --> src/main.rs:29:9 [INFO] [stderr] | [INFO] [stderr] 29 | print_with_indent(&mut io::stdout(), &result, 0, 2); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_must_use)]` on by default [INFO] [stderr] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 2m 22s [INFO] running `"docker" "inspect" "5a538666407143d4a156cedd262d7b3b820dad69808c7e21d21d0167d410c431"` [INFO] running `"docker" "rm" "-f" "5a538666407143d4a156cedd262d7b3b820dad69808c7e21d21d0167d410c431"` [INFO] [stdout] 5a538666407143d4a156cedd262d7b3b820dad69808c7e21d21d0167d410c431 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.38-1/worker-4/beta-2019-08-13:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.38-1/sources/beta-2019-08-13/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=warn" "-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" "+beta-2019-08-13" "test" "--frozen" "--no-run"` [INFO] [stdout] e71cb377f2c8bd4f7318094f8d9ddcbf0557493e0066dd7b8349f77c94628a60 [INFO] running `"docker" "start" "-a" "e71cb377f2c8bd4f7318094f8d9ddcbf0557493e0066dd7b8349f77c94628a60"` [INFO] [stderr] Compiling type_lang v0.1.0 (/opt/crater/workdir) [INFO] [stderr] warning: unused `std::result::Result` that must be used [INFO] [stderr] --> src/main.rs:29:9 [INFO] [stderr] | [INFO] [stderr] 29 | print_with_indent(&mut io::stdout(), &result, 0, 2); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_must_use)]` on by default [INFO] [stderr] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/node.rs:242:36 [INFO] [stderr] | [INFO] [stderr] 242 | pub fn print_with_indent(buf: &mut Write, node: &Node, level: usize, space_count: usize) -> std::io::Result<()> { [INFO] [stderr] | ^^^^^ help: use `dyn`: `dyn Write` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ty` [INFO] [stderr] --> src/node.rs:255:40 [INFO] [stderr] | [INFO] [stderr] 255 | Lambda(ref var, ref node1, ref ty) => { [INFO] [stderr] | ^^ help: consider prefixing with an underscore: `_ty` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `node1` [INFO] [stderr] --> src/node.rs:280:18 [INFO] [stderr] | [INFO] [stderr] 280 | Succ(ref node1) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_node1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `node1` [INFO] [stderr] --> src/node.rs:284:18 [INFO] [stderr] | [INFO] [stderr] 284 | Pred(ref node1) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_node1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `node1` [INFO] [stderr] --> src/node.rs:288:20 [INFO] [stderr] | [INFO] [stderr] 288 | Iszero(ref node1) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_node1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `f` [INFO] [stderr] --> src/node.rs:292:20 [INFO] [stderr] | [INFO] [stderr] 292 | Record(ref f) => { [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_f` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `label` [INFO] [stderr] --> src/node.rs:296:35 [INFO] [stderr] | [INFO] [stderr] 296 | Projection(ref node1, ref label) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_label` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `node1` [INFO] [stderr] --> src/node.rs:296:24 [INFO] [stderr] | [INFO] [stderr] 296 | Projection(ref node1, ref label) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_node1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `node1` [INFO] [stderr] --> src/node.rs:311:26 [INFO] [stderr] | [INFO] [stderr] 311 | Tag(ref tag, ref node1, ref ty) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_node1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `tag` [INFO] [stderr] --> src/node.rs:311:17 [INFO] [stderr] | [INFO] [stderr] 311 | Tag(ref tag, ref node1, ref ty) => { [INFO] [stderr] | ^^^ help: consider prefixing with an underscore: `_tag` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ty` [INFO] [stderr] --> src/node.rs:311:37 [INFO] [stderr] | [INFO] [stderr] 311 | Tag(ref tag, ref node1, ref ty) => { [INFO] [stderr] | ^^ help: consider prefixing with an underscore: `_ty` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `cases` [INFO] [stderr] --> src/node.rs:315:29 [INFO] [stderr] | [INFO] [stderr] 315 | Case(ref node1, ref cases) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_cases` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `node1` [INFO] [stderr] --> src/node.rs:315:18 [INFO] [stderr] | [INFO] [stderr] 315 | Case(ref node1, ref cases) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_node1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `node1` [INFO] [stderr] --> src/node.rs:319:16 [INFO] [stderr] | [INFO] [stderr] 319 | As(ref node1, ref ty) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_node1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ty` [INFO] [stderr] --> src/node.rs:319:27 [INFO] [stderr] | [INFO] [stderr] 319 | As(ref node1, ref ty) => { [INFO] [stderr] | ^^ help: consider prefixing with an underscore: `_ty` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `node1` [INFO] [stderr] --> src/node.rs:323:17 [INFO] [stderr] | [INFO] [stderr] 323 | Fix(ref node1) => { [INFO] [stderr] | ^^^^^ help: consider prefixing with an underscore: `_node1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `l` [INFO] [stderr] --> src/node.rs:343:17 [INFO] [stderr] | [INFO] [stderr] 343 | Loc(ref l) => { [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_l` [INFO] [stderr] [INFO] [stderr] warning: method is never used: `new` [INFO] [stderr] --> /opt/crater/target/debug/build/type_lang-99600a5a9b542adb/out/parser.rs:4450:9 [INFO] [stderr] | [INFO] [stderr] 4450 | pub fn new() -> TypeParser { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: method is never used: `new` [INFO] [stderr] --> /opt/crater/target/debug/build/type_lang-99600a5a9b542adb/out/parser.rs:4450:9 [INFO] [stderr] | [INFO] [stderr] 4450 | pub fn new() -> TypeParser { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 10.10s [INFO] running `"docker" "inspect" "e71cb377f2c8bd4f7318094f8d9ddcbf0557493e0066dd7b8349f77c94628a60"` [INFO] running `"docker" "rm" "-f" "e71cb377f2c8bd4f7318094f8d9ddcbf0557493e0066dd7b8349f77c94628a60"` [INFO] [stdout] e71cb377f2c8bd4f7318094f8d9ddcbf0557493e0066dd7b8349f77c94628a60 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.38-1/worker-4/beta-2019-08-13:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.38-1/sources/beta-2019-08-13/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=warn" "-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" "+beta-2019-08-13" "test" "--frozen"` [INFO] [stdout] b1ae400966fcbebf29f85b0d125347cb520ca9dc65c13c675abc04b2863d1205 [INFO] running `"docker" "start" "-a" "b1ae400966fcbebf29f85b0d125347cb520ca9dc65c13c675abc04b2863d1205"` [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.07s [INFO] [stderr] Running /opt/crater/target/debug/deps/type_lang-08e010db2ecb2fc6 [INFO] [stdout] [INFO] [stdout] running 109 tests [INFO] [stdout] test eval::tests::test_eval_as ... ok [INFO] [stdout] test eval::tests::test_eval_appy6 ... ok [INFO] [stdout] test eval::tests::test_eval_appy2 ... ok [INFO] [stdout] test eval::tests::test_eval_appy7 ... ok [INFO] [stdout] test eval::tests::test_eval_appy4 ... ok [INFO] [stdout] test eval::tests::test_eval_appy5 ... ok [INFO] [stdout] test eval::tests::test_eval_appy1 ... ok [INFO] [stdout] test eval::tests::test_eval_appy3 ... ok [INFO] [stdout] test eval::tests::test_eval_deref ... ok [INFO] [stdout] test eval::tests::test_eval_assign ... ok [INFO] [stdout] test eval::tests::test_eval_false ... ok [INFO] [stdout] test eval::tests::test_eval_fix1 ... ok [INFO] [stdout] test eval::tests::test_eval_fix2 ... ok [INFO] [stdout] test eval::tests::test_eval_fix3 ... ok [INFO] [stdout] test eval::tests::test_eval_associativity ... ok [INFO] [stdout] test eval::tests::test_eval_if ... ok [INFO] [stdout] test eval::tests::test_eval_case ... ok [INFO] [stdout] test eval::tests::test_eval_nat ... ok [INFO] [stdout] test eval::tests::test_eval_lambda ... ok [INFO] [stdout] test eval::tests::test_eval_letrec2 ... ok [INFO] [stdout] test eval::tests::test_eval_projection_apply ... ok [INFO] [stdout] test eval::tests::test_eval_record ... ok [INFO] [stdout] test eval::tests::test_eval_iszero ... ok [INFO] [stdout] test eval::tests::test_eval_letrec1 ... ok [INFO] [stdout] test eval::tests::test_eval_letrec3 ... ok [INFO] [stdout] test eval::tests::test_eval_ref ... ok [INFO] [stdout] test eval::tests::test_eval_unit ... ok [INFO] [stdout] test eval::tests::test_eval_pred ... ok [INFO] [stdout] test eval::tests::test_eval_succ ... ok [INFO] [stdout] test eval::tests_env::test_find_by_variable ... ok [INFO] [stdout] test eval::tests::test_eval_unit_derived_form ... ok [INFO] [stdout] test eval::tests::test_eval_unitt ... ok [INFO] [stdout] test eval::tests::test_eval_true ... ok [INFO] [stdout] test eval::tests::test_eval_variant ... ok [INFO] [stdout] test eval::tests::test_eval_succ_pred ... ok [INFO] [stdout] test parser_test::tests::test_parse_apply ... ok [INFO] [stdout] test parser_test::tests::test_parse_apply_2 ... ok [INFO] [stdout] test eval::tests::test_eval_let ... ok [INFO] [stdout] test parser_test::tests::test_parse_assign ... ok [INFO] [stdout] test parser_test::tests::test_parse_false ... ok [INFO] [stdout] test parser_test::tests::test_parse_deref ... ok [INFO] [stdout] test parser_test::tests::test_parse_case ... ok [INFO] [stdout] test eval::tests::test_eval_projection ... ok [INFO] [stdout] test parser_test::tests::test_parse_lambda ... ok [INFO] [stdout] test parser_test::tests::test_parse_as ... ok [INFO] [stdout] test parser_test::tests::test_parse_if ... ok [INFO] [stdout] test parser_test::tests::test_parse_iszero ... ok [INFO] [stdout] test parser_test::tests::test_parse_let ... ok [INFO] [stdout] test parser_test::tests::test_parse_fix ... ok [INFO] [stdout] test parser_test::tests::test_parse_lambda_nested_arrow_type ... ok [INFO] [stdout] test parser_test::tests::test_parse_lambda_not_arrow_type ... ok [INFO] [stdout] test parser_test::tests::test_parse_projection ... ok [INFO] [stdout] test parser_test::tests::test_parse_record ... ok [INFO] [stdout] test parser_test::tests::test_parse_nat ... ok [INFO] [stdout] test parser_test::tests::test_parse_projection2 ... ok [INFO] [stdout] test parser_test::tests::test_parse_pred ... ok [INFO] [stdout] test parser_test::tests::test_parse_ref ... ok [INFO] [stdout] test parser_test::tests::test_parse_top_type ... ok [INFO] [stdout] test parser_test::tests::test_parse_tag1 ... ok [INFO] [stdout] test parser_test::tests::test_parse_tag2 ... ok [INFO] [stdout] test parser_test::tests::test_parse_unit_derived_form ... ok [INFO] [stdout] test parser_test::tests::test_parse_record_type ... ok [INFO] [stdout] test ty::tests::test_record_type_equality ... ok [INFO] [stdout] test parser_test::tests::test_parse_true ... ok [INFO] [stdout] test parser_test::tests::test_parse_var_ref ... ok [INFO] [stdout] test parser_test::tests::test_parse_true_false ... ok [INFO] [stdout] test parser_test::tests::test_parse_variant_type ... ok [INFO] [stdout] test parser_test::tests::test_parse_record_arrow_type ... ok [INFO] [stdout] test parser_test::tests::test_parse_succ ... ok [INFO] [stdout] test parser_test::tests::test_parse_unit_type ... ok [INFO] [stdout] test type_check::tests::test_check_apply1 ... ok [INFO] [stdout] test type_check::tests::test_check_apply2 ... ok [INFO] [stdout] test type_check::tests::test_check_apply5 ... ok [INFO] [stdout] test type_check::tests::test_check_apply4 ... ok [INFO] [stdout] test type_check::tests::test_check_apply3 ... ok [INFO] [stdout] test type_check::tests::test_check_apply7 ... ok [INFO] [stdout] test type_check::tests::test_check_apply6 ... ok [INFO] [stdout] test type_check::tests::test_check_deref ... ok [INFO] [stdout] test type_check::tests::test_check_lambda ... ok [INFO] [stdout] test type_check::tests::test_check_iszero ... ok [INFO] [stdout] test type_check::tests::test_check_bool ... ok [INFO] [stdout] test type_check::tests::test_check_assign ... ok [INFO] [stdout] test type_check::tests::test_check_fix ... ok [INFO] [stdout] test type_check::tests::test_check_pred ... ok [INFO] [stdout] test type_check::tests::test_check_record ... ok [INFO] [stdout] test type_check::tests::test_check_nat ... ok [INFO] [stdout] test type_check::tests::test_check_type_mismatch ... ok [INFO] [stdout] test type_check::tests::test_check_ref ... ok [INFO] [stdout] test type_check::tests::test_check_if_then_else ... ok [INFO] [stdout] test type_check::tests::test_check_unit ... ok [INFO] [stdout] test type_check::tests::test_check_let ... ok [INFO] [stdout] test type_check::tests_env::test_find_by_variable ... 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::test_check_variable_not_found ... 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_nat ... 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_record ... ok [INFO] [stdout] test type_check::tests_subtype_eq::test_subtype_eq_arrow ... ok [INFO] [stdout] test type_check::tests::test_check_succ ... 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_ref ... ok [INFO] [stdout] test type_check::tests_type_eq::test_type_eq_variant ... ok [INFO] [stdout] test type_check::tests_type_eq::test_type_eq_top ... ok [INFO] [stdout] test type_check::tests::test_check_as ... ok [INFO] [stdout] test type_check::tests::test_check_projection ... ok [INFO] [stdout] test type_check::tests::test_check_variant ... ok [INFO] [stdout] test type_check::tests::test_check_case ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 109 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] [stderr] Running /opt/crater/target/debug/deps/type_lang-1bbd75c0a9403f06 [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] [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] running `"docker" "inspect" "b1ae400966fcbebf29f85b0d125347cb520ca9dc65c13c675abc04b2863d1205"` [INFO] running `"docker" "rm" "-f" "b1ae400966fcbebf29f85b0d125347cb520ca9dc65c13c675abc04b2863d1205"` [INFO] [stdout] b1ae400966fcbebf29f85b0d125347cb520ca9dc65c13c675abc04b2863d1205