[INFO] fetching crate gram 0.0.4...
[INFO] testing gram-0.0.4 against 1.90.0 for beta-1.91-3
[INFO] extracting crate gram 0.0.4 into /workspace/builds/worker-2-tc1/source
[INFO] started tweaking crates.io crate gram 0.0.4
[INFO] finished tweaking crates.io crate gram 0.0.4
[INFO] tweaked toml for crates.io crate gram 0.0.4 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate gram 0.0.4 on toolchain 1.90.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.90.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate gram 0.0.4 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" "+1.90.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded num-traits v0.2.14
[INFO] [stderr]   Downloaded colored v1.9.3
[INFO] [stderr]   Downloaded pad v0.1.6
[INFO] [stderr]   Downloaded num-integer v0.1.44
[INFO] [stderr]   Downloaded term_size v0.3.2
[INFO] [stderr]   Downloaded unicode-segmentation v1.7.1
[INFO] [stderr]   Downloaded libc v0.2.93
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f204311961f689f7d95eec6e19b7ff62654fd555ab36ba0681cd82dad9eae584
[INFO] running `Command { std: "docker" "start" "-a" "f204311961f689f7d95eec6e19b7ff62654fd555ab36ba0681cd82dad9eae584", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f204311961f689f7d95eec6e19b7ff62654fd555ab36ba0681cd82dad9eae584", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f204311961f689f7d95eec6e19b7ff62654fd555ab36ba0681cd82dad9eae584", kill_on_drop: false }`
[INFO] [stdout] f204311961f689f7d95eec6e19b7ff62654fd555ab36ba0681cd82dad9eae584
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8cddda5ee611f9ae56eff86173b352907cefd1af19bc632b8df6364216dcb1cc
[INFO] running `Command { std: "docker" "start" "-a" "8cddda5ee611f9ae56eff86173b352907cefd1af19bc632b8df6364216dcb1cc", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling libc v0.2.93
[INFO] [stderr]    Compiling pad v0.1.6
[INFO] [stderr]    Compiling unicode-segmentation v1.7.1
[INFO] [stderr]    Compiling scopeguard v1.1.0
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling num-integer v0.1.44
[INFO] [stderr]    Compiling num-bigint v0.2.6
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling term_size v0.3.2
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling colored v1.9.3
[INFO] [stderr]    Compiling clap v2.33.3
[INFO] [stderr]    Compiling gram v0.0.4 (/opt/rustwide/workdir)
[INFO] [stdout] warning: eliding a lifetime that's named elsewhere is confusing
[INFO] [stdout]   --> src/error.rs:37:20
[INFO] [stdout]    |
[INFO] [stdout] 37 |     fn source<'a>(&'a self) -> Option<&(dyn error::Error + 'static)> {
[INFO] [stdout]    |                    ^^                 ----------------------------- the same lifetime is elided here
[INFO] [stdout]    |                    |
[INFO] [stdout]    |                    the lifetime is named here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]   --> src/main.rs:1:40
[INFO] [stdout]    |
[INFO] [stdout]  1 | #![deny(clippy::all, clippy::pedantic, warnings)]
[INFO] [stdout]    |                                        ^^^^^^^^
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` implied by `#[warn(warnings)]`
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]    |
[INFO] [stdout] 37 |     fn source<'a>(&'a self) -> Option<&'a (dyn error::Error + 'static)> {
[INFO] [stdout]    |                                        ++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 12.69s
[INFO] running `Command { std: "docker" "inspect" "8cddda5ee611f9ae56eff86173b352907cefd1af19bc632b8df6364216dcb1cc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8cddda5ee611f9ae56eff86173b352907cefd1af19bc632b8df6364216dcb1cc", kill_on_drop: false }`
[INFO] [stdout] 8cddda5ee611f9ae56eff86173b352907cefd1af19bc632b8df6364216dcb1cc
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9968226c09371493c4495185ba6b2a9fb5bd01fae655ee2098e936f12ca983e2
[INFO] running `Command { std: "docker" "start" "-a" "9968226c09371493c4495185ba6b2a9fb5bd01fae655ee2098e936f12ca983e2", kill_on_drop: false }`
[INFO] [stderr]    Compiling gram v0.0.4 (/opt/rustwide/workdir)
[INFO] [stdout] warning: eliding a lifetime that's named elsewhere is confusing
[INFO] [stdout]   --> src/error.rs:37:20
[INFO] [stdout]    |
[INFO] [stdout] 37 |     fn source<'a>(&'a self) -> Option<&(dyn error::Error + 'static)> {
[INFO] [stdout]    |                    ^^                 ----------------------------- the same lifetime is elided here
[INFO] [stdout]    |                    |
[INFO] [stdout]    |                    the lifetime is named here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]   --> src/main.rs:1:40
[INFO] [stdout]    |
[INFO] [stdout]  1 | #![deny(clippy::all, clippy::pedantic, warnings)]
[INFO] [stdout]    |                                        ^^^^^^^^
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` implied by `#[warn(warnings)]`
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]    |
[INFO] [stdout] 37 |     fn source<'a>(&'a self) -> Option<&'a (dyn error::Error + 'static)> {
[INFO] [stdout]    |                                        ++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 5.16s
[INFO] running `Command { std: "docker" "inspect" "9968226c09371493c4495185ba6b2a9fb5bd01fae655ee2098e936f12ca983e2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9968226c09371493c4495185ba6b2a9fb5bd01fae655ee2098e936f12ca983e2", kill_on_drop: false }`
[INFO] [stdout] 9968226c09371493c4495185ba6b2a9fb5bd01fae655ee2098e936f12ca983e2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] a25a97e11e5a092dfecce4fe4cc639c7207d2e5d1e15a90bdf29f18b769b774d
[INFO] running `Command { std: "docker" "start" "-a" "a25a97e11e5a092dfecce4fe4cc639c7207d2e5d1e15a90bdf29f18b769b774d", kill_on_drop: false }`
[INFO] [stderr] warning: eliding a lifetime that's named elsewhere is confusing
[INFO] [stderr]   --> src/error.rs:37:20
[INFO] [stderr]    |
[INFO] [stderr] 37 |     fn source<'a>(&'a self) -> Option<&(dyn error::Error + 'static)> {
[INFO] [stderr]    |                    ^^                 ----------------------------- the same lifetime is elided here
[INFO] [stderr]    |                    |
[INFO] [stderr]    |                    the lifetime is named here
[INFO] [stderr]    |
[INFO] [stderr]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] note: the lint level is defined here
[INFO] [stderr]   --> src/main.rs:1:40
[INFO] [stderr]    |
[INFO] [stderr]  1 | #![deny(clippy::all, clippy::pedantic, warnings)]
[INFO] [stderr]    |                                        ^^^^^^^^
[INFO] [stderr]    = note: `#[warn(mismatched_lifetime_syntaxes)]` implied by `#[warn(warnings)]`
[INFO] [stderr] help: consistently use `'a`
[INFO] [stderr]    |
[INFO] [stderr] 37 |     fn source<'a>(&'a self) -> Option<&'a (dyn error::Error + 'static)> {
[INFO] [stderr]    |                                        ++
[INFO] [stderr] 
[INFO] [stderr] warning: `gram` (bin "gram" test) generated 1 warning
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/gram-e17466bf30b65d45)
[INFO] [stdout] 
[INFO] [stdout] running 449 tests
[INFO] [stdout] test assertions::tests::assert_same_match ... ok
[INFO] [stdout] test de_bruijn::tests::open_boolean ... ok
[INFO] [stdout] test de_bruijn::tests::open_application ... ok
[INFO] [stdout] test de_bruijn::tests::open_difference ... ok
[INFO] [stdout] test de_bruijn::tests::open_equal_to ... ok
[INFO] [stdout] test assertions::tests::assert_fails_match ... ok
[INFO] [stdout] test de_bruijn::tests::open_if ... ok
[INFO] [stdout] test de_bruijn::tests::open_greater_than ... ok
[INFO] [stdout] test de_bruijn::tests::open_integer_literal ... ok
[INFO] [stdout] test de_bruijn::tests::open_greater_than_or_equal_to ... ok
[INFO] [stdout] test de_bruijn::tests::open_lambda ... ok
[INFO] [stdout] test de_bruijn::tests::open_integer ... ok
[INFO] [stdout] test de_bruijn::tests::open_less_than ... ok
[INFO] [stdout] test de_bruijn::tests::open_less_than_or_equal_to ... ok
[INFO] [stdout] test de_bruijn::tests::open_let ... ok
[INFO] [stdout] test de_bruijn::tests::open_negation ... ok
[INFO] [stdout] test de_bruijn::tests::open_pi ... ok
[INFO] [stdout] test de_bruijn::tests::open_product ... ok
[INFO] [stdout] test de_bruijn::tests::open_quotient ... ok
[INFO] [stdout] test de_bruijn::tests::open_sum ... ok
[INFO] [stdout] test de_bruijn::tests::open_true ... ok
[INFO] [stdout] test de_bruijn::tests::open_type ... ok
[INFO] [stdout] test de_bruijn::tests::open_unifier_none ... ok
[INFO] [stdout] test de_bruijn::tests::open_unifier_some ... ok
[INFO] [stdout] test de_bruijn::tests::open_variable_bound ... ok
[INFO] [stdout] test de_bruijn::tests::open_variable_free ... ok
[INFO] [stdout] test de_bruijn::tests::open_variable_match ... ok
[INFO] [stdout] test de_bruijn::tests::signed_shift_unifier_none_invalid ... ok
[INFO] [stdout] test de_bruijn::tests::signed_shift_unifier_none_valid ... ok
[INFO] [stdout] test de_bruijn::tests::signed_shift_unifier_some ... ok
[INFO] [stdout] test de_bruijn::tests::signed_shift_variable_bound ... ok
[INFO] [stdout] test de_bruijn::tests::signed_shift_variable_conflict ... ok
[INFO] [stdout] test de_bruijn::tests::signed_shift_variable_free ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_application ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_boolean ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_difference ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_equal_to ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_false ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_greater_than ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_greater_than_or_equal_to ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_if ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_integer ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_integer_literal ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_lambda ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_less_than ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_less_than_or_equal_to ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_pi ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_let ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_negation ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_product ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_quotient ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_sum ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_true ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_type ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_unifier_none ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_unifier_some ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_variable_bound ... ok
[INFO] [stdout] test de_bruijn::tests::unsigned_shift_variable_free ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_boolean ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_difference ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_equal_to ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_false ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_greater_than ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_application ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_integer ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_greater_than_or_equal_to ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_integer_literal ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_if ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_lambda ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_less_than ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_lambda_inequal_domain ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_lambda_implicit ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_let ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_negation ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_pi ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_quotient ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_less_than_or_equal_to ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_product ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_sum ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_pi_implicit ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_unifier_left ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_true ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_unifier_right ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_type ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_unifier_same_pointer_same_shift ... ok
[INFO] [stdout] test equality::tests::syntactically_equal_variable ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_application_applicand ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_application_argument ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_difference_term2 ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_equal_to_term2 ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_difference_term1 ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_greater_than_or_equal_to_term1 ... ok
[INFO] [stdout] test de_bruijn::tests::open_false ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_equal_to_term1 ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_greater_than_or_equal_to_term2 ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_if_condition ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_greater_than_term1 ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_greater_than_term2 ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_if_then_branch ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_integer_literal ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_less_than_or_equal_to_term1 ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_lambda_body ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_less_than_or_equal_to_term2 ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_less_than_term1 ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_less_than_term2 ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_let_body ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_negation ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_pi_codomain ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_let_definition ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_if_else_branch ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_pi_explicit_implicit ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_pi_domain ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_product_term1 ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_lambda_explicit_implicit ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_product_term2 ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_quotient_term1 ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_quotient_term2 ... ok
[INFO] [stdout] test assertions::tests::assert_same_mismatch - should panic ... ok
[INFO] [stdout] test assertions::tests::assert_fails_empty - should panic ... ok
[INFO] [stdout] test assertions::tests::assert_fails_mismatch - should panic ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_unifier_same_pointer_different_shift ... ok
[INFO] [stdout] test error::tests::error_no_reason_display ... ok
[INFO] [stdout] test error::tests::listing_empty ... ok
[INFO] [stdout] test error::tests::listing_many_lines_partial_range ... ok
[INFO] [stdout] test error::tests::listing_multiple_lines_full_range ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_sum_term1 ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_sum_term2 ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_variable ... ok
[INFO] [stdout] test error::tests::listing_multiple_lines_partial_range ... ok
[INFO] [stdout] test error::tests::throw_no_source_path_listing_reason ... ok
[INFO] [stdout] test error::tests::throw_with_listing_no_source_path_reason ... ok
[INFO] [stdout] test error::tests::throw_with_listing_reason_no_source_path ... ok
[INFO] [stdout] test error::tests::listing_single_line_full_range ... ok
[INFO] [stdout] test error::tests::listing_single_line_partial_range ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_unifier_different_pointer_same_shift ... ok
[INFO] [stdout] test equality::tests::syntactically_inequal_unifier_explicit ... ok
[INFO] [stdout] test error::tests::throw_with_reason_no_source_path_listing ... ok
[INFO] [stdout] test error::tests::throw_with_source_path_listing_reason ... ok
[INFO] [stdout] test error::tests::throw_with_source_path_listing_no_reason ... ok
[INFO] [stdout] test error::tests::throw_with_source_path_reason_no_listing ... ok
[INFO] [stdout] test error::tests::throw_with_source_path_no_listing_reason ... ok
[INFO] [stdout] test evaluator::tests::evaluate_boolean ... ok
[INFO] [stdout] test evaluator::tests::evaluate_false ... ok
[INFO] [stdout] test evaluator::tests::evaluate_greater_than_or_equal_to ... ok
[INFO] [stdout] test evaluator::tests::evaluate_difference ... ok
[INFO] [stdout] test evaluator::tests::evaluate_greater_than ... ok
[INFO] [stdout] test evaluator::tests::evaluate_integer ... ok
[INFO] [stdout] test evaluator::tests::evaluate_if_false ... ok
[INFO] [stdout] test evaluator::tests::evaluate_integer_literal ... ok
[INFO] [stdout] test evaluator::tests::evaluate_less_than_or_equal_to ... ok
[INFO] [stdout] test evaluator::tests::evaluate_lambda ... ok
[INFO] [stdout] test evaluator::tests::evaluate_negation ... ok
[INFO] [stdout] test evaluator::tests::evaluate_if_true ... ok
[INFO] [stdout] test evaluator::tests::evaluate_equal_to ... ok
[INFO] [stdout] test evaluator::tests::evaluate_less_than ... ok
[INFO] [stdout] test evaluator::tests::evaluate_let ... ok
[INFO] [stdout] test evaluator::tests::evaluate_product ... ok
[INFO] [stdout] test error::tests::error_with_reason_display ... ok
[INFO] [stdout] test evaluator::tests::evaluate_redex ... ok
[INFO] [stdout] test evaluator::tests::evaluate_non_redex - should panic ... ok
[INFO] [stdout] test evaluator::tests::evaluate_sum ... ok
[INFO] [stdout] test evaluator::tests::evaluate_pi ... ok
[INFO] [stdout] test evaluator::tests::evaluate_true ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_boolean ... ok
[INFO] [stdout] test format::tests::code_str_display ... ok
[INFO] [stdout] test evaluator::tests::evaluate_factorial ... ok
[INFO] [stdout] test evaluator::tests::evaluate_variable - should panic ... ok
[INFO] [stdout] test evaluator::tests::evaluate_type ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_equal_to ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_false ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_greater_than ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_integer_literal ... ok
[INFO] [stdout] test evaluator::tests::evaluate_quotient ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_if_true ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_difference ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_greater_than_or_equal_to ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_less_than ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_if_false ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_less_than_or_equal_to ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_let ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_integer ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_negation ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_product ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_quotient ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_redex ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_true ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_type ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_variable_definition ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_non_redex ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_redex_under_lambda ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_sum ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_redex_under_pi ... ok
[INFO] [stdout] test normalizer::tests::normalize_weak_head_variable_no_definition ... ok
[INFO] [stdout] test parser::tests::parse_boolean ... ok
[INFO] [stdout] test parser::tests::parse_annotated_lambda_implicit ... ok
[INFO] [stdout] test parser::tests::parse_application ... ok
[INFO] [stdout] test parser::tests::parse_empty ... ok
[INFO] [stdout] test parser::tests::parse_difference ... ok
[INFO] [stdout] test parser::tests::parse_application_grouped_argument ... ok
[INFO] [stdout] test parser::tests::parse_application_associativity ... ok
[INFO] [stdout] test parser::tests::parse_annotated_lambda ... ok
[INFO] [stdout] test parser::tests::parse_greater_than ... ok
[INFO] [stdout] test parser::tests::parse_equal_to ... ok
[INFO] [stdout] test parser::tests::parse_group ... ok
[INFO] [stdout] test parser::tests::parse_greater_than_or_equal_to ... ok
[INFO] [stdout] test parser::tests::parse_false ... ok
[INFO] [stdout] test parser::tests::parse_if ... ok
[INFO] [stdout] test parser::tests::parse_identity_function ... ok
[INFO] [stdout] test parser::tests::parse_arithmetic ... ok
[INFO] [stdout] test parser::tests::parse_integer ... ok
[INFO] [stdout] test parser::tests::parse_integer_literal ... ok
[INFO] [stdout] test parser::tests::parse_lambda_shadowing ... ok
[INFO] [stdout] test parser::tests::parse_negation ... ok
[INFO] [stdout] test parser::tests::parse_lambda_placeholder_variable ... ok
[INFO] [stdout] test parser::tests::parse_less_than_or_equal_to ... ok
[INFO] [stdout] test parser::tests::parse_non_dependent_pi ... ok
[INFO] [stdout] test parser::tests::parse_pi ... ok
[INFO] [stdout] test parser::tests::parse_non_dependent_pi_associativity ... ok
[INFO] [stdout] test parser::tests::parse_less_than ... ok
[INFO] [stdout] test parser::tests::parse_lambda ... ok
[INFO] [stdout] test parser::tests::parse_lambda_implicit ... ok
[INFO] [stdout] test parser::tests::parse_let ... ok
[INFO] [stdout] test parser::tests::parse_true ... ok
[INFO] [stdout] test parser::tests::parse_pi_implicit ... ok
[INFO] [stdout] test parser::tests::parse_type ... ok
[INFO] [stdout] test parser::tests::parse_product ... ok
[INFO] [stdout] test parser::tests::parse_quotient ... ok
[INFO] [stdout] test parser::tests::parse_pi_shadowing ... ok
[INFO] [stdout] test parser::tests::parse_sum ... ok
[INFO] [stdout] test parser::tests::parse_pi_placeholder_variable ... ok
[INFO] [stdout] test parser::tests::parse_variable ... ok
[INFO] [stdout] test term::tests::free_variables_application ... ok
[INFO] [stdout] test term::tests::free_variables_boolean ... ok
[INFO] [stdout] test term::tests::free_variables_equal_to ... ok
[INFO] [stdout] test term::tests::free_variables_false ... ok
[INFO] [stdout] test term::tests::free_variables_difference ... ok
[INFO] [stdout] test parser::tests::parse_variable_unifier ... ok
[INFO] [stdout] test term::tests::free_variables_greater_than_or_equal_to ... ok
[INFO] [stdout] test term::tests::free_variables_greater_than ... ok
[INFO] [stdout] test parser::tests::parse_variable_missing ... ok
[INFO] [stdout] test term::tests::free_variables_if ... ok
[INFO] [stdout] test term::tests::free_variables_integer ... ok
[INFO] [stdout] test term::tests::free_variables_integer_literal ... ok
[INFO] [stdout] test term::tests::free_variables_less_than_or_equal_to ... ok
[INFO] [stdout] test term::tests::free_variables_lambda ... ok
[INFO] [stdout] test term::tests::free_variables_let ... ok
[INFO] [stdout] test term::tests::free_variables_less_than ... ok
[INFO] [stdout] test term::tests::free_variables_negation ... ok
[INFO] [stdout] test term::tests::free_variables_quotient ... ok
[INFO] [stdout] test term::tests::free_variables_unifier_none ... ok
[INFO] [stdout] test term::tests::free_variables_true ... ok
[INFO] [stdout] test term::tests::free_variables_unifier_some ... ok
[INFO] [stdout] test term::tests::free_variables_sum ... ok
[INFO] [stdout] test term::tests::free_variables_type ... ok
[INFO] [stdout] test term::tests::free_variables_variable_bound ... ok
[INFO] [stdout] test term::tests::free_variables_variable_free ... ok
[INFO] [stdout] test term::tests::term_display ... ok
[INFO] [stdout] test term::tests::variant_application_display ... ok
[INFO] [stdout] test term::tests::variant_difference_display ... ok
[INFO] [stdout] test term::tests::variant_false_display ... ok
[INFO] [stdout] test term::tests::variant_boolean_display ... ok
[INFO] [stdout] test term::tests::variant_greater_than_display ... ok
[INFO] [stdout] test term::tests::variant_equal_to_display ... ok
[INFO] [stdout] test term::tests::variant_greater_than_or_equal_to_display ... ok
[INFO] [stdout] test term::tests::variant_integer_literal_display ... ok
[INFO] [stdout] test term::tests::variant_lambda_explicit_display ... ok
[INFO] [stdout] test term::tests::variant_less_than_display ... ok
[INFO] [stdout] test term::tests::variant_lambda_implicit_display ... ok
[INFO] [stdout] test term::tests::variant_less_than_or_equal_to_display ... ok
[INFO] [stdout] test term::tests::variant_if_display ... ok
[INFO] [stdout] test term::tests::variant_integer_display ... ok
[INFO] [stdout] test term::tests::variant_let_display ... ok
[INFO] [stdout] test term::tests::variant_negation_display ... ok
[INFO] [stdout] test term::tests::variant_pi_dependent_explicit_display ... ok
[INFO] [stdout] test term::tests::variant_pi_non_dependent_explicit_right_display ... ok
[INFO] [stdout] test term::tests::variant_product_display ... ok
[INFO] [stdout] test term::tests::variant_quotient_display ... ok
[INFO] [stdout] test term::tests::variant_pi_non_dependent_implicit_display ... ok
[INFO] [stdout] test term::tests::variant_sum_display ... ok
[INFO] [stdout] test term::tests::variant_pi_dependent_implicit_display ... ok
[INFO] [stdout] test term::tests::variant_true_display ... ok
[INFO] [stdout] test term::tests::variant_pi_non_dependent_explicit_left_display ... ok
[INFO] [stdout] test term::tests::variant_type_display ... ok
[INFO] [stdout] test term::tests::variant_unifier_no_subterm_display ... ok
[INFO] [stdout] test token::tests::token_display ... ok
[INFO] [stdout] test token::tests::variant_asterisk_display ... ok
[INFO] [stdout] test token::tests::variant_colon_display ... ok
[INFO] [stdout] test token::tests::variant_double_equals_display ... ok
[INFO] [stdout] test term::tests::variant_variable_display ... ok
[INFO] [stdout] test token::tests::variant_else_display ... ok
[INFO] [stdout] test token::tests::variant_boolean_display ... ok
[INFO] [stdout] test term::tests::variant_unifier_subterm_display ... ok
[INFO] [stdout] test token::tests::variant_false_display ... ok
[INFO] [stdout] test token::tests::variant_greater_than_display ... ok
[INFO] [stdout] test token::tests::variant_if_display ... ok
[INFO] [stdout] test token::tests::variant_integer_display ... ok
[INFO] [stdout] test token::tests::variant_integer_literal_display ... ok
[INFO] [stdout] test token::tests::variant_left_curly_display ... ok
[INFO] [stdout] test token::tests::variant_greater_than_or_equal_to_display ... ok
[INFO] [stdout] test token::tests::variant_left_paren_display ... ok
[INFO] [stdout] test token::tests::variant_identifier_display ... ok
[INFO] [stdout] test token::tests::variant_equals_display ... ok
[INFO] [stdout] test token::tests::variant_less_than_display ... ok
[INFO] [stdout] test token::tests::variant_less_than_or_equal_to_display ... ok
[INFO] [stdout] test token::tests::variant_right_curly_display ... ok
[INFO] [stdout] test token::tests::variant_right_paren_display ... ok
[INFO] [stdout] test token::tests::variant_terminator_line_break_display ... ok
[INFO] [stdout] test token::tests::variant_terminator_semicolon_display ... ok
[INFO] [stdout] test token::tests::variant_minus_display ... ok
[INFO] [stdout] test token::tests::variant_then_display ... ok
[INFO] [stdout] test token::tests::variant_plus_display ... ok
[INFO] [stdout] test token::tests::variant_thick_arrow_display ... ok
[INFO] [stdout] test token::tests::variant_slash_display ... ok
[INFO] [stdout] test term::tests::free_variables_pi ... ok
[INFO] [stdout] test token::tests::variant_true_display ... ok
[INFO] [stdout] test token::tests::variant_type_display ... ok
[INFO] [stdout] test term::tests::free_variables_product ... ok
[INFO] [stdout] test token::tests::variant_thin_arrow_display ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_asterisk ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_colon ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_boolean ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_else ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_empty ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_false ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_greater_than ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_if ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_greater_than_or_equal ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_identifier ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_equals ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_comment ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_double_equals ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_integer ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_integer_literal ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_left_curly ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_left_paren ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_less_than_or_equal ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_operators_with_whitespace ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_plus ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_right_curly ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_terminator_line_break ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_then ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_terminator_semicolon ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_slash ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_minus ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_thick_arrow ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_thin_arrow ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_true ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_unexpected_code_point ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_whitespace ... ok
[INFO] [stdout] test type_checker::tests::type_check_bad_application ... ok
[INFO] [stdout] test type_checker::tests::type_check_application ... ok
[INFO] [stdout] test type_checker::tests::type_check_difference ... ok
[INFO] [stdout] test type_checker::tests::type_check_equal_to ... ok
[INFO] [stdout] test type_checker::tests::type_check_false ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_less_than ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_operators ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_right_paren ... ok
[INFO] [stdout] test tokenizer::tests::tokenize_type ... ok
[INFO] [stdout] test type_checker::tests::type_check_boolean ... ok
[INFO] [stdout] test type_checker::tests::type_check_integer_literal ... ok
[INFO] [stdout] test type_checker::tests::type_check_if ... ok
[INFO] [stdout] test type_checker::tests::type_check_lambda ... ok
[INFO] [stdout] test type_checker::tests::type_check_dependent_apply ... ok
[INFO] [stdout] test type_checker::tests::type_check_less_than ... ok
[INFO] [stdout] test type_checker::tests::type_check_pi ... ok
[INFO] [stdout] test type_checker::tests::type_check_let ... ok
[INFO] [stdout] test type_checker::tests::type_check_greater_than ... ok
[INFO] [stdout] test type_checker::tests::type_check_negation ... ok
[INFO] [stdout] test type_checker::tests::type_check_greater_than_or_equal_to ... ok
[INFO] [stdout] test type_checker::tests::type_check_product ... ok
[INFO] [stdout] test type_checker::tests::type_check_sum ... ok
[INFO] [stdout] test type_checker::tests::type_check_true ... ok
[INFO] [stdout] test type_checker::tests::type_check_less_than_or_equal_to ... ok
[INFO] [stdout] test type_checker::tests::type_check_type ... ok
[INFO] [stdout] test type_checker::tests::type_check_integer ... ok
[INFO] [stdout] test type_checker::tests::type_check_variable ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_annotated_lambda ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_application ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_boolean ... ok
[INFO] [stdout] test type_checker::tests::type_check_quotient ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_integer ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_greater_than ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_if ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_integer_literal ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_lambda ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_let ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_false ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_less_than ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_less_than_or_equal_to ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_negation ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_product ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_resolved ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_sum ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_quotient ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_pi ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_unifier_deduplication ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_true ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_unresolved ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_variable ... ok
[INFO] [stdout] test unifier::tests::unify_application ... ok
[INFO] [stdout] test unifier::tests::unify_boolean ... ok
[INFO] [stdout] test unifier::tests::unify_difference ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_type ... ok
[INFO] [stdout] test unifier::tests::unify_equal_to ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_unifier_no_deduplication ... ok
[INFO] [stdout] test unifier::tests::unify_failure_application_applicand ... ok
[INFO] [stdout] test unifier::tests::unify_failure_equal_to ... ok
[INFO] [stdout] test unifier::tests::unify_failure_application_argument ... ok
[INFO] [stdout] test unifier::tests::unify_failure_difference ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_difference ... ok
[INFO] [stdout] test unifier::tests::unify_failure_integer_literal ... ok
[INFO] [stdout] test unifier::tests::unify_failure_greater_than ... ok
[INFO] [stdout] test unifier::tests::unify_failure_greater_than_or_equal_to ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_equal_to ... ok
[INFO] [stdout] test unifier::tests::unify_failure_less_than ... ok
[INFO] [stdout] test unifier::tests::unify_failure_lambda_body ... ok
[INFO] [stdout] test unifier::tests::collect_unifiers_greater_than_or_equal_to ... ok
[INFO] [stdout] test unifier::tests::unify_failure_let_definition ... ok
[INFO] [stdout] test unifier::tests::unify_failure_pi_domain ... ok
[INFO] [stdout] test unifier::tests::unify_failure_negation ... ok
[INFO] [stdout] test unifier::tests::unify_failure_product ... ok
[INFO] [stdout] test unifier::tests::unify_failure_pi_codomain ... ok
[INFO] [stdout] test unifier::tests::unify_failure_quotient ... ok
[INFO] [stdout] test unifier::tests::unify_false ... ok
[INFO] [stdout] test unifier::tests::unify_greater_than_or_equal_to ... ok
[INFO] [stdout] test unifier::tests::unify_greater_than ... ok
[INFO] [stdout] test unifier::tests::unify_failure_variable ... ok
[INFO] [stdout] test unifier::tests::unify_failure_sum ... ok
[INFO] [stdout] test unifier::tests::unify_integer ... ok
[INFO] [stdout] test unifier::tests::unify_if_false ... ok
[INFO] [stdout] test unifier::tests::unify_integer_literal ... ok
[INFO] [stdout] test unifier::tests::unify_less_than_or_equal_to ... ok
[INFO] [stdout] test unifier::tests::unify_less_than ... ok
[INFO] [stdout] test unifier::tests::unify_lambda ... ok
[INFO] [stdout] test unifier::tests::unify_let ... ok
[INFO] [stdout] test unifier::tests::unify_pi ... ok
[INFO] [stdout] test unifier::tests::unify_if_true ... ok
[INFO] [stdout] test unifier::tests::unify_negation ... ok
[INFO] [stdout] test unifier::tests::unify_quotient ... ok
[INFO] [stdout] test unifier::tests::unify_sum ... ok
[INFO] [stdout] test unifier::tests::unify_product ... ok
[INFO] [stdout] test unifier::tests::unify_true ... ok
[INFO] [stdout] test unifier::tests::unify_unifier_left ... ok
[INFO] [stdout] test unifier::tests::unify_type ... ok
[INFO] [stdout] test unifier::tests::unify_variable ... ok
[INFO] [stdout] test unifier::tests::unify_unifier_right ... ok
[INFO] [stdout] test unifier::tests::unify_failure_less_than_or_equal_to ... ok
[INFO] [stdout] test unifier::tests::unify_failure_let_body ... ok
[INFO] [stdout] test unifier::tests::unify_lambda_inequal_domain ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 449 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.14s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "a25a97e11e5a092dfecce4fe4cc639c7207d2e5d1e15a90bdf29f18b769b774d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a25a97e11e5a092dfecce4fe4cc639c7207d2e5d1e15a90bdf29f18b769b774d", kill_on_drop: false }`
[INFO] [stdout] a25a97e11e5a092dfecce4fe4cc639c7207d2e5d1e15a90bdf29f18b769b774d