[INFO] fetching crate lsts 0.6.22...
[INFO] testing lsts-0.6.22 against master#d117135f5a9b69ee3adfb1918aa25616758bf692 for pr-107251
[INFO] extracting crate lsts 0.6.22 into /workspace/builds/worker-1-tc1/source
[INFO] validating manifest of crates.io crate lsts 0.6.22 on toolchain d117135f5a9b69ee3adfb1918aa25616758bf692
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d117135f5a9b69ee3adfb1918aa25616758bf692" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate lsts 0.6.22
[INFO] finished tweaking crates.io crate lsts 0.6.22
[INFO] tweaked toml for crates.io crate lsts 0.6.22 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] crate crates.io crate lsts 0.6.22 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" "+d117135f5a9b69ee3adfb1918aa25616758bf692" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded region v2.2.0
[INFO] [stderr]   Downloaded regalloc2 v0.2.3
[INFO] [stderr]   Downloaded cranelift-jit v0.85.3
[INFO] [stderr]   Downloaded cranelift-entity v0.85.3
[INFO] [stderr]   Downloaded cranelift v0.85.3
[INFO] [stderr]   Downloaded cranelift-native v0.85.3
[INFO] [stderr]   Downloaded cranelift-isle v0.85.3
[INFO] [stderr]   Downloaded cranelift-frontend v0.85.3
[INFO] [stderr]   Downloaded cranelift-codegen-meta v0.85.3
[INFO] [stderr]   Downloaded l1_ir v0.0.2
[INFO] [stderr]   Downloaded cranelift-bforest v0.85.3
[INFO] [stderr]   Downloaded cranelift-codegen-shared v0.85.3
[INFO] [stderr]   Downloaded cranelift-module v0.85.3
[INFO] [stderr]   Downloaded cranelift-codegen v0.85.3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/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:3d532c2baa59a8a48e45c3be7eb049f77ac5a58a7a6514a58a8e878df1c3d03d" "/opt/rustwide/cargo-home/bin/cargo" "+d117135f5a9b69ee3adfb1918aa25616758bf692" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] fbd281864b895b8915b87d27e239955bd70bd2404ce6458d2bcf2be99042bd1b
[INFO] running `Command { std: "docker" "start" "-a" "fbd281864b895b8915b87d27e239955bd70bd2404ce6458d2bcf2be99042bd1b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "fbd281864b895b8915b87d27e239955bd70bd2404ce6458d2bcf2be99042bd1b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fbd281864b895b8915b87d27e239955bd70bd2404ce6458d2bcf2be99042bd1b", kill_on_drop: false }`
[INFO] [stdout] fbd281864b895b8915b87d27e239955bd70bd2404ce6458d2bcf2be99042bd1b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/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:3d532c2baa59a8a48e45c3be7eb049f77ac5a58a7a6514a58a8e878df1c3d03d" "/opt/rustwide/cargo-home/bin/cargo" "+d117135f5a9b69ee3adfb1918aa25616758bf692" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a3ad02da084a8fe0d147b5072618bc409243ba3f7fcb8652e1c308dd91fd84ac
[INFO] running `Command { std: "docker" "start" "-a" "a3ad02da084a8fe0d147b5072618bc409243ba3f7fcb8652e1c308dd91fd84ac", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling cranelift-isle v0.85.3
[INFO] [stderr]    Compiling cranelift-codegen-shared v0.85.3
[INFO] [stderr]    Compiling log v0.4.17
[INFO] [stderr]    Compiling byteorder v1.4.3
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling target-lexicon v0.12.5
[INFO] [stderr]    Compiling smallvec v1.10.0
[INFO] [stderr]    Compiling cranelift-entity v0.85.3
[INFO] [stderr]    Compiling slice-group-by v0.3.0
[INFO] [stderr]    Compiling libc v0.2.137
[INFO] [stderr]    Compiling anyhow v1.0.68
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling regex-syntax v0.6.28
[INFO] [stderr]    Compiling cranelift-codegen-meta v0.85.3
[INFO] [stderr]    Compiling cranelift-bforest v0.85.3
[INFO] [stderr]    Compiling fxhash v0.2.1
[INFO] [stderr]    Compiling regalloc2 v0.2.3
[INFO] [stderr]    Compiling aho-corasick v0.7.19
[INFO] [stderr]    Compiling region v2.2.0
[INFO] [stderr]    Compiling regex v1.7.0
[INFO] [stderr]    Compiling cranelift-codegen v0.85.3
[INFO] [stderr]    Compiling cranelift-native v0.85.3
[INFO] [stderr]    Compiling cranelift-frontend v0.85.3
[INFO] [stderr]    Compiling cranelift-module v0.85.3
[INFO] [stderr]    Compiling cranelift-jit v0.85.3
[INFO] [stderr]    Compiling cranelift v0.85.3
[INFO] [stderr]    Compiling l1_ir v0.0.2
[INFO] [stderr]    Compiling lsts v0.6.22 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 25.23s
[INFO] running `Command { std: "docker" "inspect" "a3ad02da084a8fe0d147b5072618bc409243ba3f7fcb8652e1c308dd91fd84ac", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a3ad02da084a8fe0d147b5072618bc409243ba3f7fcb8652e1c308dd91fd84ac", kill_on_drop: false }`
[INFO] [stdout] a3ad02da084a8fe0d147b5072618bc409243ba3f7fcb8652e1c308dd91fd84ac
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/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:3d532c2baa59a8a48e45c3be7eb049f77ac5a58a7a6514a58a8e878df1c3d03d" "/opt/rustwide/cargo-home/bin/cargo" "+d117135f5a9b69ee3adfb1918aa25616758bf692" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7de21cae6f8aecdd316aff2db02d774b223b8ef60e265c10ec700eeac3112931
[INFO] running `Command { std: "docker" "start" "-a" "7de21cae6f8aecdd316aff2db02d774b223b8ef60e265c10ec700eeac3112931", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]    Compiling serde v1.0.147
[INFO] [stderr]    Compiling crossbeam-utils v0.8.12
[INFO] [stderr]    Compiling proc-macro2 v1.0.47
[INFO] [stderr]    Compiling unicode-ident v1.0.5
[INFO] [stderr]    Compiling scopeguard v1.1.0
[INFO] [stderr]    Compiling rayon-core v1.9.3
[INFO] [stderr]    Compiling quote v1.0.21
[INFO] [stderr]    Compiling ryu v1.0.11
[INFO] [stderr]    Compiling syn v1.0.103
[INFO] [stderr]    Compiling serde_json v1.0.87
[INFO] [stderr]    Compiling either v1.8.0
[INFO] [stderr]    Compiling num_cpus v1.14.0
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling plotters-backend v0.3.4
[INFO] [stderr]    Compiling regex-automata v0.1.10
[INFO] [stderr]    Compiling itoa v1.0.4
[INFO] [stderr]    Compiling serde_derive v1.0.147
[INFO] [stderr]    Compiling unicode-width v0.1.10
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling csv-core v0.1.10
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling itoa v0.4.8
[INFO] [stderr]    Compiling plotters-svg v0.3.3
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling half v1.8.2
[INFO] [stderr]    Compiling memoffset v0.6.5
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.11
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]    Compiling rayon v1.5.3
[INFO] [stderr]    Compiling walkdir v2.3.2
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling oorandom v11.1.3
[INFO] [stderr]    Compiling crossbeam-channel v0.5.6
[INFO] [stderr]    Compiling crossbeam-deque v0.8.2
[INFO] [stderr]    Compiling criterion-plot v0.4.5
[INFO] [stderr]    Compiling plotters v0.3.4
[INFO] [stderr]    Compiling bstr v0.2.17
[INFO] [stderr]    Compiling serde_cbor v0.11.2
[INFO] [stderr]    Compiling csv v1.1.6
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling criterion v0.3.6
[INFO] [stderr]    Compiling lsts v0.6.22 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `lsts::tlc::TLC`
[INFO] [stdout]  --> tests/examples.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use lsts::tlc::TLC;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `lsts::constant::Constant`
[INFO] [stdout]  --> tests/examples.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use lsts::constant::Constant;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 21.88s
[INFO] running `Command { std: "docker" "inspect" "7de21cae6f8aecdd316aff2db02d774b223b8ef60e265c10ec700eeac3112931", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7de21cae6f8aecdd316aff2db02d774b223b8ef60e265c10ec700eeac3112931", kill_on_drop: false }`
[INFO] [stdout] 7de21cae6f8aecdd316aff2db02d774b223b8ef60e265c10ec700eeac3112931
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/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:3d532c2baa59a8a48e45c3be7eb049f77ac5a58a7a6514a58a8e878df1c3d03d" "/opt/rustwide/cargo-home/bin/cargo" "+d117135f5a9b69ee3adfb1918aa25616758bf692" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 12e9f24674b0e5bbb6dffd0c65a7b79b4ca7583a7652723f807735187ee787bb
[INFO] running `Command { std: "docker" "start" "-a" "12e9f24674b0e5bbb6dffd0c65a7b79b4ca7583a7652723f807735187ee787bb", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `lsts::tlc::TLC`
[INFO] [stderr]  --> tests/examples.rs:1:5
[INFO] [stderr]   |
[INFO] [stderr] 1 | use lsts::tlc::TLC;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `lsts::constant::Constant`
[INFO] [stderr]  --> tests/examples.rs:2:5
[INFO] [stderr]   |
[INFO] [stderr] 2 | use lsts::constant::Constant;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `lsts` (test "examples") generated 2 warnings (run `cargo fix --test "examples"` to apply 2 suggestions)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.16s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/lsts-29b068fcc18e9ff3)
[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/main.rs (/opt/rustwide/target/debug/deps/lsts-268c36b87596aef0)
[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 tests/a_implies.rs (/opt/rustwide/target/debug/deps/a_implies-d8280e597e4e06fd)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test check_arrow_ratio ... ok
[INFO] [stdout] test check_compound_failures ... ok
[INFO] [stdout] test check_normalization ... ok
[INFO] [stdout] test check_products_and_ratios ... ok
[INFO] [stdout] test check_simplytyped ... ok
[INFO] [stdout] test check_subtyping ... ok
[INFO] [stdout] test check_self_unifies ... ok
[INFO] [stdout] test check_function_unification ... ok
[INFO] [stdout] test check_structural_equality ... ok
[INFO] [stdout] test check_compound_subtyping ... ok
[INFO] [stdout] test check_parameters_subtyping ... ok
[INFO] [stdout] test check_parameter_unification ... ok
[INFO] [stderr]      Running tests/a_mgu.rs (/opt/rustwide/target/debug/deps/a_mgu-f1da0b7be13cb640)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test check_nested_plural_mgu ... ok
[INFO] [stdout] test check_special_cases_mgu ... ok
[INFO] [stdout] test check_plural_mgu ... ok
[INFO] [stdout] test check_compound_failures ... ok
[INFO] [stdout] test check_structural_equality ... ok
[INFO] [stdout] test check_self_unifies ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/algebra.rs (/opt/rustwide/target/debug/deps/algebra-d9460c122f0fc076)
[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 tests/axioms.rs (/opt/rustwide/target/debug/deps/axioms-45d8edc4ed41356f)
[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 tests/b_parser.rs (/opt/rustwide/target/debug/deps/b_parser-1a743557f3cc2cd2)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test parse_simplytyped ... 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] [stderr]      Running tests/c_l1.rs (/opt/rustwide/target/debug/deps/c_l1-981cecd444c93725)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test l1_reduce ... ok
[INFO] [stdout] test l1_functions ... ok
[INFO] [stdout] test l1_partial_tuples ... ok
[INFO] [stdout] test l1_dot_functions ... ok
[INFO] [stdout] test l1_literals ... ok
[INFO] [stdout] test l1_destructure_tuples ... ok
[INFO] [stdout] test l1_homogenous_tuples ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.81s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/d_blocks.rs (/opt/rustwide/target/debug/deps/d_blocks-5a0c36b06c0ebcf9)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test check_simple_block ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.26s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/debug_messaging.rs (/opt/rustwide/target/debug/deps/debug_messaging-a797120eeea63fc2)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test check_lookup_failure_messaging ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.16s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dependent_types.rs (/opt/rustwide/target/debug/deps/dependent_types-bbc8ed7c25cae882)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test check_constant_equivalence ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 11.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/destructuring.rs (/opt/rustwide/target/debug/deps/destructuring-d78622fd4e29e5a7)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test destructure_literal ... ok
[INFO] [stdout] test check_iflet_literal ... ok
[INFO] [stdout] test check_match_literal ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.29s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dtype.rs (/opt/rustwide/target/debug/deps/dtype-fc1887ef872ecff3)
[INFO] [stdout] running 0 tests
[INFO] [stderr]      Running tests/examples.rs (/opt/rustwide/target/debug/deps/examples-343b4a7359bc121d)
[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] [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 tests/fundamental_theorem_of_algebra.rs (/opt/rustwide/target/debug/deps/fundamental_theorem_of_algebra-6aa9a7295451810f)
[INFO] [stdout] 
[INFO] [stderr]      Running tests/hints.rs (/opt/rustwide/target/debug/deps/hints-96f1f800cc67caeb)
[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] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test check_statements ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.25s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/infinitude_of_primes.rs (/opt/rustwide/target/debug/deps/infinitude_of_primes-497083438a736541)
[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 tests/invariants.rs (/opt/rustwide/target/debug/deps/invariants-e50eefe3ac597e12)
[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 tests/iterators.rs (/opt/rustwide/target/debug/deps/iterators-9c744f4cefb957bf)
[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 tests/literals.rs (/opt/rustwide/target/debug/deps/literals-ece9cf56716381f2)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test check_gradual_typing ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.22s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/open_issues.rs (/opt/rustwide/target/debug/deps/open_issues-5fd05b87460a3daa)
[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 tests/order_of_operations.rs (/opt/rustwide/target/debug/deps/order_of_operations-a317235164e18a31)
[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 tests/paradox.rs (/opt/rustwide/target/debug/deps/paradox-ef676d58c1f7634f)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test check_curry_paradox ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/plural_types.rs (/opt/rustwide/target/debug/deps/plural_types-9aed9f94885f4264)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test check_arrow ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/prelex.rs (/opt/rustwide/target/debug/deps/prelex-7693ea63685af7e6)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test check_prelex ... 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] [stderr]      Running tests/prime.rs (/opt/rustwide/target/debug/deps/prime-49e5ac28fb625d4c)
[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 tests/props.rs (/opt/rustwide/target/debug/deps/props-2444e752d6e11c77)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test check_contradictions ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.21s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/readme.rs (/opt/rustwide/target/debug/deps/readme-057a116217e5eba3)
[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 tests/si.rs (/opt/rustwide/target/debug/deps/si-1b736265af8a915e)
[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 tests/sqrt_two.rs (/opt/rustwide/target/debug/deps/sqrt_two-38fdc014b8faafcb)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test check_sqrt_irrationality ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/stress.rs (/opt/rustwide/target/debug/deps/stress-0972f25494cc7343)
[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 tests/strict.rs (/opt/rustwide/target/debug/deps/strict-2f809860cba48b4b)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test parse_simplytyped ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/tensor.rs (/opt/rustwide/target/debug/deps/tensor-9c4d0851d011d826)
[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 tests/tlc.rs (/opt/rustwide/target/debug/deps/tlc-4c7949fb3c1eb4a7)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test check_normalization ... ok
[INFO] [stdout] test check_narrow_implication ... ok
[INFO] [stdout] test check_subtyping ... ok
[INFO] [stdout] test check_simplytyped ... ok
[INFO] [stdout] test check_narrow_implication_with_parameters ... ok
[INFO] [stdout] test check_products_and_ratios ... ok
[INFO] [stdout] test check_kinded_polymorphism ... ok
[INFO] [stdout] test check_kinded_parametric_polymorphism ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/tokens.rs (/opt/rustwide/target/debug/deps/tokens-e3779e698727079c)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test tokenize_literals ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests lsts
[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" "12e9f24674b0e5bbb6dffd0c65a7b79b4ca7583a7652723f807735187ee787bb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "12e9f24674b0e5bbb6dffd0c65a7b79b4ca7583a7652723f807735187ee787bb", kill_on_drop: false }`
[INFO] [stdout] 12e9f24674b0e5bbb6dffd0c65a7b79b4ca7583a7652723f807735187ee787bb