[INFO] cloning repository https://github.com/canndrew/simplicity-ng [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/canndrew/simplicity-ng" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcanndrew%2Fsimplicity-ng", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcanndrew%2Fsimplicity-ng'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 876e149c6992cf78f5214b5c09d28a956f7def07 [INFO] testing canndrew/simplicity-ng against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcanndrew%2Fsimplicity-ng" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/canndrew/simplicity-ng [INFO] finished tweaking git repo https://github.com/canndrew/simplicity-ng [INFO] tweaked toml for git repo https://github.com/canndrew/simplicity-ng written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/canndrew/simplicity-ng on toolchain dec9417b8611e34e787a3e4c37686b5131f9e5c5 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/canndrew/simplicity-ng already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root: [INFO] [stderr] package: /workspace/builds/worker-0-tc2/source/core-tt/fuzz/Cargo.toml [INFO] [stderr] workspace: /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 20b4983bc970d671ba52fd61bd9c3111d9d2b43ea02a3f5a8c98d3984605e7c6 [INFO] running `Command { std: "docker" "start" "-a" "20b4983bc970d671ba52fd61bd9c3111d9d2b43ea02a3f5a8c98d3984605e7c6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "20b4983bc970d671ba52fd61bd9c3111d9d2b43ea02a3f5a8c98d3984605e7c6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "20b4983bc970d671ba52fd61bd9c3111d9d2b43ea02a3f5a8c98d3984605e7c6", kill_on_drop: false }` [INFO] [stdout] 20b4983bc970d671ba52fd61bd9c3111d9d2b43ea02a3f5a8c98d3984605e7c6 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 349beacbda5ec0e16aa7a5daf67e5f6237ffb30b9ca7ccdd1dc2ded894554fb2 [INFO] running `Command { std: "docker" "start" "-a" "349beacbda5ec0e16aa7a5daf67e5f6237ffb30b9ca7ccdd1dc2ded894554fb2", kill_on_drop: false }` [INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root: [INFO] [stderr] package: /opt/rustwide/workdir/core-tt/fuzz/Cargo.toml [INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml [INFO] [stderr] Compiling proc-macro2 v1.0.101 [INFO] [stderr] Compiling quote v1.0.42 [INFO] [stderr] Compiling libc v0.2.175 [INFO] [stderr] Compiling find-msvc-tools v0.1.1 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling allocator-api2 v0.2.21 [INFO] [stderr] Compiling foldhash v0.2.0 [INFO] [stderr] Compiling small-bit-vec v0.1.0 (/opt/rustwide/workdir/small-bit-vec) [INFO] [stderr] Compiling debug v0.1.0 (/opt/rustwide/workdir/debug) [INFO] [stderr] Compiling im v15.1.0 [INFO] [stderr] Compiling thiserror v2.0.16 [INFO] [stderr] Compiling bitmaps v2.1.0 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling num-complex v0.4.6 [INFO] [stderr] Compiling rand_xoshiro v0.6.0 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling num-iter v0.1.45 [INFO] [stderr] Compiling hashbrown v0.16.0 [INFO] [stderr] Compiling sized-chunks v0.6.5 [INFO] [stderr] Compiling jobserver v0.1.34 [INFO] [stderr] Compiling syn v2.0.111 [INFO] [stderr] Compiling cc v1.2.36 [INFO] [stderr] Compiling indexmap v2.11.4 [INFO] [stderr] Compiling num-rational v0.4.2 [INFO] [stderr] Compiling num v0.4.3 [INFO] [stderr] Compiling libfuzzer-sys v0.4.10 [INFO] [stderr] Compiling derive_arbitrary v1.4.1 [INFO] [stderr] Compiling core-tt-macros v0.1.0 (/opt/rustwide/workdir/core-tt/core-tt-macros) [INFO] [stderr] Compiling ext-trait-proc_macros v2.0.1 [INFO] [stderr] Compiling derive-where v1.6.0 [INFO] [stderr] Compiling thiserror-impl v2.0.16 [INFO] [stderr] Compiling ext-trait v2.0.1 [INFO] [stderr] Compiling arbitrary v1.4.2 [INFO] [stderr] Compiling parser v0.1.0 (/opt/rustwide/workdir/parser) [INFO] [stderr] Compiling core-tt v0.1.0 (/opt/rustwide/workdir/core-tt) [INFO] [stderr] Compiling small-bit-vec-fuzz v0.0.0 (/opt/rustwide/workdir/small-bit-vec/fuzz) [INFO] [stderr] Compiling more-tt v0.1.0 (/opt/rustwide/workdir/more-tt) [INFO] [stdout] warning: feature `mapped_lock_guards` is declared but not used [INFO] [stdout] --> core-tt/src/lib.rs:5:12 [INFO] [stdout] | [INFO] [stdout] 5 | #![feature(mapped_lock_guards)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_features)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling core-tt-fuzz v0.0.0 (/opt/rustwide/workdir/core-tt/fuzz) [INFO] [stderr] Compiling elaborate v0.1.0 (/opt/rustwide/workdir/elaborate) [INFO] [stdout] warning: feature `never_type` is declared but not used [INFO] [stdout] --> more-tt/src/lib.rs:2:12 [INFO] [stdout] | [INFO] [stdout] 2 | #![feature(never_type)] [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_features)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `if_let_guard` has been stable since 1.95.0 and no longer requires an attribute to enable [INFO] [stdout] --> elaborate/src/lib.rs:2:12 [INFO] [stdout] | [INFO] [stdout] 2 | #![feature(if_let_guard)] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 49.34s [INFO] running `Command { std: "docker" "inspect" "349beacbda5ec0e16aa7a5daf67e5f6237ffb30b9ca7ccdd1dc2ded894554fb2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "349beacbda5ec0e16aa7a5daf67e5f6237ffb30b9ca7ccdd1dc2ded894554fb2", kill_on_drop: false }` [INFO] [stdout] 349beacbda5ec0e16aa7a5daf67e5f6237ffb30b9ca7ccdd1dc2ded894554fb2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 66de6293badadff814f994d7abd2aa0cbb7e30c1f8f90b7dffd35fc95567b793 [INFO] running `Command { std: "docker" "start" "-a" "66de6293badadff814f994d7abd2aa0cbb7e30c1f8f90b7dffd35fc95567b793", kill_on_drop: false }` [INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root: [INFO] [stderr] package: /opt/rustwide/workdir/core-tt/fuzz/Cargo.toml [INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml [INFO] [stderr] Compiling libc v0.2.175 [INFO] [stderr] Compiling cfg-if v1.0.3 [INFO] [stderr] Compiling zerocopy v0.8.27 [INFO] [stderr] Compiling debug v0.1.0 (/opt/rustwide/workdir/debug) [INFO] [stderr] Compiling core-tt-macros v0.1.0 (/opt/rustwide/workdir/core-tt/core-tt-macros) [INFO] [stderr] Compiling parser v0.1.0 (/opt/rustwide/workdir/parser) [INFO] [stderr] Compiling getrandom v0.2.16 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling rand_xoshiro v0.6.0 [INFO] [stderr] Compiling im v15.1.0 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling core-tt v0.1.0 (/opt/rustwide/workdir/core-tt) [INFO] [stderr] Compiling small-bit-vec v0.1.0 (/opt/rustwide/workdir/small-bit-vec) [INFO] [stderr] Compiling more-tt v0.1.0 (/opt/rustwide/workdir/more-tt) [INFO] [stdout] warning: feature `mapped_lock_guards` is declared but not used [INFO] [stdout] --> core-tt/src/lib.rs:5:12 [INFO] [stdout] | [INFO] [stdout] 5 | #![feature(mapped_lock_guards)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_features)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: feature `mapped_lock_guards` is declared but not used [INFO] [stdout] --> core-tt/src/lib.rs:5:12 [INFO] [stdout] | [INFO] [stdout] 5 | #![feature(mapped_lock_guards)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_features)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling elaborate v0.1.0 (/opt/rustwide/workdir/elaborate) [INFO] [stdout] warning: feature `never_type` is declared but not used [INFO] [stdout] --> more-tt/src/lib.rs:2:12 [INFO] [stdout] | [INFO] [stdout] 2 | #![feature(never_type)] [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_features)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `if_let_guard` has been stable since 1.95.0 and no longer requires an attribute to enable [INFO] [stdout] --> elaborate/src/lib.rs:2:12 [INFO] [stdout] | [INFO] [stdout] 2 | #![feature(if_let_guard)] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `if_let_guard` has been stable since 1.95.0 and no longer requires an attribute to enable [INFO] [stdout] --> elaborate/src/lib.rs:2:12 [INFO] [stdout] | [INFO] [stdout] 2 | #![feature(if_let_guard)] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: feature `never_type` is declared but not used [INFO] [stdout] --> more-tt/src/lib.rs:2:12 [INFO] [stdout] | [INFO] [stdout] 2 | #![feature(never_type)] [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_features)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 49.26s [INFO] running `Command { std: "docker" "inspect" "66de6293badadff814f994d7abd2aa0cbb7e30c1f8f90b7dffd35fc95567b793", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "66de6293badadff814f994d7abd2aa0cbb7e30c1f8f90b7dffd35fc95567b793", kill_on_drop: false }` [INFO] [stdout] 66de6293badadff814f994d7abd2aa0cbb7e30c1f8f90b7dffd35fc95567b793 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 788c3efa7e54d24a8cb6bf4c65083b974bb225e137acf950e337214fe24e0e72 [INFO] running `Command { std: "docker" "start" "-a" "788c3efa7e54d24a8cb6bf4c65083b974bb225e137acf950e337214fe24e0e72", kill_on_drop: false }` [INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root: [INFO] [stderr] package: /opt/rustwide/workdir/core-tt/fuzz/Cargo.toml [INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml [INFO] [stderr] warning: feature `mapped_lock_guards` is declared but not used [INFO] [stdout] [INFO] [stderr] --> core-tt/src/lib.rs:5:12 [INFO] [stdout] running 8 tests [INFO] [stderr] | [INFO] [stdout] test test::func_eta ... ok [INFO] [stderr] 5 | #![feature(mapped_lock_guards)] [INFO] [stdout] test test::unit_eta ... ok [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] test test::unique_identity_beta ... ok [INFO] [stderr] | [INFO] [stdout] test test::case_beta ... ok [INFO] [stderr] = note: `#[warn(unused_features)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] test test::pair_eta ... ok [INFO] [stderr] [INFO] [stdout] test test::cong_beta ... ok [INFO] [stderr] warning: `core-tt` (lib) generated 1 warning [INFO] [stdout] test test::proj_beta ... ok [INFO] [stderr] warning: `core-tt` (lib test) generated 1 warning (1 duplicate) [INFO] [stderr] warning: feature `never_type` is declared but not used [INFO] [stderr] --> more-tt/src/lib.rs:2:12 [INFO] [stderr] | [INFO] [stderr] 2 | #![feature(never_type)] [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_features)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: `more-tt` (lib) generated 1 warning [INFO] [stderr] warning: `more-tt` (lib test) generated 1 warning (1 duplicate) [INFO] [stderr] warning: the feature `if_let_guard` has been stable since 1.95.0 and no longer requires an attribute to enable [INFO] [stderr] --> elaborate/src/lib.rs:2:12 [INFO] [stderr] | [INFO] [stderr] 2 | #![feature(if_let_guard)] [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(stable_features)]` on by default [INFO] [stderr] [INFO] [stderr] warning: `elaborate` (lib) generated 1 warning [INFO] [stderr] warning: `elaborate` (lib test) generated 1 warning (1 duplicate) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.12s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/core_tt-295f49303b06548b) [INFO] [stderr] Running tests/derive_contextual.rs (/opt/rustwide/target/debug/deps/derive_contextual-4f1ddda6932858b5) [INFO] [stdout] test test::ty_to_term_to_ty ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 5 tests [INFO] [stdout] test one_field_consistent ... ok [INFO] [stdout] test one_variant_consistent ... ok [INFO] [stdout] test two_fields_tuple_consistent ... ok [INFO] [stdout] test two_variants_consistent ... ok [INFO] [stdout] test two_fields_consistent ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.13s [INFO] [stdout] [INFO] [stderr] Running tests/eta.rs (/opt/rustwide/target/debug/deps/eta-6cc2afb07aa30d55) [INFO] [stdout] [INFO] [stdout] running 2 tests [INFO] [stdout] test eta_pair ... ok [INFO] [stdout] test eta_unit ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/substitution.rs (/opt/rustwide/target/debug/deps/substitution-5817a898d836d7b0) [INFO] [stdout] [INFO] [stdout] running 2 tests [INFO] [stdout] test subst_zero ... ok [INFO] [stdout] test subst_add_mul ... ok [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/core_tt_macros-3e24a9c02c9e0595) [INFO] [stdout] [INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [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; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/debug-7da7752a732bbcb5) [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; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/elaborate-c71f8b0272a03215) [INFO] [stdout] [INFO] [stdout] running 68 tests [INFO] [stdout] test test::elab::elab_pat_refl ... ignored [INFO] [stdout] test test::elab::elab_never_type ... ok [INFO] [stdout] test test::elab::elab_nat ... ok [INFO] [stdout] test test::elab::elab_type_type ... ok [INFO] [stdout] test test::elab::elab_nat_type ... ok [INFO] [stdout] test test::reduction::reduce_arbitrary_type_irreducible ... ok [INFO] [stdout] test test::reduction::reduce_equality_of_different_tags_to_never ... ok [INFO] [stdout] test test::reduction::reduce_arbitrary_sum_type_irreducible ... ok [INFO] [stdout] test test::reduction::reduce_arbitrary_pi_type_irreducible ... ok [INFO] [stdout] test test::reduction::reduce_inj_lhs_equals_inj_lhs_to_equality_of_lhs_terms ... ok [INFO] [stdout] test test::elab::elab_var ... ok [INFO] [stdout] test test::reduction::reduce_inj_lhs_rhs_equality_mismatch_to_never ... ok [INFO] [stdout] test test::reduction::reduce_irrelevant ... ok [INFO] [stdout] test test::reduction::reduce_never ... ok [INFO] [stdout] test test::reduction::reduce_reflexive_equality ... ok [INFO] [stdout] test test::reduction::reduce_inj_rhs_equals_inj_rhs_to_equality_of_rhs_terms ... ok [INFO] [stdout] test test::elab::elab_refl ... ok [INFO] [stdout] test test::reduction::reduce_arbitrary_sigma_type_irreducible ... ok [INFO] [stdout] test test::reduction::reduce_sigma_never_tail ... ok [INFO] [stdout] test test::reduction::reduce_sigma_unit_tail ... ok [INFO] [stdout] test test::reduction::reduce_uninhabited_inhabited_equality_to_never ... ok [INFO] [stdout] test test::reduction::reduce_unit ... ok [INFO] [stdout] test test::simplify::simplify_equal_arbitrary_terms ... ok [INFO] [stdout] test test::reduction::reduce_equality_of_equality_tys ... ok [INFO] [stdout] test test::simplify::simplify_equality_between_uninhabited_and_inhabited_type_to_never ... ok [INFO] [stdout] test test::simplify::simplify_equality_equality ... ok [INFO] [stdout] test test::reduction::reduce_equality_of_pairs_to_pair_of_equalities ... ok [INFO] [stdout] test test::simplify::simplify_equality_between_pairs ... ok [INFO] [stdout] test test::simplify::simplify_equality_of_lambdas_to_pointwise_equality_of_lambdas ... ok [INFO] [stdout] test test::reduction::reduce_sum_of_never ... ok [INFO] [stdout] test test::reduction::reduce_sigma_never_head ... ok [INFO] [stdout] test test::simplify::simplify_never ... ok [INFO] [stdout] test test::reduction::reduce_sigma_unit_head ... ok [INFO] [stdout] test test::simplify::simplify_pi_arbitrary_tys ... ok [INFO] [stdout] test test::simplify::simplify_nat_succ_injective ... ok [INFO] [stdout] test test::simplify::simplify_pi_res_refutable_equality ... ignored [INFO] [stdout] test test::simplify::simplify_pi_res_unit ... ok [INFO] [stdout] test test::simplify::simplify_pi_never_arg ... ok [INFO] [stdout] test test::simplify::simplify_reflexive_equality_to_unit ... ok [INFO] [stdout] test test::simplify::simplify_pi_res_never_arg_inhabited ... ok [INFO] [stdout] test test::simplify::simplify_equality_of_sum_types_to_equality_of_type_parameters ... ok [INFO] [stdout] test test::simplify::simplify_pi_unit_arg ... ok [INFO] [stdout] test test::simplify::simplify_sigma_arbitrary_tys ... ok [INFO] [stdout] test test::simplify::simplify_sigma_never_tail ... ok [INFO] [stdout] test test::elab::elab_equal ... ok [INFO] [stdout] test test::simplify::simplify_sum_arbitrary_tys ... ok [INFO] [stdout] test test::simplify::simplify_sum_lhs_equals_rhs_to_never ... ok [INFO] [stdout] test test::simplify::simplify_sum_lhs_injective ... ok [INFO] [stdout] test test::reduction::reduce_equality_of_sigma_tys ... ok [INFO] [stdout] test test::simplify::simplify_sigma_never_head ... ok [INFO] [stdout] test test::simplify::simplify_sigma_unit_head ... ok [INFO] [stdout] test test::simplify::simplify_unit ... ok [INFO] [stdout] test test::simplify::simplify_universe ... ok [INFO] [stdout] test test::simplify::simplify_sum_never_rhs ... ok [INFO] [stdout] test test::simplify::simplify_sigma_unit_tail ... ok [INFO] [stdout] test test::simplify::simplify_sigma_constrained ... ok [INFO] [stdout] test test::simplify::simplify_sum_rhs_injective ... ok [INFO] [stdout] test test::simplify::simplify_sum_never_lhs ... ok [INFO] [stdout] test test::reduction::reduce_equality_of_sum_tys ... ok [INFO] [stdout] test test::simplify::simplify_equality_of_sigma_types_to_equality_of_type_parameters ... ok [INFO] [stdout] test test::simplify::simplify_equality_of_pi_types_to_equality_of_type_parameters ... ok [INFO] [stdout] test test::elab::elab_enum_type ... ok [INFO] [stdout] test test::elab::elab_add_mul ... ok [INFO] [stdout] test test::elab::elab_sigma_type ... ok [INFO] [stdout] test test::elab::elab_app_shorthand ... ok [INFO] [stdout] test test::elab::elab_func_term ... ok [INFO] [stdout] test test::elab::elab_func_type ... ok [INFO] [stdout] test test::elab::elab_let_stmt ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 66 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 10.64s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/more_tt-9eaa208c4405b901) [INFO] [stdout] [INFO] [stdout] running 35 tests [INFO] [stdout] test test::iso::pi_unit_arg ... ok [INFO] [stdout] test test::iso::pi_unit_res ... ok [INFO] [stdout] test test::iso::nat_is_zero_or_succ ... ok [INFO] [stdout] test test::iso::sigma_never_head ... ok [INFO] [stdout] test test::iso::pi_never_arg ... ok [INFO] [stdout] test test::iso::case_ty_lift ... ok [INFO] [stdout] test test::iso::pi_sigma_arg ... ok [INFO] [stdout] test test::iso::pi_res_congruence ... ok [INFO] [stdout] test test::iso::sigma_never_tail ... ok [INFO] [stdout] test test::iso::sigma_unit_head ... ok [INFO] [stdout] test test::iso::sigma_unit_tail ... ok [INFO] [stdout] test test::iso::sigma_reassociate_to_tail ... ok [INFO] [stdout] test test::iso::cong_ty_lift ... ok [INFO] [stdout] test test::iso::symmetry ... ok [INFO] [stdout] test test::iso::sum_never_lhs ... ok [INFO] [stdout] test test::iso::sum_never_rhs ... ok [INFO] [stdout] test test::iso::unique_identity_ty_lift ... ok [INFO] [stdout] test test::iso::case_congruence ... ok [INFO] [stdout] test test::iso::sigma_tail_ty_constrains_head_ty ... ok [INFO] [stdout] test test::map_functor::map_functor_sigma ... ok [INFO] [stdout] test test::map_functor::map_functor_sum ... ok [INFO] [stdout] test test::iso::unique_identity_congruence ... ok [INFO] [stdout] test test::iso::cong_congruence ... ok [INFO] [stdout] test test::iso::sigma_tail_congruence ... ok [INFO] [stdout] test test::iso::function_extensionality ... ok [INFO] [stdout] test test::iso::transitivity ... ok [INFO] [stdout] test test::map_functor::map_functor_pi ... ok [INFO] [stdout] test test::iso::sum_congruence ... ok [INFO] [stdout] test test::iso::pi_arg_congruence ... ok [INFO] [stdout] test test::iso::sigma_head_congruence ... ok [INFO] [stdout] test test::iso::equality_of_sum_types_to_equality_of_type_parameters ... ok [INFO] [stdout] test test::iso::equality_of_equality_types ... ok [INFO] [stdout] test test::closed::test ... ok [INFO] [stdout] test test::iso::equality_of_sigma_types_to_equality_of_type_parameters ... ok [INFO] [stdout] test test::iso::equality_of_pi_types_to_equality_of_type_parameters ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 35 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.22s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/parser-ad4e6e8ebab5c3f4) [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; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/small_bit_vec-c9e109ad500adcc5) [INFO] [stdout] [INFO] [stdout] running 6 tests [INFO] [stdout] test test::new ... ok [INFO] [stdout] test test::with_capacity ... ok [INFO] [stdout] test test::pdep_fallback ... ok [INFO] [stdout] test test::pext_fallback ... ok [INFO] [stdout] test test::random_pushes ... ok [INFO] [stdout] test test::gather_bits ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.13s [INFO] [stdout] [INFO] [stderr] Doc-tests core_tt [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test core-tt/src/core/contextual.rs - core::contextual::Contextual (line 15) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test core-tt/src/core/contextual.rs - core::contextual::Contextual (line 26) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.34s [INFO] [stdout] [INFO] [stdout] all doctests ran in 1.08s; merged doctests compilation took 0.72s [INFO] [stderr] Doc-tests core_tt_macros [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; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests debug [INFO] [stdout] [INFO] [stdout] running 2 tests [INFO] [stdout] test debug/src/lib.rs - indent_scope (line 23) ... ok [INFO] [stdout] test debug/src/lib.rs - debug_on_panic (line 97) - should panic ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s [INFO] [stdout] [INFO] [stdout] all doctests ran in 0.76s; merged doctests compilation took 0.67s [INFO] [stderr] Doc-tests elaborate [INFO] [stdout] [INFO] [stdout] running 9 tests [INFO] [stdout] test elaborate/src/elab.rs - elab::CtxElabExt (line 22) ... ignored [INFO] [stdout] test elaborate/src/simplify.rs - simplify::IsoSimplifyExt (line 5) ... ignored [INFO] [stdout] test elaborate/src/tag.rs - tag::ContextualTagExt (line 274) ... ignored [INFO] [stdout] test elaborate/src/tag.rs - tag::NameTagExt (line 318) ... ignored [INFO] [stdout] test elaborate/src/tag.rs - tag::ScopeInferScopeTagExt (line 289) ... ignored [INFO] [stdout] test elaborate/src/tag.rs - tag::ScopeNameTagExt (line 329) ... ignored [INFO] [stdout] test elaborate/src/tag.rs - tag::TmTagExt (line 254) ... ignored [INFO] [stdout] test elaborate/src/tag.rs - tag::TyTagExt (line 184) ... ignored [INFO] [stdout] test elaborate/src/util.rs - util::WrapOkMethod (line 5) ... ignored [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 9 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests more_tt [INFO] [stdout] [INFO] [stdout] running 8 tests [INFO] [stdout] test more-tt/src/ctx.rs - ctx::CtxExt (line 5) ... ignored [INFO] [stdout] test more-tt/src/epi.rs - epi::ScopeEpiExt (line 214) ... ignored [INFO] [stdout] test more-tt/src/scheme.rs - scheme::SchemeExt (line 10) ... ignored [INFO] [stdout] test more-tt/src/scope.rs - scope::ScopeTmExt (line 5) ... ignored [INFO] [stdout] test more-tt/src/scope.rs - scope::ScopeTyExt (line 36) ... ignored [INFO] [stdout] test more-tt/src/stuck.rs - stuck::StuckExt (line 5) ... ignored [INFO] [stdout] test more-tt/src/term.rs - term::TmExt (line 5) ... ignored [INFO] [stdout] test more-tt/src/ty.rs - ty::TyExt (line 5) ... ignored [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 8 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests parser [INFO] [stdout] [INFO] [stdout] running 5 tests [INFO] [stdout] test parser/src/combinators.rs - combinators::ParserExt (line 261) ... ignored [INFO] [stdout] test parser/src/combinators.rs - combinators::ParserExtBox (line 439) ... ignored [INFO] [stdout] test parser/src/combinators.rs - combinators::ParserExtSpannedUnit (line 388) ... ignored [INFO] [stdout] test parser/src/combinators.rs - combinators::ParserExtStatic (line 412) ... ignored [INFO] [stdout] test parser/src/combinators.rs - combinators::ParserExtUnit (line 367) ... ignored [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 5 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests small_bit_vec [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; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "788c3efa7e54d24a8cb6bf4c65083b974bb225e137acf950e337214fe24e0e72", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "788c3efa7e54d24a8cb6bf4c65083b974bb225e137acf950e337214fe24e0e72", kill_on_drop: false }` [INFO] [stdout] 788c3efa7e54d24a8cb6bf4c65083b974bb225e137acf950e337214fe24e0e72