[INFO] fetching crate mini-kanren 0.4.0... [INFO] testing mini-kanren-0.4.0 against try#c2e32f1c9652b13ed99608599c1e855462f421f3 for pr-146098-8 [INFO] extracting crate mini-kanren 0.4.0 into /workspace/builds/worker-0-tc2/source [INFO] started tweaking crates.io crate mini-kanren 0.4.0 [INFO] finished tweaking crates.io crate mini-kanren 0.4.0 [INFO] tweaked toml for crates.io crate mini-kanren 0.4.0 written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate mini-kanren 0.4.0 on toolchain c2e32f1c9652b13ed99608599c1e855462f421f3 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate mini-kanren 0.4.0 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" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 167c3e243c293ebdc7d73d893c2d2e12dbb252d7a55afe9359bcc9d44af1fd85 [INFO] running `Command { std: "docker" "start" "-a" "167c3e243c293ebdc7d73d893c2d2e12dbb252d7a55afe9359bcc9d44af1fd85", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "167c3e243c293ebdc7d73d893c2d2e12dbb252d7a55afe9359bcc9d44af1fd85", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "167c3e243c293ebdc7d73d893c2d2e12dbb252d7a55afe9359bcc9d44af1fd85", kill_on_drop: false }` [INFO] [stdout] 167c3e243c293ebdc7d73d893c2d2e12dbb252d7a55afe9359bcc9d44af1fd85 [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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 20a9e2b4c2d92f08c2cb4fcc72c35d109c25b7a4dcafe28eff9da43b2a6e539f [INFO] running `Command { std: "docker" "start" "-a" "20a9e2b4c2d92f08c2cb4fcc72c35d109c25b7a4dcafe28eff9da43b2a6e539f", kill_on_drop: false }` [INFO] [stderr] Compiling mini-kanren v0.4.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `conde`, `defrel`, and `fresh` [INFO] [stdout] --> src/goals/list.rs:4:13 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::{conde, defrel, fresh}; [INFO] [stdout] | ^^^^^ ^^^^^^ ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.71s [INFO] running `Command { std: "docker" "inspect" "20a9e2b4c2d92f08c2cb4fcc72c35d109c25b7a4dcafe28eff9da43b2a6e539f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "20a9e2b4c2d92f08c2cb4fcc72c35d109c25b7a4dcafe28eff9da43b2a6e539f", kill_on_drop: false }` [INFO] [stdout] 20a9e2b4c2d92f08c2cb4fcc72c35d109c25b7a4dcafe28eff9da43b2a6e539f [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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c3ed45f0d79d90f0077d4e7ecdfbf385be83978ee61571e029b9128f2133a852 [INFO] running `Command { std: "docker" "start" "-a" "c3ed45f0d79d90f0077d4e7ecdfbf385be83978ee61571e029b9128f2133a852", kill_on_drop: false }` [INFO] [stdout] warning: unused imports: `conde`, `defrel`, and `fresh` [INFO] [stdout] --> src/goals/list.rs:4:13 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::{conde, defrel, fresh}; [INFO] [stdout] | ^^^^^ ^^^^^^ ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling mini-kanren v0.4.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `conde`, `defrel`, and `fresh` [INFO] [stdout] --> src/goals/list.rs:4:13 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::{conde, defrel, fresh}; [INFO] [stdout] | ^^^^^ ^^^^^^ ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `defrel`, `disj`, `fresh`, and `run` [INFO] [stdout] --> src/lib.rs:23:17 [INFO] [stdout] | [INFO] [stdout] 23 | use crate::{defrel, disj, fresh, run, substitution}; [INFO] [stdout] | ^^^^^^ ^^^^ ^^^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 3.76s [INFO] running `Command { std: "docker" "inspect" "c3ed45f0d79d90f0077d4e7ecdfbf385be83978ee61571e029b9128f2133a852", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c3ed45f0d79d90f0077d4e7ecdfbf385be83978ee61571e029b9128f2133a852", kill_on_drop: false }` [INFO] [stdout] c3ed45f0d79d90f0077d4e7ecdfbf385be83978ee61571e029b9128f2133a852 [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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 473ed49f479b6fdf1aacd2910830aeadb800b00c38262724269348cc93992bab [INFO] running `Command { std: "docker" "start" "-a" "473ed49f479b6fdf1aacd2910830aeadb800b00c38262724269348cc93992bab", kill_on_drop: false }` [INFO] [stderr] warning: unused imports: `conde`, `defrel`, and `fresh` [INFO] [stderr] --> src/goals/list.rs:4:13 [INFO] [stderr] | [INFO] [stderr] 4 | use crate::{conde, defrel, fresh}; [INFO] [stderr] | ^^^^^ ^^^^^^ ^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: `mini-kanren` (lib) generated 1 warning (run `cargo fix --lib -p mini-kanren` to apply 1 suggestion) [INFO] [stderr] warning: unused imports: `defrel`, `disj`, `fresh`, and `run` [INFO] [stderr] --> src/lib.rs:23:17 [INFO] [stderr] | [INFO] [stderr] 23 | use crate::{defrel, disj, fresh, run, substitution}; [INFO] [stderr] | ^^^^^^ ^^^^ ^^^^^ ^^^ [INFO] [stderr] [INFO] [stderr] warning: `mini-kanren` (lib test) generated 2 warnings (1 duplicate) (run `cargo fix --lib -p mini-kanren --tests` to apply 1 suggestion) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.02s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mini_kanren-5cadd8daa597a3b7) [INFO] [stdout] [INFO] [stdout] running 82 tests [INFO] [stdout] test core::goal::tests::an_arcd_dyn_rawgoal_is_a_goal ... ok [INFO] [stdout] test core::goal::tests::an_rcd_dyn_rawgoal_is_a_goal ... ok [INFO] [stdout] test core::logic_variable::unit_tests::can_copy_variables ... ok [INFO] [stdout] test core::logic_variable::unit_tests::can_create_fresh_variables_with_name ... ok [INFO] [stdout] test core::logic_variable::unit_tests::copied_variables_are_equal ... ok [INFO] [stdout] test core::pair::tests::pairs_print_alternate_omits_parentheses ... ok [INFO] [stdout] test core::logic_variable::unit_tests::two_variables_with_same_name_are_not_equal ... ok [INFO] [stdout] test core::pair::tests::pairs_print_as_list_if_second_is_pair ... ok [INFO] [stdout] test core::pair::tests::pairs_print_only_first_value_in_parentheses_if_second_is_nil ... ok [INFO] [stdout] test core::pair::tests::pairs_print_two_values_in_parentheses_separated_by_dot ... ok [INFO] [stdout] test core::logic_variable::unit_tests::can_convert_str_to_var ... ok [INFO] [stdout] test core::substitution::tests::it_works ... ok [INFO] [stdout] test core::substitution::tests::unify_different_values_fails ... ok [INFO] [stdout] test core::substitution::tests::unify_value_with_var_extends_substitution ... ok [INFO] [stdout] test core::substitution::tests::unify_same_var_does_not_modify_substitution ... ok [INFO] [stdout] test goals::list::tests::appending_an_empty_list_gives_same_list ... ok [INFO] [stdout] test core::substitution::tests::unify_two_vars_extends_substitution ... ok [INFO] [stdout] test goals::list::tests::appendo_fails_when_first_argument_is_not_a_list ... ok [INFO] [stdout] test goals::list::tests::appending_to_an_empty_list_gives_appended_value ... ok [INFO] [stdout] test goals::list::tests::appendo_fails_when_inputs_dont_match ... ok [INFO] [stdout] test goals::list::tests::appending_arbitrary_list ... ok [INFO] [stdout] test goals::list::tests::lengtho_is_zero_for_the_empty_list ... ok [INFO] [stdout] test goals::list::tests::appendo_succeeds_when_inputs_match ... ok [INFO] [stdout] test goals::list::tests::lengtho_is_one_for_list_with_one_element ... ok [INFO] [stdout] test goals::list::tests::appending_to_a_list ... ok [INFO] [stdout] test goals::list::tests::appendo_fails_when_third_argument_is_not_a_list ... ok [INFO] [stdout] test core::substitution::tests::unify_same_values_does_not_modify_substitution ... ok [INFO] [stdout] test goals::list::tests::listo_fails_for_non_list ... ok [INFO] [stdout] test goals::hashmap::tests::two_empty_hashmaps_are_unifiable ... ok [INFO] [stdout] test goals::list::tests::listo_fails_for_pair_whose_second_element_is_no_list ... ok [INFO] [stdout] test goals::list::tests::listo_generates_all_possible_lists ... ok [INFO] [stdout] test goals::list::tests::listo_succeeds_for_empty_list ... ok [INFO] [stdout] test goals::list::tests::listo_succeeds_for_pair_whose_second_element_is_a_list ... ok [INFO] [stdout] test goals::list::tests::membero_does_succeed_if_value_in_list ... ok [INFO] [stdout] test goals::list::tests::membero_does_succeed_if_value_first_in_list ... ok [INFO] [stdout] test goals::list::tests::lengtho_produces_lists_and_matching_lengths ... ok [INFO] [stdout] test goals::list::tests::pairo_binds_pair_to_variable ... ok [INFO] [stdout] test goals::list::tests::membero_does_not_succeed_if_value_not_in_list ... ok [INFO] [stdout] test goals::list::tests::rembero_on_empty_list_always_fails ... ok [INFO] [stdout] test goals::list::tests::rembero_fails_if_item_not_in_list ... ok [INFO] [stdout] test goals::list::tests::rembero_returns_empty_list_if_it_removes_the_only_item ... ok [INFO] [stdout] test goals::numbers::tests::addo_computes_sum_of_two_values ... ok [INFO] [stdout] test goals::numbers::tests::addo_fails_if_it_would_need_a_negative_number_as_second_argument ... ok [INFO] [stdout] test goals::numbers::tests::addo_generates_all_number_pairs_that_sum_to_a_value ... ok [INFO] [stdout] test goals::numbers::tests::addo_fails_for_wrong_addition ... ok [INFO] [stdout] test goals::numbers::tests::addo_generates_constrained_pairs_of_numbers ... ok [INFO] [stdout] test goals::numbers::tests::addo_computes_differences ... ok [INFO] [stdout] test goals::list::tests::rembero_generates_possible_removal_combinations ... ok [INFO] [stdout] test goals::numbers::tests::addo_fails_if_it_would_need_a_negative_number_as_first_argument ... ok [INFO] [stdout] test goals::numbers::tests::inco_fails_for_too_large_increment ... ok [INFO] [stdout] test goals::numbers::tests::addo_succeeds_for_correct_addition ... ok [INFO] [stdout] test goals::numbers::tests::addo_obeys_additive_identity ... ok [INFO] [stdout] test goals::numbers::tests::inco_fails_for_equal_numbers ... ok [INFO] [stdout] test goals::numbers::tests::inco_fails_if_right_side_is_zero ... ok [INFO] [stdout] test goals::numbers::tests::addo_succeeds_for_all_zeros ... ok [INFO] [stdout] test goals::list::tests::rembero_lists_all_items_that_can_be_removed_from_list ... ok [INFO] [stdout] test goals::numbers::tests::inco_succeeds_for_incremented_numbers ... ok [INFO] [stdout] test goals::list::tests::membero_succeeds_for_all_possible_lists ... ok [INFO] [stdout] test goals::list::tests::membero_succeeds_for_all_possible_members ... ok [INFO] [stdout] test goals::numbers::tests::mulo_fails_for_non_integer_quotients ... ok [INFO] [stdout] test goals::numbers::tests::mulo_fails_for_wrong_multiplication ... ok [INFO] [stdout] test goals::numbers::tests::mulo_succeeds_for_correct_multiplication ... ok [INFO] [stdout] test goals::numbers::tests::mulo_computes_product_of_two_values ... ok [INFO] [stdout] test goals::numbers::tests::mulo_generates_constrained_pairs_of_numbers ... ok [INFO] [stdout] test goals::numbers::tests::numbero_fails_for_non_numeric_values ... ok [INFO] [stdout] test goals::numbers::tests::mulo_generates_all_number_pairs_that_multiply_to_a_value ... ok [INFO] [stdout] test goals::numbers::tests::numbero_generates_numbers ... ok [INFO] [stdout] test goals::numbers::tests::mulo_succeeds_for_trivial_cases ... ok [INFO] [stdout] test goals::numbers::tests::zero_fails_for_nonzero_numbers ... ok [INFO] [stdout] test goals::numbers::tests::numbero_succeeds_for_arbitrary_numbers ... ok [INFO] [stdout] test goals::numbers::tests::zero_succeeds_for_zero_valued_number ... ok [INFO] [stdout] test goals::numbers::tests::mulo_computes_quotients ... ok [INFO] [stdout] test macros::tests::each_successful_matching_line_contributes_a_value ... ok [INFO] [stdout] test macros::tests::matching_deconstructs_lists ... ok [INFO] [stdout] test macros::tests::matching_a_constant_binds_value ... ok [INFO] [stdout] test macros::tests::matching_anything_succeeds_always ... ok [INFO] [stdout] test macros::tests::matche_can_escape_outside_vars ... ok [INFO] [stdout] test macros::tests::matche_matches_values ... ok [INFO] [stdout] test macros::tests::matching_deconstructs_lists_and_binds_fresh_vars ... ok [INFO] [stdout] test tests::it_works ... ok [INFO] [stdout] test macros::tests::matching_fails_if_any_further_goals_fail ... ok [INFO] [stdout] test goals::numbers::tests::mulo_combinations ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 82 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s [INFO] [stdout] [INFO] [stderr] Doc-tests mini_kanren [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" "473ed49f479b6fdf1aacd2910830aeadb800b00c38262724269348cc93992bab", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "473ed49f479b6fdf1aacd2910830aeadb800b00c38262724269348cc93992bab", kill_on_drop: false }` [INFO] [stdout] 473ed49f479b6fdf1aacd2910830aeadb800b00c38262724269348cc93992bab