[INFO] fetching crate cedar-policy-validator 3.2.0...
[INFO] testing cedar-policy-validator-3.2.0 against master#1871252fc8bb672d40787e67404e6eaae7059369 for pr-125151
[INFO] extracting crate cedar-policy-validator 3.2.0 into /workspace/builds/worker-7-tc1/source
[INFO] validating manifest of crates.io crate cedar-policy-validator 3.2.0 on toolchain 1871252fc8bb672d40787e67404e6eaae7059369
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate cedar-policy-validator 3.2.0
[INFO] finished tweaking crates.io crate cedar-policy-validator 3.2.0
[INFO] tweaked toml for crates.io crate cedar-policy-validator 3.2.0 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]      Locking 135 packages to latest compatible versions
[INFO] [stderr]       Adding fixedbitset v0.4.2 (latest: v0.5.7)
[INFO] [stderr]       Adding gloo-utils v0.1.7 (latest: v0.2.0)
[INFO] [stderr]       Adding hashbrown v0.12.3 (latest: v0.14.5)
[INFO] [stderr]       Adding indexmap v1.9.3 (latest: v2.2.6)
[INFO] [stderr]       Adding itertools v0.11.0 (latest: v0.13.0)
[INFO] [stderr]       Adding itertools v0.12.1 (latest: v0.13.0)
[INFO] [stderr]       Adding phf_shared v0.10.0 (latest: v0.11.2)
[INFO] [stderr]       Adding serde_derive_internals v0.28.0 (latest: v0.29.1)
[INFO] [stderr]       Adding siphasher v0.3.11 (latest: v1.0.1)
[INFO] [stderr]       Adding wasi v0.11.0+wasi-snapshot-preview1 (latest: v0.13.1+wasi-0.2.0)
[INFO] [stderr]       Adding windows-core v0.52.0 (latest: v0.56.0)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded unicode-security v0.1.1
[INFO] [stderr]   Downloaded unicode-script v0.5.6
[INFO] [stderr]   Downloaded cedar-policy-core v3.2.0
[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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 2c4e0b4ae7201e13e24e1ff2086a80e8ae1f4e6892a69966d1947368c3253dd4
[INFO] running `Command { std: "docker" "start" "-a" "2c4e0b4ae7201e13e24e1ff2086a80e8ae1f4e6892a69966d1947368c3253dd4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2c4e0b4ae7201e13e24e1ff2086a80e8ae1f4e6892a69966d1947368c3253dd4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2c4e0b4ae7201e13e24e1ff2086a80e8ae1f4e6892a69966d1947368c3253dd4", kill_on_drop: false }`
[INFO] [stdout] 2c4e0b4ae7201e13e24e1ff2086a80e8ae1f4e6892a69966d1947368c3253dd4
[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=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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 41e71fe2122d5645a4e9f3b30e8565572064cc05ac389fa67303e9b57a48cb0d
[INFO] running `Command { std: "docker" "start" "-a" "41e71fe2122d5645a4e9f3b30e8565572064cc05ac389fa67303e9b57a48cb0d", kill_on_drop: false }`
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling smallvec v1.13.2
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]    Compiling regex-syntax v0.8.3
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling siphasher v0.3.11
[INFO] [stderr]    Compiling parking_lot_core v0.9.10
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling serde v1.0.202
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling lock_api v0.4.12
[INFO] [stderr]    Compiling once_cell v1.19.0
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling syn v2.0.66
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling either v1.12.0
[INFO] [stderr]    Compiling ena v0.14.3
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling ident_case v1.0.1
[INFO] [stderr]    Compiling phf_shared v0.10.0
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]    Compiling unicode-xid v0.2.4
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling psm v0.1.21
[INFO] [stderr]    Compiling serde_json v1.0.117
[INFO] [stderr]    Compiling regex-automata v0.4.6
[INFO] [stderr]    Compiling stacker v0.1.15
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling tinyvec_macros v0.1.1
[INFO] [stderr]    Compiling tinyvec v1.6.0
[INFO] [stderr]    Compiling unicode-script v0.5.6
[INFO] [stderr]    Compiling rustc_lexer v0.1.0
[INFO] [stderr]    Compiling parking_lot v0.12.3
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]    Compiling itertools v0.12.1
[INFO] [stderr]    Compiling nonempty v0.10.0
[INFO] [stderr]    Compiling string_cache v0.8.7
[INFO] [stderr]    Compiling unicode-normalization v0.1.23
[INFO] [stderr]    Compiling unicode-security v0.1.1
[INFO] [stderr]    Compiling lalrpop-util v0.20.2
[INFO] [stderr]    Compiling regex v1.10.4
[INFO] [stderr]    Compiling darling_core v0.20.9
[INFO] [stderr]    Compiling serde_derive v1.0.202
[INFO] [stderr]    Compiling thiserror-impl v1.0.61
[INFO] [stderr]    Compiling miette-derive v7.2.0
[INFO] [stderr]    Compiling lalrpop v0.20.2
[INFO] [stderr]    Compiling thiserror v1.0.61
[INFO] [stderr]    Compiling darling_macro v0.20.9
[INFO] [stderr]    Compiling darling v0.20.9
[INFO] [stderr]    Compiling serde_with_macros v3.8.1
[INFO] [stderr]    Compiling miette v7.2.0
[INFO] [stderr]    Compiling smol_str v0.2.2
[INFO] [stderr]    Compiling serde_with v3.8.1
[INFO] [stderr]    Compiling cedar-policy-core v3.2.0
[INFO] [stderr]    Compiling cedar-policy-validator v3.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 33.54s
[INFO] running `Command { std: "docker" "inspect" "41e71fe2122d5645a4e9f3b30e8565572064cc05ac389fa67303e9b57a48cb0d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "41e71fe2122d5645a4e9f3b30e8565572064cc05ac389fa67303e9b57a48cb0d", kill_on_drop: false }`
[INFO] [stdout] 41e71fe2122d5645a4e9f3b30e8565572064cc05ac389fa67303e9b57a48cb0d
[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=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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7b15ee79f7c2b84c83c6520831048c9289219d5bdc7f548421d1061b8ff46b0f
[INFO] running `Command { std: "docker" "start" "-a" "7b15ee79f7c2b84c83c6520831048c9289219d5bdc7f548421d1061b8ff46b0f", kill_on_drop: false }`
[INFO] [stderr]    Compiling indent_write v2.2.0
[INFO] [stderr]    Compiling cedar-policy-core v3.2.0
[INFO] [stderr]    Compiling cool_asserts v2.0.3
[INFO] [stderr]    Compiling cedar-policy-validator v3.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 27.52s
[INFO] running `Command { std: "docker" "inspect" "7b15ee79f7c2b84c83c6520831048c9289219d5bdc7f548421d1061b8ff46b0f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7b15ee79f7c2b84c83c6520831048c9289219d5bdc7f548421d1061b8ff46b0f", kill_on_drop: false }`
[INFO] [stdout] 7b15ee79f7c2b84c83c6520831048c9289219d5bdc7f548421d1061b8ff46b0f
[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=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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] ea5c293d237bf72c5dafb2576a82f27a38e23f2216be3eb1a3c53573eaedfac8
[INFO] running `Command { std: "docker" "start" "-a" "ea5c293d237bf72c5dafb2576a82f27a38e23f2216be3eb1a3c53573eaedfac8", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/cedar_policy_validator-7af71c2650bb57c1)
[INFO] [stdout] 
[INFO] [stdout] running 473 tests
[INFO] [stdout] test coreschema::test::principal_unspecified ... ok
[INFO] [stdout] test coreschema::test::action_unspecified ... ok
[INFO] [stdout] test coreschema::test::principal_type_not_declared_action_unspecified ... ok
[INFO] [stdout] test coreschema::test::resource_type_not_declared ... ok
[INFO] [stdout] test coreschema::test::principal_type_invalid ... ok
[INFO] [stdout] test coreschema::test::context_missing_attribute ... ok
[INFO] [stdout] test coreschema::test::resource_type_invalid ... ok
[INFO] [stdout] test coreschema::test::principal_type_not_declared ... ok
[INFO] [stdout] test coreschema::test::action_not_declared ... ok
[INFO] [stdout] test coreschema::test::context_extra_attribute ... ok
[INFO] [stdout] test coreschema::test::resource_type_not_declared_action_unspecified ... ok
[INFO] [stdout] test coreschema::test::context_attribute_wrong_type ... ok
[INFO] [stdout] test coreschema::test::context_attribute_heterogeneous_set ... ok
[INFO] [stdout] test expr_iterator::tests::entity_get_attr ... ok
[INFO] [stdout] test expr_iterator::tests::entity_and ... ok
[INFO] [stdout] test expr_iterator::tests::entity_in ... ok
[INFO] [stdout] test expr_iterator::tests::entity_eq ... ok
[INFO] [stdout] test expr_iterator::tests::entity_literal ... ok
[INFO] [stdout] test expr_iterator::tests::entity_if ... ok
[INFO] [stdout] test expr_iterator::tests::entity_record ... ok
[INFO] [stdout] test expr_iterator::tests::entity_has_attr ... ok
[INFO] [stdout] test expr_iterator::tests::entity_full_scope ... ok
[INFO] [stdout] test expr_iterator::tests::entity_in_set ... ok
[INFO] [stdout] test coreschema::test::success_action_unknown ... ok
[INFO] [stdout] test coreschema::test::success_concrete_request_no_context ... ok
[INFO] [stdout] test coreschema::test::resource_unspecified ... ok
[INFO] [stdout] test expr_iterator::tests::no_entities ... ok
[INFO] [stdout] test expr_iterator::tests::entity_record_get_attr ... ok
[INFO] [stdout] test expr_iterator::tests::test_strs_like ... ok
[INFO] [stdout] test coreschema::test::success_everything_unspecified ... ok
[INFO] [stdout] test expr_iterator::tests::test_strs_ext ... ok
[INFO] [stdout] test extensions::decimal::test::extension_schema_correctness ... ok
[INFO] [stdout] test extensions::ipaddr::test::extension_schema_correctness ... ok
[INFO] [stdout] test fuzzy_match::test::test_match1 ... ok
[INFO] [stdout] test fuzzy_match::test::test_match2 ... ok
[INFO] [stdout] test fuzzy_match::test::test_match3 ... ok
[INFO] [stdout] test coreschema::test::success_context_unknown ... ok
[INFO] [stdout] test coreschema::test::success_concrete_request_with_context ... ok
[INFO] [stdout] test coreschema::test::success_unknown_action_but_invalid_types ... ok
[INFO] [stdout] test coreschema::test::success_resource_unknown ... ok
[INFO] [stdout] test fuzzy_match::test::test_match5 ... ok
[INFO] [stdout] test fuzzy_match::test::test_match4 ... ok
[INFO] [stdout] test fuzzy_match::test::test_match6 ... ok
[INFO] [stdout] test fuzzy_match::test::test_match_empty ... ok
[INFO] [stdout] test fuzzy_match::test::test_match7 ... ok
[INFO] [stdout] test extensions::partial_evaluation::test::extension_schema_correctness ... ok
[INFO] [stdout] test human_schema::ast::test::in_unqual ... ok
[INFO] [stdout] test human_schema::ast::test::in_cedar ... ok
[INFO] [stdout] test human_schema::ast::test::is_cedar ... ok
[INFO] [stdout] test human_schema::ast::test::is_cedar2 ... ok
[INFO] [stdout] test human_schema::ast::test::qual ... ok
[INFO] [stdout] test human_schema::ast::test::in_cedar3 ... ok
[INFO] [stdout] test human_schema::ast::test::in_cedar2 ... ok
[INFO] [stdout] test human_schema::ast::test::path_iter ... ok
[INFO] [stdout] test human_schema::test::demo_tests::empty_appliesto ... ok
[INFO] [stdout] test expr_iterator::tests::test_strs ... ok
[INFO] [stdout] test expr_iterator::tests::test_strs_lit ... ok
[INFO] [stdout] test expr_iterator::tests::test_strs_atrs ... ok
[INFO] [stdout] test coreschema::test::success_principal_unknown ... ok
[INFO] [stdout] test human_schema::test::demo_tests::just_context ... ok
[INFO] [stdout] test human_schema::test::demo_tests::duplicate_resource ... ok
[INFO] [stdout] test human_schema::test::demo_tests::duplicate_principal ... ok
[INFO] [stdout] test human_schema::test::demo_tests::both_targets_flipped ... ok
[INFO] [stdout] test human_schema::test::demo_tests::action_eid_invalid_escape ... ok
[INFO] [stdout] test human_schema::test::demo_tests::just_principal ... ok
[INFO] [stdout] test human_schema::test::demo_tests::both_targets ... ok
[INFO] [stdout] test human_schema::test::demo_tests::expected_tokens ... ok
[INFO] [stdout] test human_schema::test::demo_tests::resource_only ... ok
[INFO] [stdout] test human_schema::test::demo_tests::just_resource ... ok
[INFO] [stdout] test human_schema::test::demo_tests::print_actions ... ok
[INFO] [stdout] test human_schema::test::demo_tests::principal_only ... ok
[INFO] [stdout] test human_schema::test::demo_tests::resources_only ... ok
[INFO] [stdout] test human_schema::test::demo_tests::fully_qualified_actions ... ok
[INFO] [stdout] test human_schema::test::demo_tests::no_applies_to ... ok
[INFO] [stdout] test human_schema::test::parser_tests::mixed_decls ... ok
[INFO] [stdout] test human_schema::test::demo_tests::simple_action ... ok
[INFO] [stdout] test human_schema::test::demo_tests::simple_cross ... ok
[INFO] [stdout] test human_schema::test::common_type_references::record ... ok
[INFO] [stdout] test human_schema::test::common_type_references::cycles ... ok
[INFO] [stdout] test human_schema::test::common_type_references::basic ... ok
[INFO] [stdout] test human_schema::test::translator_tests::duplicate_namespace ... ok
[INFO] [stdout] test human_schema::test::common_type_references::set ... ok
[INFO] [stdout] test human_schema::test::translator_tests::duplicate_action_types ... ok
[INFO] [stdout] test human_schema::test::translator_tests::duplicate_entity_types ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_false ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_action ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_bool ... ok
[INFO] [stdout] test human_schema::test::demo_tests::context_is_common_type ... ok
[INFO] [stdout] test human_schema::test::translator_tests::duplicate_common_types ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_if ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_in ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_has ... ok
[INFO] [stdout] test human_schema::test::demo_tests::test_doc_cloud ... ok
[INFO] [stdout] test human_schema::test::demo_tests::test_github ... ok
[INFO] [stdout] test human_schema::test::parser_tests::entity_decl_basic ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_applies_to ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_like ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_context ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_principal ... ok
[INFO] [stdout] test human_schema::test::demo_tests::principals_only ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_set ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_resource ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_long ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_string ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_attributes ... ok
[INFO] [stdout] test human_schema::test::translator_tests::multiple_principal_decls ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_namespace ... ok
[INFO] [stdout] test human_schema::test::demo_tests::tinytodo ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_true ... ok
[INFO] [stdout] test rbac::test::get_possible_actions_eq ... ok
[INFO] [stdout] test human_schema::test::translator_tests::type_name_cross_namespace ... ok
[INFO] [stdout] test rbac::test::get_possible_principals_eq ... ok
[INFO] [stdout] test human_schema::test::parser_tests::action_decl_basic ... ok
[INFO] [stdout] test human_schema::test::translator_tests::multiple_resource_decls ... ok
[INFO] [stdout] test rbac::test::unspecified_entity_in_additional_constraints ... ok
[INFO] [stdout] test human_schema::test::translator_tests::multiple_context_decls ... ok
[INFO] [stdout] test rbac::test::get_possible_actions_in_no_parents ... ok
[INFO] [stdout] test human_schema::test::translator_tests::use_reserved_namespace ... ok
[INFO] [stdout] test rbac::test::unspecified_entity_in_scope ... ok
[INFO] [stdout] test rbac::test::get_possible_actions_in_set_no_parents ... ok
[INFO] [stdout] test rbac::test::undefined_entity_type_in_principal_slot ... ok
[INFO] [stdout] test rbac::test::validate_action_id_empty_schema ... ok
[INFO] [stdout] test human_schema::test::parser_tests::common_type_decl_basic ... ok
[INFO] [stdout] test rbac::test::validate_action_id_in_singleton_schema ... ok
[INFO] [stdout] test human_schema::test::translator_tests::type_name_resolution_empty_namespace ... ok
[INFO] [stdout] test rbac::test::validate_entity_type_empty_schema ... ok
[INFO] [stdout] test rbac::test::validate_action_apply_incorrect_resource ... ok
[INFO] [stdout] test rbac::test::validate_action_apply_incorrect_principal ... ok
[INFO] [stdout] test rbac::test::validate_entity_type_not_in_singleton_schema ... ok
[INFO] [stdout] test rbac::test::validate_entity_type_in_singleton_schema ... ok
[INFO] [stdout] test rbac::test::validate_action_id_not_in_singleton_schema ... ok
[INFO] [stdout] test rbac::test::validate_action_apply_incorrect_principal_and_resource ... ok
[INFO] [stdout] test rbac::test::validate_namespaced_entity_type_in_schema ... ok
[INFO] [stdout] test rbac::test::test_with_tc_computation ... ok
[INFO] [stdout] test rbac::test::validate_namespaced_action_id_in_schema ... ok
[INFO] [stdout] test human_schema::test::translator_tests::type_name_resolution_cross_namespace ... ok
[INFO] [stdout] test rbac::test::validate_action_apply_correct ... ok
[INFO] [stdout] test human_schema::test::translator_tests::type_name_resolution_basic ... ok
[INFO] [stdout] test rbac::test::validate_namespaced_invalid_action ... ok
[INFO] [stdout] test schema::namespace_def::action_entity_type_parses ... ok
[INFO] [stdout] test rbac::test::validate_namespaced_invalid_entity_type ... ok
[INFO] [stdout] test rbac::test::validate_resource_slot_in_singleton_schema ... ok
[INFO] [stdout] test rbac::test::validate_principal_slot_in_singleton_schema ... ok
[INFO] [stdout] test rbac::test::unspecified_principal_resource_with_scope_conditions ... ok
[INFO] [stdout] test rbac::test::action_with_unspecified_resource_applies ... ok
[INFO] [stdout] test schema::test::action_entity_attribute ... ok
[INFO] [stdout] test schema::test::can_declare_other_type_when_action_type_prohibited ... ok
[INFO] [stdout] test schema::test::cross_fragment_duplicate_type ... ok
[INFO] [stdout] test rbac::test::validate_equals_instead_of_in ... ok
[INFO] [stdout] test schema::test::action_entity_hierarchy ... ok
[INFO] [stdout] test rbac::test::action_with_unspecified_principal_applies ... ok
[INFO] [stdout] test schema::test::counterexamples_from_cedar_134 ... ok
[INFO] [stdout] test schema::test::attribute_different_namespace ... ok
[INFO] [stdout] test schema::test::cannot_declare_action_in_group_when_prohibited ... ok
[INFO] [stdout] test schema::test::cant_use_namespace_in_entity_type ... ok
[INFO] [stdout] test schema::test::cannot_declare_action_type_when_prohibited ... ok
[INFO] [stdout] test schema::test::applies_to_different_namespace ... ok
[INFO] [stdout] test rbac::test::is_unknown_entity_condition ... ok
[INFO] [stdout] test schema::test::defined_record_as_attrs ... ok
[INFO] [stdout] test schema::test::cross_namespace_type ... ok
[INFO] [stdout] test schema::test::schema_no_fragments ... ok
[INFO] [stdout] test schema::test::entity_attribute_entity_type_with_declared_namespace ... ok
[INFO] [stdout] test schema::test::schema_type_record_is_validator_type_record ... ok
[INFO] [stdout] test schema::test::cross_fragment_type ... ok
[INFO] [stdout] test schema::test::qualified_undeclared_common_types ... ok
[INFO] [stdout] test schema::test::get_namespaces ... ok
[INFO] [stdout] test schema::test::same_type_different_namespace ... ok
[INFO] [stdout] test rbac::test::validate_resource_is ... ok
[INFO] [stdout] test schema::test::test_entity_type_namespace_parse_error ... ok
[INFO] [stdout] test schema::test::shape_not_record ... ok
[INFO] [stdout] test schema::test::member_of_different_namespace ... ok
[INFO] [stdout] test schema::test::simple_action_entity ... ok
[INFO] [stdout] test schema::test::same_action_different_namespace ... ok
[INFO] [stdout] test rbac::test::validate_principal_is ... ok
[INFO] [stdout] test schema::test::simple_defined_type ... ok
[INFO] [stdout] test schema::test::test_from_schema_file_action_cycle1 ... ok
[INFO] [stdout] test schema::test::namespaced_schema ... ok
[INFO] [stdout] test schema::test::test_action_namespace_inference_multi ... ok
[INFO] [stdout] test schema::test::entity_attribute_entity_type_with_namespace ... ok
[INFO] [stdout] test schema::test::test_entity_type_no_namespace ... ok
[INFO] [stdout] test schema::test::test_action_namespace_inference_multi_success ... ok
[INFO] [stdout] test schema::test::undeclared_type_in_attr ... ok
[INFO] [stdout] test rbac::test::validate_resource_is_err ... ok
[INFO] [stdout] test schema::test::test_from_schema_file_duplicate_action ... ok
[INFO] [stdout] test schema::test::test_from_schema_file_duplicate_entity ... ok
[INFO] [stdout] test schema::test::test_action_namespace_inference ... ok
[INFO] [stdout] test schema::test::qualified_undeclared_common_types2 ... ok
[INFO] [stdout] test schema::test::test_entity_type_namespace ... ok
[INFO] [stdout] test rbac::test::validate_principal_is_err ... ok
[INFO] [stdout] test schema::test::test_from_schema_file ... ok
[INFO] [stdout] test schema::test::undeclared_type_in_type_def ... ok
[INFO] [stdout] test schema::test_resolver::test_set ... ok
[INFO] [stdout] test schema::test::test_from_schema_file_undefined_entities ... ok
[INFO] [stdout] test schema::test::test_from_schema_file_action_cycle2 ... ok
[INFO] [stdout] test schema_file_format::strengthened_types::invalid_action_euid ... ok
[INFO] [stdout] test schema::test::undefined_entity_namespace_member_of ... ok
[INFO] [stdout] test schema::test::undefined_entity_namespace_applies_to ... ok
[INFO] [stdout] test schema::test_resolver::test_record ... ok
[INFO] [stdout] test schema::test::test_from_schema_file_undefined_action ... ok
[INFO] [stdout] test schema_file_format::strengthened_types::invalid_common_type ... ok
[INFO] [stdout] test schema_file_format::strengthened_types::invalid_schema_common_types ... ok
[INFO] [stdout] test schema_file_format::strengthened_types::invalid_entity_type ... ok
[INFO] [stdout] test schema_file_format::strengthened_types::invalid_member_of_types ... ok
[INFO] [stdout] test schema_file_format::strengthened_types::invalid_schema_entity_types ... ok
[INFO] [stdout] test schema::test_resolver::test_names ... ok
[INFO] [stdout] test schema::test_resolver::test_simple ... ok
[INFO] [stdout] test schema_file_format::strengthened_types::invalid_schema_extension_types ... ok
[INFO] [stdout] test schema_file_format::strengthened_types::invalid_namespace ... ok
[INFO] [stdout] test schema_file_format::test::test_action_type_parser2 ... ok
[INFO] [stdout] test schema_file_format::test::test_entity_type_parser2 ... ok
[INFO] [stdout] test schema_file_format::strengthened_types::invalid_apply_spec ... ok
[INFO] [stdout] test schema_file_format::test::test_entity_type_parser1 ... ok
[INFO] [stdout] test schema_file_format::test::test_action_type_parser1 ... ok
[INFO] [stdout] test schema_file_format::test::test_parse_namespaces ... ok
[INFO] [stdout] test schema_file_format::test::test_schema_file_parser ... ok
[INFO] [stdout] test schema_file_format::test_json_roundtrip::multiple_namespaces ... ok
[INFO] [stdout] test schema::test_resolver::test_cycles ... ok
[INFO] [stdout] test schema_file_format::test_json_roundtrip::empty_namespace ... ok
[INFO] [stdout] test schema_file_format::test_json_roundtrip::nonempty_namespace ... ok
[INFO] [stdout] test schema_file_format::test_json_roundtrip::nonempty_entity_types ... ok
[INFO] [stdout] test str_checks::test::idents ... ok
[INFO] [stdout] test str_checks::test::strs ... ok
[INFO] [stdout] test str_checks::test::a ... ok
[INFO] [stdout] test str_checks::test::b ... ok
[INFO] [stdout] test str_checks::test::problem_in_pattern ... ok
[INFO] [stdout] test str_checks::test::trojan_source ... ok
[INFO] [stdout] test type_error::test_attr_access::context_access ... ok
[INFO] [stdout] test test::validate_finds_warning_and_error ... ok
[INFO] [stdout] test type_error::test_attr_access::entity_type_attr_access ... ok
[INFO] [stdout] test test::top_level_validate ... ok
[INFO] [stdout] test type_error::test_attr_access::entity_access ... ok
[INFO] [stdout] test test::top_level_validate_with_instantiations ... ok
[INFO] [stdout] test type_error::test_attr_access::other_access ... ok
[INFO] [stdout] test typecheck::test_expr::add_sub_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::add_sub_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::and_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::contains_all_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::contains_all_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::contains_all_typecheck_literals_false ... ok
[INFO] [stdout] test typecheck::test_expr::contains_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::contains_typecheck_literals_false ... ok
[INFO] [stdout] test typecheck::test_expr::and_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::contains_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::entity_has_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::entity_eq_is_false ... ok
[INFO] [stdout] test typecheck::test_expr::eq_typecheck_entity_literals_false ... ok
[INFO] [stdout] test typecheck::test_expr::eq_typecheck_action_literals_false ... ok
[INFO] [stdout] test typecheck::test_expr::eq_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::has_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::heterogeneous_set ... ok
[INFO] [stdout] test typecheck::test_expr::if_false_ignores_then ... ok
[INFO] [stdout] test typecheck::test_expr::if_no_lub_error ... ok
[INFO] [stdout] test typecheck::test_expr::if_true_ignore_else ... ok
[INFO] [stdout] test typecheck::test_expr::if_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::if_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::in_set_typechecks_permissive ... ok
[INFO] [stdout] test typecheck::test_expr::in_set_typechecks_strict ... ok
[INFO] [stdout] test typecheck::test_expr::in_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::in_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::in_typechecks_permissive ... ok
[INFO] [stdout] test typecheck::test_expr::less_than_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::less_than_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::like_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::like_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::is_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::mul_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::mul_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::neg_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::neg_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::not_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::or_false ... ok
[INFO] [stdout] test typecheck::test_expr::or_boolean ... ok
[INFO] [stdout] test typecheck::test_expr::not_typechecks ... ok
[INFO] [stdout] test schema_file_format::test::schema_file_unexpected_malformed_attribute - should panic ... ok
[INFO] [stdout] test schema_file_format::test::schema_file_with_missing_type - should panic ... ok
[INFO] [stdout] test schema_file_format::test::schema_file_with_missing_field - should panic ... ok
[INFO] [stdout] test typecheck::test_expr::or_left_false_is_right ... ok
[INFO] [stdout] test schema_file_format::test::test_schema_file_with_extra_field - should panic ... ok
[INFO] [stdout] test schema_file_format::test::test_schema_file_with_misplaced_field - should panic ... ok
[INFO] [stdout] test typecheck::test_expr::is_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::or_left_true_ignores_right ... ok
[INFO] [stdout] test typecheck::test_expr::or_left_true_is_true ... ok
[INFO] [stdout] test typecheck::test_expr::or_right_true_fails_left ... ok
[INFO] [stdout] test typecheck::test_expr::or_right_false_is_left ... ok
[INFO] [stdout] test typecheck::test_expr::or_right_true_is_true ... ok
[INFO] [stdout] test typecheck::test_expr::record_get_attr_does_not_exist ... ok
[INFO] [stdout] test typecheck::test_expr::record_get_attr_lub_does_not_exist ... ok
[INFO] [stdout] test typecheck::test_expr::record_get_attr_incompatible ... ok
[INFO] [stdout] test typecheck::test_expr::record_get_attr_lub_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::record_get_attr_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::record_get_attr_typechecks ... ok
[INFO] [stdout] test schema_file_format::test_duplicates_error::namespace - should panic ... ok
[INFO] [stdout] test typecheck::test_expr::primitives_typecheck ... ok
[INFO] [stdout] test typecheck::test_expr::record_typechecks ... ok
[INFO] [stdout] test schema_file_format::test::test_schema_file_with_misspelled_field - should panic ... ok
[INFO] [stdout] test schema_file_format::test_duplicates_error::action - should panic ... ok
[INFO] [stdout] test typecheck::test_expr::set_typechecks ... ok
[INFO] [stdout] test schema_file_format::test_duplicates_error::entity_type - should panic ... ok
[INFO] [stdout] test schema_file_format::test_duplicates_error::common_types - should panic ... ok
[INFO] [stdout] test schema_file_format::test_duplicates_error::record_type - should panic ... ok
[INFO] [stdout] test schema_file_format::test::test_schema_file_with_misspelled_required - should panic ... ok
[INFO] [stdout] test typecheck::test_expr::record_has_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::set_eq_is_not_false ... ok
[INFO] [stdout] test typecheck::test_expr::slot_equals_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::or_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::slot_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::slot_in_typechecks ... ok
[INFO] [stdout] test typecheck::test_namespace::multi_namespace_action_group_cycle ... ok
[INFO] [stdout] test typecheck::test_namespace::multiple_namespaces_member_of ... ok
[INFO] [stdout] test typecheck::test_namespace::multiple_namespaces_attributes ... ok
[INFO] [stdout] test typecheck::test_extensions::ip_extension_typechecks ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_get_attr ... ok
[INFO] [stdout] test typecheck::test_expr::record_lub_has_typechecks_strict ... ok
[INFO] [stdout] test typecheck::test_namespace::multiple_namespaces_literals ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_can_type_error ... ok
[INFO] [stdout] test typecheck::test_expr::slot_has_typechecks ... ok
[INFO] [stdout] test typecheck::test_namespace::multi_namespace_action_eq ... ok
[INFO] [stdout] test typecheck::test_extensions::decimal_extension_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_type_applies_to ... ok
[INFO] [stdout] test typecheck::test_extensions::ip_extension_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_is_wrong_type_when ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_has ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_is_wrong_type_and ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_in ... ok
[INFO] [stdout] test typecheck::test_extensions::decimal_extension_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::record_lub_has_typechecks_permissive ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_eq ... ok
[INFO] [stdout] test typecheck::test_namespace::multiple_namespaces_applies_to ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_type_member_of ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::and_lhs_access_fails ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::and_lhs_true_has_rhs_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::and_rhs_true_has_lhs_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::and_branches_union ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::contains_any_no_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::and_short_circuit_without_error ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::else_access_fails ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::contains_all_no_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::action_attrs_passing ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_type_in_attribute ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::if_false_short_circuit_without_error ... ok
[INFO] [stdout] test typecheck::test_namespace::test_cedar_policy_642 ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::if_then_else_can_use_guard_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::if_then_else_as_guard_empty_intersect_fails ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::if_then_else_else_access_fails ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::action_attrs_failing ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::if_then_else_guard_union_then_equal_else ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::if_true_short_circuit_without_error ... ok
[INFO] [stdout] test typecheck::test_namespace::multi_namespace_action_in ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::guarded_has_true_short_circuits ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::in_no_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::and_branches_use_prior_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::in_list_no_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::or_branches_empty_intersect_fails ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::if_then_else_then_else_same ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_wrong_namespace ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::not_no_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::else_guarded_access_by_prior_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::like_no_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::or_branches_intersect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::or_lhs_false_has_rhs_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::or_lhs_access_fails ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::record_attr_no_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::or_rhs_access_fails ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::or_rhs_false_has_lhs_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::resource_effect_access_principal_fails ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::principal_and_resource_in_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::record_attr_has_no_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::simple_and_guard_principal ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::simple_and_guard_resource ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::or_branches_use_prior_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::set_contains_no_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::true_no_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::unguarded_access_fails ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::then_guarded_access_by_test ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::then_guarded_access_by_prior_effect ... ok
[INFO] [stdout] test typecheck::test_policy::entity_attribute_recommendation ... ok
[INFO] [stdout] test typecheck::test_policy::entity_literal_typechecks ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::record_optional_attrs ... ok
[INFO] [stdout] test typecheck::test_policy::entity_lub_cant_have_undeclared_attribute ... ok
[INFO] [stdout] test typecheck::test_policy::entity_lub_no_common_attributes_might_have_declared_attribute ... ok
[INFO] [stdout] test typecheck::test_policy::entity_lub_access_attribute ... ok
[INFO] [stdout] test typecheck::test_policy::entity_lub_cant_access_attribute_not_shared ... ok
[INFO] [stdout] test typecheck::test_policy::policy_action_in ... ok
[INFO] [stdout] test typecheck::test_policy::policy_action_multiple_principal_attribute_access ... ok
[INFO] [stdout] test typecheck::test_policy::policy_action_in_impossible ... ok
[INFO] [stdout] test typecheck::test_policy::entity_lub_no_common_attributes_is_entity ... ok
[INFO] [stdout] test typecheck::test_policy::is_impossible ... ok
[INFO] [stdout] test typecheck::test_policy::entity_record_lub_is_none ... ok
[INFO] [stdout] test typecheck::test_policy::policy_entity_has_then_get ... ok
[INFO] [stdout] test typecheck::test_policy::is_entity_lub ... ok
[INFO] [stdout] test typecheck::test_policy::optional_attr_fail ... ok
[INFO] [stdout] test typecheck::test_policy::policy_entity_type_action_in ... ok
[INFO] [stdout] test typecheck::test_policy::action_groups ... ok
[INFO] [stdout] test typecheck::test_policy::is_action ... ok
[INFO] [stdout] test typecheck::test_policy::policy_entity_type_action_in_set ... ok
[INFO] [stdout] test typecheck::test_policy::policy_checked_in_multiple_envs ... ok
[INFO] [stdout] test typecheck::test_policy::policy_entity_type_principal_in_set_user_only ... ok
[INFO] [stdout] test typecheck::test_policy::policy_entity_type_attr ... ok
[INFO] [stdout] test typecheck::test_policy::policy_entity_top_has ... ok
[INFO] [stdout] test typecheck::test_policy::policy_entity_type_principal_in_set ... ok
[INFO] [stdout] test typecheck::test_policy::policy_if_entities_lub ... ok
[INFO] [stdout] test typecheck::test_policy::policy_impossible_not_has ... ok
[INFO] [stdout] test typecheck::test_policy::policy_entity_type_action_in_body ... ok
[INFO] [stdout] test typecheck::test_policy::policy_impossible_literal_euids ... ok
[INFO] [stdout] test typecheck::test_policy::policy_context_invalid_attribute ... ok
[INFO] [stdout] test typecheck::test_policy::policy_impossible_scope ... ok
[INFO] [stdout] test typecheck::test_policy::record_entity_lub_non_term ... ok
[INFO] [stdout] test typecheck::test_policy::policy_invalid_attribute_2 ... ok
[INFO] [stdout] test typecheck::test_policy::policy_invalid_attribute ... ok
[INFO] [stdout] test typecheck::test_policy::policy_single_action_attribute_access ... ok
[INFO] [stdout] test typecheck::test_policy::templates::principal_eq_slot ... ok
[INFO] [stdout] test typecheck::test_policy::templates::principal_resource_eq_slot ... ok
[INFO] [stdout] test typecheck::test_policy::policy_lub_entity_type_attr ... ok
[INFO] [stdout] test typecheck::test_policy::templates::principal_resource_in_slot ... ok
[INFO] [stdout] test typecheck::test_policy::policy_resource_narrows_principal ... ok
[INFO] [stdout] test typecheck::test_policy::policy_principal_action_attribute_access ... ok
[INFO] [stdout] test typecheck::test_policy::type_error_is_not_reported_for_every_cross_product_element ... ok
[INFO] [stdout] test typecheck::test_policy::templates::resource_eq_slot ... ok
[INFO] [stdout] test typecheck::test_policy::templates::resource_in_slot ... ok
[INFO] [stdout] test typecheck::test_policy::templates::template_all_false ... ok
[INFO] [stdout] test typecheck::test_policy::policy_no_conditions_attribute_access ... ok
[INFO] [stdout] test typecheck::test_policy::templates::resource_slot_error_body ... ok
[INFO] [stdout] test typecheck::test_policy::is_typechecks_singleton ... ok
[INFO] [stdout] test typecheck::test_policy::templates::principal_slot_safe_body ... ok
[INFO] [stdout] test typecheck::test_policy::templates::principal_slot_error_body ... ok
[INFO] [stdout] test typecheck::test_policy::templates::principal_in_slot ... ok
[INFO] [stdout] test typecheck::test_policy::validate_policy_with_typedef_schema ... ok
[INFO] [stdout] test typecheck::test_strict::bool_eq_types_match ... ok
[INFO] [stdout] test typecheck::test_strict::empty_set_literal ... ok
[INFO] [stdout] test typecheck::test_strict::contains_strict_types_mismatch ... ok
[INFO] [stdout] test typecheck::test_strict::if_bool_keeps_both ... ok
[INFO] [stdout] test typecheck::test_strict::contains_any_strict_types_mismatch ... ok
[INFO] [stdout] test typecheck::test_strict::contains_all_strict_types_mismatch ... ok
[INFO] [stdout] test typecheck::test_policy::templates::resource_slot_safe_body ... ok
[INFO] [stdout] test typecheck::test_strict::eq_strict_types_mismatch ... ok
[INFO] [stdout] test typecheck::test_strict::if_bool_strict_type_mismatch ... ok
[INFO] [stdout] test typecheck::test_strict::false_eq_rewrites_to_false ... ok
[INFO] [stdout] test typecheck::test_strict::strict_typecheck_catches_regular_type_error ... ok
[INFO] [stdout] test typecheck::test_strict::if_false_else_only ... ok
[INFO] [stdout] test typecheck::test_strict::if_true_then_only ... ok
[INFO] [stdout] test typecheck::test_strict::set_strict_types_mismatch ... ok
[INFO] [stdout] test typecheck::test_strict::ext_struct_non_lit ... ok
[INFO] [stdout] test typecheck::test_strict::entity_in_lub ... ok
[INFO] [stdout] test typecheck::test_strict::true_eq_rewrites_to_true ... ok
[INFO] [stdout] test typecheck::test_strict::test_unary ... ok
[INFO] [stdout] test typecheck::test_strict::test_like ... ok
[INFO] [stdout] test types::test::record_entity_lub_non_term ... ok
[INFO] [stdout] test typecheck::test_strict::test_and ... ok
[INFO] [stdout] test types::test::test_extension_lub ... ok
[INFO] [stdout] test types::test::test_primitive_lub ... ok
[INFO] [stdout] test typecheck::test_strict::test_mul ... ok
[INFO] [stdout] test types::test::test_record_lub ... ok
[INFO] [stdout] test typecheck::test_unspecified_entity::spec_principal_unspec_resource ... ok
[INFO] [stdout] test types::test::test_record_undef_lub ... ok
[INFO] [stdout] test typecheck::test_strict::test_or ... ok
[INFO] [stdout] test types::test::test_entity_lub ... ok
[INFO] [stdout] test typecheck::test_unspecified_entity::unspec_resource_unspec_principal ... ok
[INFO] [stdout] test typecheck::test_strict::true_false_equality ... ok
[INFO] [stdout] test types::test::test_entity_lub_with_attributes ... ok
[INFO] [stdout] test typecheck::test_strict::test_extension ... ok
[INFO] [stdout] test types::test::test_record_entity_lub ... ok
[INFO] [stdout] test typecheck::test_strict::test_has_attr ... ok
[INFO] [stdout] test typecheck::test_strict::true_false_set ... ok
[INFO] [stdout] test typecheck::test_strict::test_get_attr ... ok
[INFO] [stdout] test types::test::test_action_entity_lub ... ok
[INFO] [stdout] test typecheck::test_unspecified_entity::spec_resource_unspec_principal ... ok
[INFO] [stdout] test types::test::test_set_lub ... ok
[INFO] [stdout] test types::test::test_type_display ... ok
[INFO] [stdout] test typecheck::test_type_annotation::expr_typechecks_with_correct_annotation ... ok
[INFO] [stdout] test types::test::text_extension_type_dislay ... ok
[INFO] [stdout] test types::test::test_with_recursive_types ... ok
[INFO] [stdout] test typecheck::test_policy::policy_in_action_impossible ... ok
[INFO] [stdout] test types::test::type_display_roundtrip ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 473 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.19s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests cedar_policy_validator
[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" "ea5c293d237bf72c5dafb2576a82f27a38e23f2216be3eb1a3c53573eaedfac8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ea5c293d237bf72c5dafb2576a82f27a38e23f2216be3eb1a3c53573eaedfac8", kill_on_drop: false }`
[INFO] [stdout] ea5c293d237bf72c5dafb2576a82f27a38e23f2216be3eb1a3c53573eaedfac8
[INFO] testing cedar-policy-validator-3.2.0 against try#b642703cf9526da1e72c0b6755753b939a9c6b6d for pr-125151
[INFO] extracting crate cedar-policy-validator 3.2.0 into /workspace/builds/worker-7-tc2/source
[INFO] validating manifest of crates.io crate cedar-policy-validator 3.2.0 on toolchain b642703cf9526da1e72c0b6755753b939a9c6b6d
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate cedar-policy-validator 3.2.0
[INFO] finished tweaking crates.io crate cedar-policy-validator 3.2.0
[INFO] tweaked toml for crates.io crate cedar-policy-validator 3.2.0 written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 135 packages to latest compatible versions
[INFO] [stderr]       Adding fixedbitset v0.4.2 (latest: v0.5.7)
[INFO] [stderr]       Adding gloo-utils v0.1.7 (latest: v0.2.0)
[INFO] [stderr]       Adding hashbrown v0.12.3 (latest: v0.14.5)
[INFO] [stderr]       Adding indexmap v1.9.3 (latest: v2.2.6)
[INFO] [stderr]       Adding itertools v0.11.0 (latest: v0.13.0)
[INFO] [stderr]       Adding itertools v0.12.1 (latest: v0.13.0)
[INFO] [stderr]       Adding phf_shared v0.10.0 (latest: v0.11.2)
[INFO] [stderr]       Adding serde_derive_internals v0.28.0 (latest: v0.29.1)
[INFO] [stderr]       Adding siphasher v0.3.11 (latest: v1.0.1)
[INFO] [stderr]       Adding wasi v0.11.0+wasi-snapshot-preview1 (latest: v0.13.1+wasi-0.2.0)
[INFO] [stderr]       Adding windows-core v0.52.0 (latest: v0.56.0)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 03b458b2d41fd9d9e6bd1aa07574f59f84ca53ea2669475f2d542f586b0d3182
[INFO] running `Command { std: "docker" "start" "-a" "03b458b2d41fd9d9e6bd1aa07574f59f84ca53ea2669475f2d542f586b0d3182", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "03b458b2d41fd9d9e6bd1aa07574f59f84ca53ea2669475f2d542f586b0d3182", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "03b458b2d41fd9d9e6bd1aa07574f59f84ca53ea2669475f2d542f586b0d3182", kill_on_drop: false }`
[INFO] [stdout] 03b458b2d41fd9d9e6bd1aa07574f59f84ca53ea2669475f2d542f586b0d3182
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 28371d28033d80b0c81cd34a290515fc297375d8ee90c911c9068e20034828d1
[INFO] running `Command { std: "docker" "start" "-a" "28371d28033d80b0c81cd34a290515fc297375d8ee90c911c9068e20034828d1", kill_on_drop: false }`
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]    Compiling regex-syntax v0.8.3
[INFO] [stderr]    Compiling smallvec v1.13.2
[INFO] [stderr]    Compiling siphasher v0.3.11
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling parking_lot_core v0.9.10
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling once_cell v1.19.0
[INFO] [stderr]    Compiling lock_api v0.4.12
[INFO] [stderr]    Compiling serde v1.0.202
[INFO] [stderr]    Compiling either v1.12.0
[INFO] [stderr]    Compiling syn v2.0.66
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling ena v0.14.3
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]    Compiling phf_shared v0.10.0
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]    Compiling ident_case v1.0.1
[INFO] [stderr]    Compiling unicode-xid v0.2.4
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling psm v0.1.21
[INFO] [stderr]    Compiling serde_json v1.0.117
[INFO] [stderr]    Compiling regex-automata v0.4.6
[INFO] [stderr]    Compiling stacker v0.1.15
[INFO] [stderr]    Compiling tinyvec_macros v0.1.1
[INFO] [stderr]    Compiling unicode-script v0.5.6
[INFO] [stderr]    Compiling parking_lot v0.12.3
[INFO] [stderr]    Compiling tinyvec v1.6.0
[INFO] [stderr]    Compiling rustc_lexer v0.1.0
[INFO] [stderr]    Compiling itertools v0.12.1
[INFO] [stderr]    Compiling nonempty v0.10.0
[INFO] [stderr]    Compiling string_cache v0.8.7
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]    Compiling unicode-normalization v0.1.23
[INFO] [stderr]    Compiling unicode-security v0.1.1
[INFO] [stderr]    Compiling lalrpop-util v0.20.2
[INFO] [stderr]    Compiling regex v1.10.4
[INFO] [stderr]    Compiling darling_core v0.20.9
[INFO] [stderr]    Compiling serde_derive v1.0.202
[INFO] [stderr]    Compiling thiserror-impl v1.0.61
[INFO] [stderr]    Compiling miette-derive v7.2.0
[INFO] [stderr]    Compiling lalrpop v0.20.2
[INFO] [stderr]    Compiling darling_macro v0.20.9
[INFO] [stderr]    Compiling thiserror v1.0.61
[INFO] [stderr]    Compiling darling v0.20.9
[INFO] [stderr]    Compiling serde_with_macros v3.8.1
[INFO] [stderr]    Compiling miette v7.2.0
[INFO] [stderr]    Compiling smol_str v0.2.2
[INFO] [stderr]    Compiling serde_with v3.8.1
[INFO] [stderr]    Compiling cedar-policy-core v3.2.0
[INFO] [stderr]    Compiling cedar-policy-validator v3.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 23.61s
[INFO] running `Command { std: "docker" "inspect" "28371d28033d80b0c81cd34a290515fc297375d8ee90c911c9068e20034828d1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "28371d28033d80b0c81cd34a290515fc297375d8ee90c911c9068e20034828d1", kill_on_drop: false }`
[INFO] [stdout] 28371d28033d80b0c81cd34a290515fc297375d8ee90c911c9068e20034828d1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] bf7a70d24a9cfff3a0a7a672fcf3f93b3be87cd624651ee5a219cac4d4106023
[INFO] running `Command { std: "docker" "start" "-a" "bf7a70d24a9cfff3a0a7a672fcf3f93b3be87cd624651ee5a219cac4d4106023", kill_on_drop: false }`
[INFO] [stderr]    Compiling indent_write v2.2.0
[INFO] [stderr]    Compiling cedar-policy-core v3.2.0
[INFO] [stderr]    Compiling cool_asserts v2.0.3
[INFO] [stderr]    Compiling cedar-policy-validator v3.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 28.14s
[INFO] running `Command { std: "docker" "inspect" "bf7a70d24a9cfff3a0a7a672fcf3f93b3be87cd624651ee5a219cac4d4106023", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bf7a70d24a9cfff3a0a7a672fcf3f93b3be87cd624651ee5a219cac4d4106023", kill_on_drop: false }`
[INFO] [stdout] bf7a70d24a9cfff3a0a7a672fcf3f93b3be87cd624651ee5a219cac4d4106023
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 8770c6478eccdeeb4590ac98913e252f0f9f3357cdc879c304d01d6559650775
[INFO] running `Command { std: "docker" "start" "-a" "8770c6478eccdeeb4590ac98913e252f0f9f3357cdc879c304d01d6559650775", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/cedar_policy_validator-7af71c2650bb57c1)
[INFO] [stdout] 
[INFO] [stdout] running 473 tests
[INFO] [stdout] test coreschema::test::principal_unspecified ... ok
[INFO] [stdout] test coreschema::test::resource_unspecified ... ok
[INFO] [stdout] test coreschema::test::context_missing_attribute ... ok
[INFO] [stdout] test coreschema::test::resource_type_not_declared ... ok
[INFO] [stdout] test coreschema::test::principal_type_invalid ... ok
[INFO] [stdout] test coreschema::test::context_extra_attribute ... ok
[INFO] [stdout] test coreschema::test::context_attribute_wrong_type ... ok
[INFO] [stdout] test coreschema::test::context_attribute_heterogeneous_set ... ok
[INFO] [stdout] test coreschema::test::resource_type_invalid ... ok
[INFO] [stdout] test coreschema::test::resource_type_not_declared_action_unspecified ... ok
[INFO] [stdout] test expr_iterator::tests::entity_eq ... ok
[INFO] [stdout] test coreschema::test::action_unspecified ... ok
[INFO] [stdout] test expr_iterator::tests::entity_and ... ok
[INFO] [stdout] test coreschema::test::success_concrete_request_no_context ... ok
[INFO] [stdout] test expr_iterator::tests::entity_full_scope ... ok
[INFO] [stdout] test expr_iterator::tests::entity_has_attr ... ok
[INFO] [stdout] test expr_iterator::tests::entity_get_attr ... ok
[INFO] [stdout] test coreschema::test::success_everything_unspecified ... ok
[INFO] [stdout] test coreschema::test::action_not_declared ... ok
[INFO] [stdout] test expr_iterator::tests::entity_in_set ... ok
[INFO] [stdout] test expr_iterator::tests::entity_literal ... ok
[INFO] [stdout] test expr_iterator::tests::no_entities ... ok
[INFO] [stdout] test expr_iterator::tests::entity_record_get_attr ... ok
[INFO] [stdout] test expr_iterator::tests::entity_in ... ok
[INFO] [stdout] test expr_iterator::tests::test_strs_ext ... ok
[INFO] [stdout] test expr_iterator::tests::test_strs_like ... ok
[INFO] [stdout] test expr_iterator::tests::entity_if ... ok
[INFO] [stdout] test coreschema::test::success_action_unknown ... ok
[INFO] [stdout] test coreschema::test::success_context_unknown ... ok
[INFO] [stdout] test coreschema::test::principal_type_not_declared ... ok
[INFO] [stdout] test expr_iterator::tests::entity_record ... ok
[INFO] [stdout] test coreschema::test::success_unknown_action_but_invalid_types ... ok
[INFO] [stdout] test extensions::decimal::test::extension_schema_correctness ... ok
[INFO] [stdout] test extensions::ipaddr::test::extension_schema_correctness ... ok
[INFO] [stdout] test fuzzy_match::test::test_match1 ... ok
[INFO] [stdout] test fuzzy_match::test::test_match2 ... ok
[INFO] [stdout] test fuzzy_match::test::test_match3 ... ok
[INFO] [stdout] test fuzzy_match::test::test_match5 ... ok
[INFO] [stdout] test coreschema::test::principal_type_not_declared_action_unspecified ... ok
[INFO] [stdout] test extensions::partial_evaluation::test::extension_schema_correctness ... ok
[INFO] [stdout] test fuzzy_match::test::test_match4 ... ok
[INFO] [stdout] test fuzzy_match::test::test_match6 ... ok
[INFO] [stdout] test fuzzy_match::test::test_match_empty ... ok
[INFO] [stdout] test fuzzy_match::test::test_match7 ... ok
[INFO] [stdout] test coreschema::test::success_concrete_request_with_context ... ok
[INFO] [stdout] test coreschema::test::success_resource_unknown ... ok
[INFO] [stdout] test human_schema::ast::test::in_cedar ... ok
[INFO] [stdout] test human_schema::ast::test::qual ... ok
[INFO] [stdout] test human_schema::ast::test::in_cedar3 ... ok
[INFO] [stdout] test human_schema::ast::test::in_cedar2 ... ok
[INFO] [stdout] test human_schema::ast::test::in_unqual ... ok
[INFO] [stdout] test human_schema::ast::test::is_cedar ... ok
[INFO] [stdout] test human_schema::ast::test::is_cedar2 ... ok
[INFO] [stdout] test human_schema::ast::test::path_iter ... ok
[INFO] [stdout] test human_schema::test::demo_tests::empty_appliesto ... ok
[INFO] [stdout] test expr_iterator::tests::test_strs_atrs ... ok
[INFO] [stdout] test expr_iterator::tests::test_strs ... ok
[INFO] [stdout] test expr_iterator::tests::test_strs_lit ... ok
[INFO] [stdout] test coreschema::test::success_principal_unknown ... ok
[INFO] [stdout] test human_schema::test::demo_tests::just_context ... ok
[INFO] [stdout] test human_schema::test::demo_tests::just_principal ... ok
[INFO] [stdout] test human_schema::test::demo_tests::duplicate_principal ... ok
[INFO] [stdout] test human_schema::test::demo_tests::both_targets_flipped ... ok
[INFO] [stdout] test human_schema::test::demo_tests::action_eid_invalid_escape ... ok
[INFO] [stdout] test human_schema::test::demo_tests::duplicate_resource ... ok
[INFO] [stdout] test human_schema::test::demo_tests::no_applies_to ... ok
[INFO] [stdout] test human_schema::test::demo_tests::just_resource ... ok
[INFO] [stdout] test human_schema::test::demo_tests::both_targets ... ok
[INFO] [stdout] test human_schema::test::demo_tests::principal_only ... ok
[INFO] [stdout] test human_schema::test::demo_tests::expected_tokens ... ok
[INFO] [stdout] test human_schema::test::demo_tests::principals_only ... ok
[INFO] [stdout] test human_schema::test::demo_tests::print_actions ... ok
[INFO] [stdout] test human_schema::test::demo_tests::fully_qualified_actions ... ok
[INFO] [stdout] test human_schema::test::demo_tests::simple_action ... ok
[INFO] [stdout] test human_schema::test::common_type_references::record ... ok
[INFO] [stdout] test human_schema::test::demo_tests::resources_only ... ok
[INFO] [stdout] test human_schema::test::common_type_references::cycles ... ok
[INFO] [stdout] test human_schema::test::common_type_references::set ... ok
[INFO] [stdout] test human_schema::test::demo_tests::context_is_common_type ... ok
[INFO] [stdout] test human_schema::test::parser_tests::mixed_decls ... ok
[INFO] [stdout] test human_schema::test::translator_tests::duplicate_namespace ... ok
[INFO] [stdout] test human_schema::test::common_type_references::basic ... ok
[INFO] [stdout] test human_schema::test::translator_tests::duplicate_entity_types ... ok
[INFO] [stdout] test human_schema::test::demo_tests::simple_cross ... ok
[INFO] [stdout] test human_schema::test::translator_tests::duplicate_action_types ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_attributes ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_applies_to ... ok
[INFO] [stdout] test human_schema::test::demo_tests::resource_only ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_has ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_bool ... ok
[INFO] [stdout] test human_schema::test::parser_tests::entity_decl_basic ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_if ... ok
[INFO] [stdout] test human_schema::test::parser_tests::common_type_decl_basic ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_false ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_action ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_in ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_context ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_set ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_string ... ok
[INFO] [stdout] test human_schema::test::demo_tests::test_github ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_true ... ok
[INFO] [stdout] test human_schema::test::demo_tests::tinytodo ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_principal ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_resource ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_namespace ... ok
[INFO] [stdout] test human_schema::test::translator_tests::duplicate_common_types ... ok
[INFO] [stdout] test human_schema::test::translator_tests::multiple_principal_decls ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_like ... ok
[INFO] [stdout] test human_schema::test::translator_tests::type_name_cross_namespace ... ok
[INFO] [stdout] test human_schema::test::translator_tests::entity_named_long ... ok
[INFO] [stdout] test human_schema::test::translator_tests::multiple_context_decls ... ok
[INFO] [stdout] test rbac::test::get_possible_actions_in_no_parents ... ok
[INFO] [stdout] test human_schema::test::translator_tests::use_reserved_namespace ... ok
[INFO] [stdout] test rbac::test::get_possible_actions_eq ... ok
[INFO] [stdout] test human_schema::test::demo_tests::test_doc_cloud ... ok
[INFO] [stdout] test rbac::test::unspecified_entity_in_additional_constraints ... ok
[INFO] [stdout] test rbac::test::get_possible_principals_eq ... ok
[INFO] [stdout] test rbac::test::unspecified_entity_in_scope ... ok
[INFO] [stdout] test human_schema::test::translator_tests::type_name_resolution_cross_namespace ... ok
[INFO] [stdout] test human_schema::test::translator_tests::type_name_resolution_basic ... ok
[INFO] [stdout] test rbac::test::validate_action_apply_incorrect_principal_and_resource ... ok
[INFO] [stdout] test rbac::test::validate_action_id_empty_schema ... ok
[INFO] [stdout] test rbac::test::validate_action_apply_incorrect_principal ... ok
[INFO] [stdout] test rbac::test::get_possible_actions_in_set_no_parents ... ok
[INFO] [stdout] test rbac::test::validate_action_id_in_singleton_schema ... ok
[INFO] [stdout] test rbac::test::validate_action_id_not_in_singleton_schema ... ok
[INFO] [stdout] test rbac::test::validate_action_apply_correct ... ok
[INFO] [stdout] test human_schema::test::parser_tests::action_decl_basic ... ok
[INFO] [stdout] test human_schema::test::translator_tests::multiple_resource_decls ... ok
[INFO] [stdout] test rbac::test::unspecified_principal_resource_with_scope_conditions ... ok
[INFO] [stdout] test rbac::test::validate_namespaced_entity_type_in_schema ... ok
[INFO] [stdout] test rbac::test::validate_namespaced_action_id_in_schema ... ok
[INFO] [stdout] test rbac::test::validate_entity_type_empty_schema ... ok
[INFO] [stdout] test rbac::test::undefined_entity_type_in_principal_slot ... ok
[INFO] [stdout] test rbac::test::validate_entity_type_in_singleton_schema ... ok
[INFO] [stdout] test rbac::test::is_unknown_entity_condition ... ok
[INFO] [stdout] test human_schema::test::translator_tests::type_name_resolution_empty_namespace ... ok
[INFO] [stdout] test rbac::test::validate_namespaced_invalid_action ... ok
[INFO] [stdout] test schema::namespace_def::action_entity_type_parses ... ok
[INFO] [stdout] test rbac::test::validate_entity_type_not_in_singleton_schema ... ok
[INFO] [stdout] test rbac::test::action_with_unspecified_resource_applies ... ok
[INFO] [stdout] test rbac::test::test_with_tc_computation ... ok
[INFO] [stdout] test schema::test::action_entity_attribute ... ok
[INFO] [stdout] test rbac::test::validate_principal_slot_in_singleton_schema ... ok
[INFO] [stdout] test schema::test::cannot_declare_action_in_group_when_prohibited ... ok
[INFO] [stdout] test rbac::test::validate_equals_instead_of_in ... ok
[INFO] [stdout] test rbac::test::action_with_unspecified_principal_applies ... ok
[INFO] [stdout] test schema::test::cannot_declare_action_type_when_prohibited ... ok
[INFO] [stdout] test rbac::test::validate_action_apply_incorrect_resource ... ok
[INFO] [stdout] test rbac::test::validate_resource_slot_in_singleton_schema ... ok
[INFO] [stdout] test schema::test::counterexamples_from_cedar_134 ... ok
[INFO] [stdout] test schema::test::attribute_different_namespace ... ok
[INFO] [stdout] test schema::test::cross_fragment_duplicate_type ... ok
[INFO] [stdout] test schema::test::cant_use_namespace_in_entity_type ... ok
[INFO] [stdout] test schema::test::action_entity_hierarchy ... ok
[INFO] [stdout] test schema::test::applies_to_different_namespace ... ok
[INFO] [stdout] test schema::test::cross_fragment_type ... ok
[INFO] [stdout] test rbac::test::validate_namespaced_invalid_entity_type ... ok
[INFO] [stdout] test schema::test::entity_attribute_entity_type_with_declared_namespace ... ok
[INFO] [stdout] test schema::test::cross_namespace_type ... ok
[INFO] [stdout] test rbac::test::validate_resource_is ... ok
[INFO] [stdout] test schema::test::get_namespaces ... ok
[INFO] [stdout] test rbac::test::validate_principal_is ... ok
[INFO] [stdout] test schema::test::can_declare_other_type_when_action_type_prohibited ... ok
[INFO] [stdout] test schema::test::entity_attribute_entity_type_with_namespace ... ok
[INFO] [stdout] test rbac::test::validate_resource_is_err ... ok
[INFO] [stdout] test schema::test::member_of_different_namespace ... ok
[INFO] [stdout] test schema::test::qualified_undeclared_common_types ... ok
[INFO] [stdout] test schema::test::schema_no_fragments ... ok
[INFO] [stdout] test schema::test::schema_type_record_is_validator_type_record ... ok
[INFO] [stdout] test schema::test::defined_record_as_attrs ... ok
[INFO] [stdout] test schema::test::namespaced_schema ... ok
[INFO] [stdout] test schema::test::qualified_undeclared_common_types2 ... ok
[INFO] [stdout] test schema::test::same_action_different_namespace ... ok
[INFO] [stdout] test schema::test::shape_not_record ... ok
[INFO] [stdout] test schema::test::same_type_different_namespace ... ok
[INFO] [stdout] test schema::test::simple_action_entity ... ok
[INFO] [stdout] test schema::test::simple_defined_type ... ok
[INFO] [stdout] test schema::test::test_entity_type_namespace_parse_error ... ok
[INFO] [stdout] test schema::test::test_action_namespace_inference_multi_success ... ok
[INFO] [stdout] test schema::test::test_entity_type_no_namespace ... ok
[INFO] [stdout] test schema::test::test_from_schema_file_duplicate_action ... ok
[INFO] [stdout] test rbac::test::validate_principal_is_err ... ok
[INFO] [stdout] test schema::test::test_from_schema_file ... ok
[INFO] [stdout] test schema::test::test_from_schema_file_duplicate_entity ... ok
[INFO] [stdout] test schema::test::test_action_namespace_inference_multi ... ok
[INFO] [stdout] test schema::test::undefined_entity_namespace_member_of ... ok
[INFO] [stdout] test schema::test::test_from_schema_file_undefined_action ... ok
[INFO] [stdout] test schema::test::test_action_namespace_inference ... ok
[INFO] [stdout] test schema::test::test_from_schema_file_action_cycle1 ... ok
[INFO] [stdout] test schema::test::test_from_schema_file_action_cycle2 ... ok
[INFO] [stdout] test schema::test::test_entity_type_namespace ... ok
[INFO] [stdout] test schema::test::undeclared_type_in_attr ... ok
[INFO] [stdout] test schema::test_resolver::test_set ... ok
[INFO] [stdout] test schema::test_resolver::test_names ... ok
[INFO] [stdout] test schema::test::undefined_entity_namespace_applies_to ... ok
[INFO] [stdout] test schema::test_resolver::test_record ... ok
[INFO] [stdout] test schema::test::test_from_schema_file_undefined_entities ... ok
[INFO] [stdout] test schema::test::undeclared_type_in_type_def ... ok
[INFO] [stdout] test schema::test_resolver::test_simple ... ok
[INFO] [stdout] test schema_file_format::strengthened_types::invalid_common_type ... ok
[INFO] [stdout] test schema_file_format::strengthened_types::invalid_action_euid ... ok
[INFO] [stdout] test schema_file_format::strengthened_types::invalid_apply_spec ... ok
[INFO] [stdout] test schema_file_format::strengthened_types::invalid_entity_type ... ok
[INFO] [stdout] test schema_file_format::strengthened_types::invalid_member_of_types ... ok
[INFO] [stdout] test schema_file_format::strengthened_types::invalid_schema_common_types ... ok
[INFO] [stdout] test schema_file_format::strengthened_types::invalid_schema_entity_types ... ok
[INFO] [stdout] test schema_file_format::test::test_action_type_parser2 ... ok
[INFO] [stdout] test schema_file_format::strengthened_types::invalid_schema_extension_types ... ok
[INFO] [stdout] test schema_file_format::test::test_entity_type_parser1 ... ok
[INFO] [stdout] test schema_file_format::test::test_entity_type_parser2 ... ok
[INFO] [stdout] test schema_file_format::test::test_action_type_parser1 ... ok
[INFO] [stdout] test schema_file_format::test::test_parse_namespaces ... ok
[INFO] [stdout] test schema_file_format::strengthened_types::invalid_namespace ... ok
[INFO] [stdout] test schema_file_format::test_json_roundtrip::empty_namespace ... ok
[INFO] [stdout] test schema::test_resolver::test_cycles ... ok
[INFO] [stdout] test schema_file_format::test_json_roundtrip::nonempty_namespace ... ok
[INFO] [stdout] test schema_file_format::test::test_schema_file_parser ... ok
[INFO] [stdout] test schema_file_format::test_json_roundtrip::nonempty_entity_types ... ok
[INFO] [stdout] test str_checks::test::idents ... ok
[INFO] [stdout] test str_checks::test::a ... ok
[INFO] [stdout] test schema_file_format::test_json_roundtrip::multiple_namespaces ... ok
[INFO] [stdout] test str_checks::test::b ... ok
[INFO] [stdout] test str_checks::test::strs ... ok
[INFO] [stdout] test str_checks::test::problem_in_pattern ... ok
[INFO] [stdout] test str_checks::test::trojan_source ... ok
[INFO] [stdout] test type_error::test_attr_access::context_access ... ok
[INFO] [stdout] test test::top_level_validate ... ok
[INFO] [stdout] test test::validate_finds_warning_and_error ... ok
[INFO] [stdout] test type_error::test_attr_access::entity_type_attr_access ... ok
[INFO] [stdout] test type_error::test_attr_access::entity_access ... ok
[INFO] [stdout] test type_error::test_attr_access::other_access ... ok
[INFO] [stdout] test typecheck::test_expr::add_sub_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::add_sub_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::and_typechecks ... ok
[INFO] [stdout] test test::top_level_validate_with_instantiations ... ok
[INFO] [stdout] test typecheck::test_expr::contains_all_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::contains_all_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::and_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::contains_all_typecheck_literals_false ... ok
[INFO] [stdout] test typecheck::test_expr::contains_typecheck_literals_false ... ok
[INFO] [stdout] test typecheck::test_expr::contains_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::entity_has_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::eq_typecheck_action_literals_false ... ok
[INFO] [stdout] test typecheck::test_expr::entity_eq_is_false ... ok
[INFO] [stdout] test typecheck::test_expr::contains_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::eq_typecheck_entity_literals_false ... ok
[INFO] [stdout] test typecheck::test_expr::heterogeneous_set ... ok
[INFO] [stdout] test typecheck::test_expr::eq_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::has_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::if_false_ignores_then ... ok
[INFO] [stdout] test typecheck::test_expr::if_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::if_no_lub_error ... ok
[INFO] [stdout] test typecheck::test_expr::if_true_ignore_else ... ok
[INFO] [stdout] test typecheck::test_expr::if_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::in_set_typechecks_permissive ... ok
[INFO] [stdout] test typecheck::test_expr::in_set_typechecks_strict ... ok
[INFO] [stdout] test typecheck::test_expr::in_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::in_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::in_typechecks_permissive ... ok
[INFO] [stdout] test typecheck::test_expr::less_than_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::less_than_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::like_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::like_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::is_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::mul_typecheck_fails ... ok
[INFO] [stdout] test schema_file_format::test::schema_file_unexpected_malformed_attribute - should panic ... ok
[INFO] [stdout] test typecheck::test_expr::mul_typechecks ... ok
[INFO] [stdout] test schema_file_format::test::schema_file_with_missing_field - should panic ... ok
[INFO] [stdout] test typecheck::test_expr::neg_typecheck_fails ... ok
[INFO] [stdout] test schema_file_format::test::schema_file_with_missing_type - should panic ... ok
[INFO] [stdout] test schema_file_format::test::test_schema_file_with_extra_field - should panic ... ok
[INFO] [stdout] test schema_file_format::test::test_schema_file_with_misplaced_field - should panic ... ok
[INFO] [stdout] test schema_file_format::test::test_schema_file_with_misspelled_field - should panic ... ok
[INFO] [stdout] test typecheck::test_expr::neg_typechecks ... ok
[INFO] [stdout] test schema_file_format::test::test_schema_file_with_misspelled_required - should panic ... ok
[INFO] [stdout] test typecheck::test_expr::not_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::or_left_true_ignores_right ... ok
[INFO] [stdout] test typecheck::test_expr::or_boolean ... ok
[INFO] [stdout] test typecheck::test_expr::or_left_false_is_right ... ok
[INFO] [stdout] test typecheck::test_expr::or_right_false_is_left ... ok
[INFO] [stdout] test typecheck::test_expr::not_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::or_false ... ok
[INFO] [stdout] test typecheck::test_expr::or_right_true_is_true ... ok
[INFO] [stdout] test typecheck::test_expr::record_get_attr_incompatible ... ok
[INFO] [stdout] test typecheck::test_expr::record_get_attr_lub_does_not_exist ... ok
[INFO] [stdout] test typecheck::test_expr::is_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::record_get_attr_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::or_left_true_is_true ... ok
[INFO] [stdout] test typecheck::test_expr::or_right_true_fails_left ... ok
[INFO] [stdout] test typecheck::test_expr::record_get_attr_lub_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::record_get_attr_does_not_exist ... ok
[INFO] [stdout] test typecheck::test_expr::primitives_typecheck ... ok
[INFO] [stdout] test schema_file_format::test_duplicates_error::action - should panic ... ok
[INFO] [stdout] test typecheck::test_expr::record_get_attr_typechecks ... ok
[INFO] [stdout] test schema_file_format::test_duplicates_error::common_types - should panic ... ok
[INFO] [stdout] test schema_file_format::test_duplicates_error::entity_type - should panic ... ok
[INFO] [stdout] test typecheck::test_expr::set_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::set_eq_is_not_false ... ok
[INFO] [stdout] test schema_file_format::test_duplicates_error::namespace - should panic ... ok
[INFO] [stdout] test schema_file_format::test_duplicates_error::record_type - should panic ... ok
[INFO] [stdout] test typecheck::test_expr::record_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::slot_equals_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::slot_has_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::record_has_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::slot_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::or_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_expr::slot_in_typechecks ... ok
[INFO] [stdout] test typecheck::test_expr::record_lub_has_typechecks_strict ... ok
[INFO] [stdout] test typecheck::test_namespace::multi_namespace_action_group_cycle ... ok
[INFO] [stdout] test typecheck::test_extensions::ip_extension_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_namespace::multiple_namespaces_applies_to ... ok
[INFO] [stdout] test typecheck::test_namespace::multiple_namespaces_attributes ... ok
[INFO] [stdout] test typecheck::test_namespace::multiple_namespaces_literals ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_get_attr ... ok
[INFO] [stdout] test typecheck::test_namespace::multiple_namespaces_member_of ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_is_wrong_type_when ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_can_type_error ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_in ... ok
[INFO] [stdout] test typecheck::test_expr::record_lub_has_typechecks_permissive ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_is_wrong_type_and ... ok
[INFO] [stdout] test typecheck::test_namespace::multi_namespace_action_eq ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_type_member_of ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_has ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_type_applies_to ... ok
[INFO] [stdout] test typecheck::test_extensions::decimal_extension_typecheck_fails ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_type_in_attribute ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_eq ... ok
[INFO] [stdout] test typecheck::test_extensions::ip_extension_typechecks ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::and_branches_union ... ok
[INFO] [stdout] test typecheck::test_extensions::decimal_extension_typechecks ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::and_short_circuit_without_error ... ok
[INFO] [stdout] test typecheck::test_namespace::multi_namespace_action_in ... ok
[INFO] [stdout] test typecheck::test_namespace::namespaced_entity_wrong_namespace ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::guarded_has_true_short_circuits ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::else_guarded_access_by_prior_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::action_attrs_failing ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::contains_all_no_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::else_access_fails ... ok
[INFO] [stdout] test typecheck::test_namespace::test_cedar_policy_642 ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::action_attrs_passing ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::and_lhs_access_fails ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::and_rhs_true_has_lhs_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::contains_any_no_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::and_lhs_true_has_rhs_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::if_then_else_as_guard_empty_intersect_fails ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::and_branches_use_prior_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::if_then_else_else_access_fails ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::if_then_else_guard_union_then_equal_else ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::if_then_else_can_use_guard_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::if_true_short_circuit_without_error ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::if_then_else_then_else_same ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::if_false_short_circuit_without_error ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::like_no_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::in_no_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::in_list_no_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::not_no_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::or_branches_intersect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::or_lhs_false_has_rhs_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::or_branches_empty_intersect_fails ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::or_rhs_access_fails ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::or_branches_use_prior_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::or_lhs_access_fails ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::or_rhs_false_has_lhs_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::record_attr_has_no_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::principal_and_resource_in_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::simple_and_guard_principal ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::set_contains_no_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::then_guarded_access_by_test ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::simple_and_guard_resource ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::then_guarded_access_by_prior_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::resource_effect_access_principal_fails ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::record_attr_no_effect ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::true_no_effect ... ok
[INFO] [stdout] test typecheck::test_policy::entity_lub_access_attribute ... ok
[INFO] [stdout] test typecheck::test_policy::entity_attribute_recommendation ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::unguarded_access_fails ... ok
[INFO] [stdout] test typecheck::test_policy::entity_lub_no_common_attributes_is_entity ... ok
[INFO] [stdout] test typecheck::test_policy::entity_lub_no_common_attributes_might_have_declared_attribute ... ok
[INFO] [stdout] test typecheck::test_policy::entity_literal_typechecks ... ok
[INFO] [stdout] test typecheck::test_policy::entity_lub_cant_have_undeclared_attribute ... ok
[INFO] [stdout] test typecheck::test_policy::entity_record_lub_is_none ... ok
[INFO] [stdout] test typecheck::test_policy::entity_lub_cant_access_attribute_not_shared ... ok
[INFO] [stdout] test typecheck::test_optional_attributes::record_optional_attrs ... ok
[INFO] [stdout] test typecheck::test_policy::policy_action_multiple_principal_attribute_access ... ok
[INFO] [stdout] test typecheck::test_policy::policy_action_in_impossible ... ok
[INFO] [stdout] test typecheck::test_policy::policy_action_in ... ok
[INFO] [stdout] test typecheck::test_policy::policy_entity_type_action_in ... ok
[INFO] [stdout] test typecheck::test_policy::policy_entity_has_then_get ... ok
[INFO] [stdout] test typecheck::test_policy::policy_context_invalid_attribute ... ok
[INFO] [stdout] test typecheck::test_policy::action_groups ... ok
[INFO] [stdout] test typecheck::test_policy::optional_attr_fail ... ok
[INFO] [stdout] test typecheck::test_policy::is_action ... ok
[INFO] [stdout] test typecheck::test_policy::policy_entity_type_attr ... ok
[INFO] [stdout] test typecheck::test_policy::policy_impossible_literal_euids ... ok
[INFO] [stdout] test typecheck::test_policy::policy_entity_type_action_in_body ... ok
[INFO] [stdout] test typecheck::test_policy::policy_impossible_scope ... ok
[INFO] [stdout] test typecheck::test_policy::policy_checked_in_multiple_envs ... ok
[INFO] [stdout] test typecheck::test_policy::policy_entity_type_action_in_set ... ok
[INFO] [stdout] test typecheck::test_policy::policy_entity_top_has ... ok
[INFO] [stdout] test typecheck::test_policy::is_entity_lub ... ok
[INFO] [stdout] test typecheck::test_policy::is_impossible ... ok
[INFO] [stdout] test typecheck::test_policy::policy_lub_entity_type_attr ... ok
[INFO] [stdout] test typecheck::test_policy::policy_invalid_attribute ... ok
[INFO] [stdout] test typecheck::test_policy::policy_if_entities_lub ... ok
[INFO] [stdout] test typecheck::test_policy::policy_no_conditions_attribute_access ... ok
[INFO] [stdout] test typecheck::test_policy::policy_entity_type_principal_in_set_user_only ... ok
[INFO] [stdout] test typecheck::test_policy::policy_impossible_not_has ... ok
[INFO] [stdout] test typecheck::test_policy::record_entity_lub_non_term ... ok
[INFO] [stdout] test typecheck::test_policy::is_typechecks_singleton ... ok
[INFO] [stdout] test typecheck::test_policy::templates::resource_eq_slot ... ok
[INFO] [stdout] test typecheck::test_policy::policy_single_action_attribute_access ... ok
[INFO] [stdout] test typecheck::test_policy::policy_invalid_attribute_2 ... ok
[INFO] [stdout] test typecheck::test_policy::policy_entity_type_principal_in_set ... ok
[INFO] [stdout] test typecheck::test_policy::policy_principal_action_attribute_access ... ok
[INFO] [stdout] test typecheck::test_policy::validate_policy_with_typedef_schema ... ok
[INFO] [stdout] test typecheck::test_policy::templates::principal_eq_slot ... ok
[INFO] [stdout] test typecheck::test_policy::templates::principal_resource_eq_slot ... ok
[INFO] [stdout] test typecheck::test_policy::templates::resource_in_slot ... ok
[INFO] [stdout] test typecheck::test_policy::templates::principal_in_slot ... ok
[INFO] [stdout] test typecheck::test_policy::templates::template_all_false ... ok
[INFO] [stdout] test typecheck::test_policy::policy_resource_narrows_principal ... ok
[INFO] [stdout] test typecheck::test_policy::templates::principal_resource_in_slot ... ok
[INFO] [stdout] test typecheck::test_policy::templates::principal_slot_safe_body ... ok
[INFO] [stdout] test typecheck::test_strict::bool_eq_types_match ... ok
[INFO] [stdout] test typecheck::test_policy::type_error_is_not_reported_for_every_cross_product_element ... ok
[INFO] [stdout] test typecheck::test_policy::templates::resource_slot_safe_body ... ok
[INFO] [stdout] test typecheck::test_strict::contains_any_strict_types_mismatch ... ok
[INFO] [stdout] test typecheck::test_strict::contains_strict_types_mismatch ... ok
[INFO] [stdout] test typecheck::test_strict::contains_all_strict_types_mismatch ... ok
[INFO] [stdout] test typecheck::test_strict::false_eq_rewrites_to_false ... ok
[INFO] [stdout] test typecheck::test_strict::if_bool_keeps_both ... ok
[INFO] [stdout] test typecheck::test_policy::templates::resource_slot_error_body ... ok
[INFO] [stdout] test typecheck::test_strict::empty_set_literal ... ok
[INFO] [stdout] test typecheck::test_strict::entity_in_lub ... ok
[INFO] [stdout] test typecheck::test_policy::templates::principal_slot_error_body ... ok
[INFO] [stdout] test typecheck::test_strict::if_true_then_only ... ok
[INFO] [stdout] test typecheck::test_strict::if_false_else_only ... ok
[INFO] [stdout] test typecheck::test_strict::ext_struct_non_lit ... ok
[INFO] [stdout] test typecheck::test_strict::set_strict_types_mismatch ... ok
[INFO] [stdout] test typecheck::test_strict::strict_typecheck_catches_regular_type_error ... ok
[INFO] [stdout] test typecheck::test_strict::test_like ... ok
[INFO] [stdout] test typecheck::test_strict::test_and ... ok
[INFO] [stdout] test typecheck::test_strict::true_eq_rewrites_to_true ... ok
[INFO] [stdout] test typecheck::test_strict::if_bool_strict_type_mismatch ... ok
[INFO] [stdout] test typecheck::test_strict::test_extension ... ok
[INFO] [stdout] test typecheck::test_strict::test_unary ... ok
[INFO] [stdout] test typecheck::test_strict::test_get_attr ... ok
[INFO] [stdout] test typecheck::test_strict::test_or ... ok
[INFO] [stdout] test types::test::test_action_entity_lub ... ok
[INFO] [stdout] test types::test::test_extension_lub ... ok
[INFO] [stdout] test types::test::record_entity_lub_non_term ... ok
[INFO] [stdout] test typecheck::test_strict::test_mul ... ok
[INFO] [stdout] test typecheck::test_unspecified_entity::spec_principal_unspec_resource ... ok
[INFO] [stdout] test types::test::test_primitive_lub ... ok
[INFO] [stdout] test types::test::test_record_undef_lub ... ok
[INFO] [stdout] test types::test::test_set_lub ... ok
[INFO] [stdout] test typecheck::test_strict::true_false_equality ... ok
[INFO] [stdout] test typecheck::test_strict::true_false_set ... ok
[INFO] [stdout] test types::test::test_record_lub ... ok
[INFO] [stdout] test typecheck::test_strict::eq_strict_types_mismatch ... ok
[INFO] [stdout] test typecheck::test_unspecified_entity::spec_resource_unspec_principal ... ok
[INFO] [stdout] test types::test::test_type_display ... ok
[INFO] [stdout] test types::test::text_extension_type_dislay ... ok
[INFO] [stdout] test types::test::test_record_entity_lub ... ok
[INFO] [stdout] test types::test::test_with_recursive_types ... ok
[INFO] [stdout] test typecheck::test_strict::test_has_attr ... ok
[INFO] [stdout] test types::test::test_entity_lub ... ok
[INFO] [stdout] test types::test::test_entity_lub_with_attributes ... ok
[INFO] [stdout] test typecheck::test_unspecified_entity::unspec_resource_unspec_principal ... ok
[INFO] [stdout] test typecheck::test_type_annotation::expr_typechecks_with_correct_annotation ... ok
[INFO] [stdout] test types::test::type_display_roundtrip ... ok
[INFO] [stdout] test typecheck::test_policy::policy_in_action_impossible ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 473 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.24s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests cedar_policy_validator
[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" "8770c6478eccdeeb4590ac98913e252f0f9f3357cdc879c304d01d6559650775", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8770c6478eccdeeb4590ac98913e252f0f9f3357cdc879c304d01d6559650775", kill_on_drop: false }`
[INFO] [stdout] 8770c6478eccdeeb4590ac98913e252f0f9f3357cdc879c304d01d6559650775
