[INFO] fetching crate tupa-typecheck 0.8.1... [INFO] testing tupa-typecheck-0.8.1 against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210-2 [INFO] extracting crate tupa-typecheck 0.8.1 into /workspace/builds/worker-3-tc2/source [INFO] started tweaking crates.io crate tupa-typecheck 0.8.1 [INFO] finished tweaking crates.io crate tupa-typecheck 0.8.1 [INFO] tweaked toml for crates.io crate tupa-typecheck 0.8.1 written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate tupa-typecheck 0.8.1 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 crates.io crate tupa-typecheck 0.8.1 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] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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] 78cc6bd8f22a2069327cb4207a47b23e966179502f94af9fb78aecf25cb10c4b [INFO] running `Command { std: "docker" "start" "-a" "78cc6bd8f22a2069327cb4207a47b23e966179502f94af9fb78aecf25cb10c4b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "78cc6bd8f22a2069327cb4207a47b23e966179502f94af9fb78aecf25cb10c4b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "78cc6bd8f22a2069327cb4207a47b23e966179502f94af9fb78aecf25cb10c4b", kill_on_drop: false }` [INFO] [stdout] 78cc6bd8f22a2069327cb4207a47b23e966179502f94af9fb78aecf25cb10c4b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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] 66ba83bc973ec719c7c2c8fdd0539401782aac3d111255552dedb5703b029d79 [INFO] running `Command { std: "docker" "start" "-a" "66ba83bc973ec719c7c2c8fdd0539401782aac3d111255552dedb5703b029d79", kill_on_drop: false }` [INFO] [stderr] Compiling minimal-lexical v0.2.1 [INFO] [stderr] Compiling tupa-effects v0.8.1 [INFO] [stderr] Compiling proc-macro2 v1.0.106 [INFO] [stderr] Compiling tinyvec v1.10.0 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Compiling unicode-normalization v0.1.25 [INFO] [stderr] Compiling quote v1.0.44 [INFO] [stderr] Compiling syn v2.0.114 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling tupa-lexer v0.8.1 [INFO] [stderr] Compiling tupa-parser v0.8.1 [INFO] [stderr] Compiling tupa-typecheck v0.8.1 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 11.45s [INFO] running `Command { std: "docker" "inspect" "66ba83bc973ec719c7c2c8fdd0539401782aac3d111255552dedb5703b029d79", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "66ba83bc973ec719c7c2c8fdd0539401782aac3d111255552dedb5703b029d79", kill_on_drop: false }` [INFO] [stdout] 66ba83bc973ec719c7c2c8fdd0539401782aac3d111255552dedb5703b029d79 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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] 64673d54962661d388f83d1c2d2cb5d2be25e2eb7b052a0c235722d948bb2656 [INFO] running `Command { std: "docker" "start" "-a" "64673d54962661d388f83d1c2d2cb5d2be25e2eb7b052a0c235722d948bb2656", kill_on_drop: false }` [INFO] [stderr] Compiling tupa-typecheck v0.8.1 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 1.82s [INFO] running `Command { std: "docker" "inspect" "64673d54962661d388f83d1c2d2cb5d2be25e2eb7b052a0c235722d948bb2656", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "64673d54962661d388f83d1c2d2cb5d2be25e2eb7b052a0c235722d948bb2656", kill_on_drop: false }` [INFO] [stdout] 64673d54962661d388f83d1c2d2cb5d2be25e2eb7b052a0c235722d948bb2656 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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] 8d7763d4fc34701763125681f05695bd3d607f46e56f45cb7bbfa9f922bfbc98 [INFO] running `Command { std: "docker" "start" "-a" "8d7763d4fc34701763125681f05695bd3d607f46e56f45cb7bbfa9f922bfbc98", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/tupa_typecheck-bb33e6e3ecfbf001) [INFO] [stdout] [INFO] [stdout] running 83 tests [INFO] [stdout] test tests::enum_generic_type_arity_is_validated ... ok [INFO] [stdout] test tests::enum_constructor_infers_constraints ... ok [INFO] [stdout] test tests::constructor_pattern_tuple_destructuring ... ok [INFO] [stdout] test tests::enum_match_non_exhaustive_is_error ... ok [INFO] [stdout] test tests::enum_variant_safe_constructor_from_safe_var_ok ... ok [INFO] [stdout] test tests::enum_generic_type_is_valid ... ok [INFO] [stdout] test tests::enum_variant_safe_match_propagates ... ok [INFO] [stdout] test tests::enum_variant_safe_multiple_constraints_error ... ok [INFO] [stdout] test tests::enum_variant_safe_generic_string_ok ... ok [INFO] [stdout] test tests::deterministic_pipeline_allows_hash_builtin ... ok [INFO] [stdout] test tests::enum_generic_safe_type_is_validated ... ok [INFO] [stdout] test tests::enum_variant_safe_mismatched_constraint_is_error ... ok [INFO] [stdout] test tests::deterministic_pipeline_rejects_external_effects ... ok [INFO] [stdout] test tests::enum_variant_constraints_missing_is_error ... ok [INFO] [stdout] test tests::enum_constructor_preserves_generic_constraints ... ok [INFO] [stdout] test tests::enum_variant_safe_string_constructor_unproven_is_error ... ok [INFO] [stdout] test tests::enum_variant_safe_nested_ok ... ok [INFO] [stdout] test tests::enum_variant_safe_string_constructor_from_param_ok ... ok [INFO] [stdout] test tests::enum_variant_safe_string_match_propagates ... ok [INFO] [stdout] test tests::safe_constraint_invalid_base ... ok [INFO] [stdout] test tests::safe_constraint_const_expr_ok ... ok [INFO] [stdout] test tests::missing_return_on_some_paths ... ok [INFO] [stdout] test tests::no_warn_on_var_used_in_lambda ... ok [INFO] [stdout] test tests::match_guard_can_use_binding ... ok [INFO] [stdout] test tests::enum_variant_safe_tuple_ok ... ok [INFO] [stdout] test tests::safe_constraint_const_expr_inf_is_error ... ok [INFO] [stdout] test tests::enum_variant_constraints_propagate_in_match ... ok [INFO] [stdout] test tests::return_inside_match_all_arms ... ok [INFO] [stdout] test tests::no_warn_on_var_used_in_loop ... ok [INFO] [stdout] test tests::enum_variant_safe_multiple_constraints_ok ... ok [INFO] [stdout] test tests::deterministic_pipeline_rejects_now_builtin ... ok [INFO] [stdout] test tests::enum_variant_safe_constructor_unproven_is_error ... ok [INFO] [stdout] test tests::safe_constraint_invalid_param_base ... ok [INFO] [stdout] test tests::safe_constraint_propagates_from_safe_function ... ok [INFO] [stdout] test tests::safe_string_constraint_propagates_from_param ... ok [INFO] [stdout] test tests::typecheck_await_expr ... ok [INFO] [stdout] test tests::safe_constraint_propagates_from_safe_var ... ok [INFO] [stdout] test tests::typecheck_cooldown_builtin_assignment ... ok [INFO] [stdout] test tests::typecheck_confirm_builtin_wrong_arg_type ... ok [INFO] [stdout] test tests::safe_constraint_unproven ... ok [INFO] [stdout] test tests::typecheck_confirm_builtin_assignment ... ok [INFO] [stdout] test tests::safe_constraint_invalid_return_base ... ok [INFO] [stdout] test tests::safe_constraint_propagates_through_match ... ok [INFO] [stdout] test tests::safe_constraint_negative_literal ... ok [INFO] [stdout] test tests::safe_string_constraint_unproven ... ok [INFO] [stdout] test tests::typecheck_array_literal_types ... ok [INFO] [stdout] test tests::typecheck_function_values ... ok [INFO] [stdout] test tests::typecheck_cooldown_builtin_wrong_arity ... ok [INFO] [stdout] test tests::typecheck_lambda_param_inference_from_call ... ok [INFO] [stdout] test tests::typecheck_assign_index_types ... ok [INFO] [stdout] test tests::typecheck_fail_builtin_wrong_arg_type ... ok [INFO] [stdout] test tests::typecheck_confirm_builtin_field_access ... ok [INFO] [stdout] test tests::typecheck_index_types ... ok [INFO] [stdout] test tests::typecheck_match_arm_types ... ok [INFO] [stdout] test tests::typecheck_match_bool_exhaustive ... ok [INFO] [stdout] test tests::safe_constraint_unknown_is_invalid ... ok [INFO] [stdout] test tests::typecheck_field_access ... ok [INFO] [stdout] test tests::typecheck_function_calls ... ok [INFO] [stdout] test tests::typecheck_match_guard_not_exhaustive ... ok [INFO] [stdout] test tests::typecheck_match_pattern_type_mismatch ... ok [INFO] [stdout] test tests::typecheck_mismatch_is_error ... ok [INFO] [stdout] test tests::typecheck_pass_builtin_wrong_arity ... ok [INFO] [stdout] test tests::typecheck_match_guard_bool ... ok [INFO] [stdout] test tests::typecheck_range_in_for_loop ... ok [INFO] [stdout] test tests::typecheck_record_field_access ... ok [INFO] [stdout] test tests::typecheck_record_literal_assignment ... ok [INFO] [stdout] test tests::typecheck_score_builtin_wrong_arity ... ok [INFO] [stdout] test tests::typecheck_return_mismatch ... ok [INFO] [stdout] test tests::typecheck_record_literal_type_mismatch ... ok [INFO] [stdout] test tests::typecheck_safe_annotation ... ok [INFO] [stdout] test tests::typecheck_score_builtin_assignment ... ok [INFO] [stdout] test tests::typecheck_simple_let ... ok [INFO] [stdout] test tests::typecheck_unknown_record_field_is_error ... ok [INFO] [stdout] test tests::typecheck_warn_builtin_assignment ... ok [INFO] [stdout] test tests::warns_on_unused_vars ... ok [INFO] [stdout] test tests::typecheck_tuple_pattern_mismatch ... ok [INFO] [stdout] test tests::typecheck_tuple_pattern_ok ... ok [INFO] [stdout] test tests::typecheck_weighted_builtin_assignment ... ok [INFO] [stdout] test tests::typecheck_match_bool_non_exhaustive ... ok [INFO] [stdout] test tests::typecheck_weighted_builtin_field_access ... ok [INFO] [stdout] test tests::typecheck_weighted_builtin_wrong_arg_type ... ok [INFO] [stdout] test tests::typecheck_while_condition_bool ... ok [INFO] [stdout] test tests::typecheck_pass_builtin_assignment ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 83 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.29s [INFO] [stdout] [INFO] [stderr] Doc-tests tupa_typecheck [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" "8d7763d4fc34701763125681f05695bd3d607f46e56f45cb7bbfa9f922bfbc98", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8d7763d4fc34701763125681f05695bd3d607f46e56f45cb7bbfa9f922bfbc98", kill_on_drop: false }` [INFO] [stdout] 8d7763d4fc34701763125681f05695bd3d607f46e56f45cb7bbfa9f922bfbc98