[INFO] fetching crate sage-checker 2.1.0...
[INFO] testing sage-checker-2.1.0 against 1.95.0 for beta-1.96-2
[INFO] extracting crate sage-checker 2.1.0 into /workspace/builds/worker-7-tc1/source
[INFO] started tweaking crates.io crate sage-checker 2.1.0
[INFO] finished tweaking crates.io crate sage-checker 2.1.0
[INFO] tweaked toml for crates.io crate sage-checker 2.1.0 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate sage-checker 2.1.0 on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate sage-checker 2.1.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" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded sage-package v2.1.0
[INFO] [stderr]   Downloaded sage-parser v2.1.0
[INFO] [stderr]   Downloaded logos-derive v0.14.4
[INFO] [stderr]   Downloaded sage-loader v2.1.0
[INFO] [stderr]   Downloaded logos-codegen v0.14.4
[INFO] [stderr]   Downloaded git2 v0.19.0
[INFO] [stderr]   Downloaded libz-sys v1.1.25
[INFO] [stderr]   Downloaded libssh2-sys v0.3.1
[INFO] [stderr]   Downloaded logos v0.14.4
[INFO] [stderr]   Downloaded libgit2-sys v0.17.0+1.8.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0ab99faddea67c0c3333adde96e6b4d98d787992eea04ee370fc843e4d7abba0
[INFO] running `Command { std: "docker" "start" "-a" "0ab99faddea67c0c3333adde96e6b4d98d787992eea04ee370fc843e4d7abba0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0ab99faddea67c0c3333adde96e6b4d98d787992eea04ee370fc843e4d7abba0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0ab99faddea67c0c3333adde96e6b4d98d787992eea04ee370fc843e4d7abba0", kill_on_drop: false }`
[INFO] [stdout] 0ab99faddea67c0c3333adde96e6b4d98d787992eea04ee370fc843e4d7abba0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 47f7875a204c3bf92220b31f3d4c8a3096bde17b591fc96866e1e67252493bdb
[INFO] running `Command { std: "docker" "start" "-a" "47f7875a204c3bf92220b31f3d4c8a3096bde17b591fc96866e1e67252493bdb", kill_on_drop: false }`
[INFO] [stderr]    Compiling litemap v0.8.1
[INFO] [stderr]    Compiling writeable v0.6.2
[INFO] [stderr]    Compiling object v0.37.3
[INFO] [stderr]    Compiling icu_normalizer_data v2.1.1
[INFO] [stderr]    Compiling icu_properties_data v2.1.2
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling memchr v2.8.0
[INFO] [stderr]    Compiling zerocopy v0.8.42
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling gimli v0.32.3
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling adler2 v2.0.1
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling cc v1.2.56
[INFO] [stderr]    Compiling owo-colors v4.3.0
[INFO] [stderr]    Compiling miniz_oxide v0.8.9
[INFO] [stderr]    Compiling rustc-demangle v0.1.27
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling beef v0.5.2
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling is_ci v1.2.0
[INFO] [stderr]    Compiling unicode-width v0.2.2
[INFO] [stderr]    Compiling percent-encoding v2.3.2
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling unicode-linebreak v0.1.5
[INFO] [stderr]    Compiling form_urlencoded v1.2.2
[INFO] [stderr]    Compiling supports-color v3.0.2
[INFO] [stderr]    Compiling supports-unicode v3.0.0
[INFO] [stderr]    Compiling supports-hyperlinks v3.2.0
[INFO] [stderr]    Compiling option-ext v0.2.0
[INFO] [stderr]    Compiling dirs-sys v0.4.1
[INFO] [stderr]    Compiling openssl-probe v0.1.6
[INFO] [stderr]    Compiling textwrap v0.16.2
[INFO] [stderr]    Compiling dirs v5.0.1
[INFO] [stderr]    Compiling terminal_size v0.4.3
[INFO] [stderr]    Compiling openssl-sys v0.9.111
[INFO] [stderr]    Compiling libz-sys v1.1.25
[INFO] [stderr]    Compiling libssh2-sys v0.3.1
[INFO] [stderr]    Compiling libgit2-sys v0.17.0+1.8.1
[INFO] [stderr]    Compiling stacker v0.1.23
[INFO] [stderr]    Compiling addr2line v0.25.1
[INFO] [stderr]    Compiling ar_archive_writer v0.5.1
[INFO] [stderr]    Compiling psm v0.1.30
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling backtrace v0.3.76
[INFO] [stderr]    Compiling logos-codegen v0.14.4
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.8.1
[INFO] [stderr]    Compiling zerovec-derive v0.11.2
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling backtrace-ext v0.2.1
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling miette-derive v7.6.0
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling logos-derive v0.14.4
[INFO] [stderr]    Compiling miette v7.6.0
[INFO] [stderr]    Compiling logos v0.14.4
[INFO] [stderr]    Compiling zerofrom v0.1.6
[INFO] [stderr]    Compiling yoke v0.8.1
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling chumsky v0.9.3
[INFO] [stderr]    Compiling zerovec v0.11.5
[INFO] [stderr]    Compiling zerotrie v0.2.3
[INFO] [stderr]    Compiling tinystr v0.8.2
[INFO] [stderr]    Compiling potential_utf v0.1.4
[INFO] [stderr]    Compiling icu_collections v2.1.1
[INFO] [stderr]    Compiling icu_locale_core v2.1.1
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling icu_provider v2.1.1
[INFO] [stderr]    Compiling sage-parser v2.1.0
[INFO] [stderr]    Compiling icu_properties v2.1.2
[INFO] [stderr]    Compiling icu_normalizer v2.1.1
[INFO] [stderr]    Compiling serde_spanned v0.6.9
[INFO] [stderr]    Compiling toml_datetime v0.6.11
[INFO] [stderr]    Compiling toml_edit v0.22.27
[INFO] [stderr]    Compiling idna_adapter v1.2.1
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling git2 v0.19.0
[INFO] [stderr]    Compiling toml v0.8.23
[INFO] [stderr]    Compiling sage-package v2.1.0
[INFO] [stderr]    Compiling sage-loader v2.1.0
[INFO] [stderr]    Compiling sage-checker v2.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 18s
[INFO] running `Command { std: "docker" "inspect" "47f7875a204c3bf92220b31f3d4c8a3096bde17b591fc96866e1e67252493bdb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "47f7875a204c3bf92220b31f3d4c8a3096bde17b591fc96866e1e67252493bdb", kill_on_drop: false }`
[INFO] [stdout] 47f7875a204c3bf92220b31f3d4c8a3096bde17b591fc96866e1e67252493bdb
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 012a0bf140344e137b62df778d6d1dfccaedb90b4d21f175ebc5a51bd32b12c9
[INFO] running `Command { std: "docker" "start" "-a" "012a0bf140344e137b62df778d6d1dfccaedb90b4d21f175ebc5a51bd32b12c9", kill_on_drop: false }`
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling chumsky v0.9.3
[INFO] [stderr]    Compiling terminal_size v0.4.3
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling miette v7.6.0
[INFO] [stderr]    Compiling sage-package v2.1.0
[INFO] [stderr]    Compiling sage-parser v2.1.0
[INFO] [stderr]    Compiling sage-loader v2.1.0
[INFO] [stderr]    Compiling sage-checker v2.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 25.28s
[INFO] running `Command { std: "docker" "inspect" "012a0bf140344e137b62df778d6d1dfccaedb90b4d21f175ebc5a51bd32b12c9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "012a0bf140344e137b62df778d6d1dfccaedb90b4d21f175ebc5a51bd32b12c9", kill_on_drop: false }`
[INFO] [stdout] 012a0bf140344e137b62df778d6d1dfccaedb90b4d21f175ebc5a51bd32b12c9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 5cd68ec0563b858f73c4b8a58f7e86d75d015f2efa3a29aa0fcb4ba72480a200
[INFO] running `Command { std: "docker" "start" "-a" "5cd68ec0563b858f73c4b8a58f7e86d75d015f2efa3a29aa0fcb4ba72480a200", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.19s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/sage_checker-ae8e4a4398486da8)
[INFO] [stdout] 
[INFO] [stdout] running 110 tests
[INFO] [stdout] test scope::tests::resolve_type_fn ... ok
[INFO] [stdout] test scope::tests::resolve_type_primitives ... ok
[INFO] [stdout] test scope::tests::symbol_table_has_builtins ... ok
[INFO] [stdout] test scope::tests::resolve_type_compound ... ok
[INFO] [stdout] test scope::tests::scope_define_and_get ... ok
[INFO] [stdout] test tests::check_closure_param_needs_type ... ok
[INFO] [stdout] test tests::check_closure_body_type_error ... ok
[INFO] [stdout] test tests::check_agent_follows_valid_protocol ... ok
[INFO] [stdout] test tests::check_checkpoint_inside_agent_ok ... ok
[INFO] [stdout] test tests::check_checkpoint_outside_agent ... ok
[INFO] [stdout] test tests::check_break_outside_loop ... ok
[INFO] [stdout] test tests::check_agent_follows_invalid_role ... ok
[INFO] [stdout] test tests::check_agent_follows_unknown_protocol ... ok
[INFO] [stdout] test tests::check_builtin_print ... ok
[INFO] [stdout] test tests::check_e013_fallible_function_unhandled ... ok
[INFO] [stdout] test tests::check_closure_with_typed_params ... ok
[INFO] [stdout] test tests::check_effect_handler_declaration ... ok
[INFO] [stdout] test tests::check_e013_handled_with_try ... ok
[INFO] [stdout] test tests::check_const_declaration ... ok
[INFO] [stdout] test tests::check_e013_handled_with_catch ... ok
[INFO] [stdout] test tests::check_const_used_as_variable ... ok
[INFO] [stdout] test tests::check_entry_agent_with_beliefs ... ok
[INFO] [stdout] test tests::check_duplicate_test_name ... ok
[INFO] [stdout] test tests::check_generic_enum_variant ... ok
[INFO] [stdout] test tests::check_field_access_on_non_record ... ok
[INFO] [stdout] test tests::check_e013_unhandled_divine ... ok
[INFO] [stdout] test tests::check_function_call ... ok
[INFO] [stdout] test tests::check_generic_record_field_type_mismatch ... ok
[INFO] [stdout] test tests::check_const_type_mismatch ... ok
[INFO] [stdout] test tests::check_generic_record_pair ... ok
[INFO] [stdout] test tests::check_e013_fallible_function_handled ... ok
[INFO] [stdout] test tests::check_generic_nested_types ... ok
[INFO] [stdout] test tests::check_e013_unhandled_await ... ok
[INFO] [stdout] test tests::check_empty_closure ... ok
[INFO] [stdout] test tests::check_generic_list_param ... ok
[INFO] [stdout] test tests::check_for_loop ... ok
[INFO] [stdout] test tests::check_divine_returns_oracle_type ... ok
[INFO] [stdout] test tests::check_generic_inference_from_args ... ok
[INFO] [stdout] test tests::check_generic_function_identity ... ok
[INFO] [stdout] test tests::check_let_with_type_annotation ... ok
[INFO] [stdout] test tests::check_generic_wrong_type_args_count ... ok
[INFO] [stdout] test tests::check_mock_fail_not_string ... ok
[INFO] [stdout] test tests::check_if_non_bool_condition ... ok
[INFO] [stdout] test tests::check_mock_divine_outside_test ... ok
[INFO] [stdout] test tests::check_generic_type_mismatch ... ok
[INFO] [stdout] test tests::check_match_bool_non_exhaustive ... ok
[INFO] [stdout] test tests::check_match_int_needs_wildcard ... ok
[INFO] [stdout] test tests::check_match_binding_pattern ... ok
[INFO] [stdout] test tests::check_minimal_valid_program ... ok
[INFO] [stdout] test tests::check_match_with_wildcard ... ok
[INFO] [stdout] test tests::check_mock_tool_outside_test ... ok
[INFO] [stdout] test tests::check_match_bool_exhaustive ... ok
[INFO] [stdout] test tests::check_loop_break ... ok
[INFO] [stdout] test tests::check_non_generic_function_with_type_args ... ok
[INFO] [stdout] test tests::check_protocol_declaration ... ok
[INFO] [stdout] test tests::check_match_exhaustive_enum ... ok
[INFO] [stdout] test tests::check_persistent_field_not_serializable ... ok
[INFO] [stdout] test tests::check_persistent_field_serializable_ok ... ok
[INFO] [stdout] test tests::check_module_tree_simple ... ok
[INFO] [stdout] test tests::check_missing_belief_init ... ok
[INFO] [stdout] test tests::check_protocol_missing_reply ... ok
[INFO] [stdout] test tests::check_match_non_exhaustive_enum ... ok
[INFO] [stdout] test tests::check_protocol_reply_outside_handler ... ok
[INFO] [stdout] test tests::check_protocol_valid_send ... ok
[INFO] [stdout] test tests::check_protocol_wrong_message_type ... ok
[INFO] [stdout] test tests::check_record_field_type_mismatch ... ok
[INFO] [stdout] test tests::check_record_field_access ... ok
[INFO] [stdout] test tests::check_protocol_agent_without_protocol_can_send ... ok
[INFO] [stdout] test tests::check_reply_in_message_handler ... ok
[INFO] [stdout] test tests::check_receive_with_receives ... ok
[INFO] [stdout] test tests::check_receive_without_receives ... ok
[INFO] [stdout] test tests::check_record_missing_field ... ok
[INFO] [stdout] test tests::check_record_construction ... ok
[INFO] [stdout] test tests::check_reply_outside_message_handler ... ok
[INFO] [stdout] test tests::check_record_unknown_field ... ok
[INFO] [stdout] test tests::check_string_concat ... ok
[INFO] [stdout] test tests::check_self_outside_agent ... ok
[INFO] [stdout] test tests::check_string_interpolation ... ok
[INFO] [stdout] test tests::check_protocol_no_shared_protocol ... ok
[INFO] [stdout] test tests::check_string_interpolation_undefined_var ... ok
[INFO] [stdout] test tests::check_supervisor_child_not_found ... ok
[INFO] [stdout] test tests::check_supervisor_child_missing_belief ... ok
[INFO] [stdout] test tests::check_undefined_variable ... ok
[INFO] [stdout] test tests::check_supervisor_with_unknown_handler ... ok
[INFO] [stdout] test tests::check_type_mismatch_in_let ... ok
[INFO] [stdout] test tests::check_supervisor_valid ... ok
[INFO] [stdout] test tests::check_unknown_protocol ... ok
[INFO] [stdout] test tests::check_str_builtin ... ok
[INFO] [stdout] test tests::check_supervisor_with_valid_handler_assignment ... ok
[INFO] [stdout] test tests::check_undefined_record_type ... ok
[INFO] [stdout] test tests::check_unknown_effect_handler ... ok
[INFO] [stdout] test tests::check_type_mismatch_in_binary_op ... ok
[INFO] [stdout] test tests::check_spawn_with_beliefs ... ok
[INFO] [stdout] test tests::check_unknown_protocol_role ... ok
[INFO] [stdout] test tests::check_waking_without_persistent_fields ... ok
[INFO] [stdout] test tests::check_unused_belief_warning ... ok
[INFO] [stdout] test tests::check_turbofish_type_substitution ... ok
[INFO] [stdout] test types::tests::fn_type_compatibility ... ok
[INFO] [stdout] test types::tests::type_is_numeric ... ok
[INFO] [stdout] test types::tests::fn_type_accessors ... ok
[INFO] [stdout] test types::tests::type_display ... ok
[INFO] [stdout] test types::tests::type_serializability ... ok
[INFO] [stdout] test types::tests::type_unwrap_oracle ... ok
[INFO] [stdout] test types::tests::fn_type_display ... ok
[INFO] [stdout] test types::tests::type_compatibility ... ok
[INFO] [stdout] test tests::check_while_loop ... ok
[INFO] [stdout] test tests::check_used_belief_no_warning ... ok
[INFO] [stdout] test tests::check_wrong_arg_count ... ok
[INFO] [stdout] test tests::check_waking_with_persistent_fields_ok ... ok
[INFO] [stdout] test tests::check_while_non_bool_condition ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 110 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.24s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests sage_checker
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test src/lib.rs - (line 10) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.94s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "5cd68ec0563b858f73c4b8a58f7e86d75d015f2efa3a29aa0fcb4ba72480a200", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5cd68ec0563b858f73c4b8a58f7e86d75d015f2efa3a29aa0fcb4ba72480a200", kill_on_drop: false }`
[INFO] [stdout] 5cd68ec0563b858f73c4b8a58f7e86d75d015f2efa3a29aa0fcb4ba72480a200
