[INFO] cloning repository https://github.com/Duckonaut/brakion
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Duckonaut/brakion" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FDuckonaut%2Fbrakion", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FDuckonaut%2Fbrakion'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] c8ee88ce8dca59ee2ef3274481a9096cc55c2dd3
[INFO] testing Duckonaut/brakion against 1.75.0 for beta-1.76-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FDuckonaut%2Fbrakion" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/Duckonaut/brakion on toolchain 1.75.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/Duckonaut/brakion
[INFO] finished tweaking git repo https://github.com/Duckonaut/brakion
[INFO] tweaked toml for git repo https://github.com/Duckonaut/brakion written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/Duckonaut/brakion already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded utf8-read v0.4.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 13daa5e7c8d0f14880b1bc695341ac69f1e119ee8e34b8ba8b25178b95c718e3
[INFO] running `Command { std: "docker" "start" "-a" "13daa5e7c8d0f14880b1bc695341ac69f1e119ee8e34b8ba8b25178b95c718e3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "13daa5e7c8d0f14880b1bc695341ac69f1e119ee8e34b8ba8b25178b95c718e3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "13daa5e7c8d0f14880b1bc695341ac69f1e119ee8e34b8ba8b25178b95c718e3", kill_on_drop: false }`
[INFO] [stdout] 13daa5e7c8d0f14880b1bc695341ac69f1e119ee8e34b8ba8b25178b95c718e3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 0ab6047e992c6429e5eff8e2a6c28363bb27efdd81c36e71f00ee3e13856ffdb
[INFO] running `Command { std: "docker" "start" "-a" "0ab6047e992c6429e5eff8e2a6c28363bb27efdd81c36e71f00ee3e13856ffdb", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.139
[INFO] [stderr]    Compiling proc-macro2 v1.0.51
[INFO] [stderr]    Compiling quote v1.0.23
[INFO] [stderr]    Compiling unicode-ident v1.0.6
[INFO] [stderr]    Compiling io-lifetimes v1.0.5
[INFO] [stderr]    Compiling syn v1.0.107
[INFO] [stderr]    Compiling rustix v0.36.8
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling linux-raw-sys v0.1.4
[INFO] [stderr]    Compiling heck v0.4.1
[INFO] [stderr]    Compiling os_str_bytes v6.4.1
[INFO] [stderr]    Compiling strsim v0.10.0
[INFO] [stderr]    Compiling utf8-read v0.4.0
[INFO] [stderr]    Compiling once_cell v1.17.1
[INFO] [stderr]    Compiling clap_lex v0.3.1
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling colored v2.0.0
[INFO] [stderr]    Compiling brakion-core v0.1.0 (/opt/rustwide/workdir/brakion-core)
[INFO] [stderr]    Compiling is-terminal v0.4.3
[INFO] [stderr]    Compiling clap_derive v4.1.0
[INFO] [stderr]    Compiling clap v4.1.6
[INFO] [stderr]    Compiling brakion v0.1.0 (/opt/rustwide/workdir/brakion)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 6.29s
[INFO] running `Command { std: "docker" "inspect" "0ab6047e992c6429e5eff8e2a6c28363bb27efdd81c36e71f00ee3e13856ffdb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0ab6047e992c6429e5eff8e2a6c28363bb27efdd81c36e71f00ee3e13856ffdb", kill_on_drop: false }`
[INFO] [stdout] 0ab6047e992c6429e5eff8e2a6c28363bb27efdd81c36e71f00ee3e13856ffdb
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4c749e2eba96407945d86f2326f8832e1554aa8d9e12eadc7f2c7ac5a0e5696f
[INFO] running `Command { std: "docker" "start" "-a" "4c749e2eba96407945d86f2326f8832e1554aa8d9e12eadc7f2c7ac5a0e5696f", kill_on_drop: false }`
[INFO] [stderr]    Compiling brakion-core v0.1.0 (/opt/rustwide/workdir/brakion-core)
[INFO] [stderr]    Compiling brakion v0.1.0 (/opt/rustwide/workdir/brakion)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 1.69s
[INFO] running `Command { std: "docker" "inspect" "4c749e2eba96407945d86f2326f8832e1554aa8d9e12eadc7f2c7ac5a0e5696f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4c749e2eba96407945d86f2326f8832e1554aa8d9e12eadc7f2c7ac5a0e5696f", kill_on_drop: false }`
[INFO] [stdout] 4c749e2eba96407945d86f2326f8832e1554aa8d9e12eadc7f2c7ac5a0e5696f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 396d76ea85ef717d6fd71b2a7dcd6144b72c9842ff1cd2907a7633dc395101c6
[INFO] running `Command { std: "docker" "start" "-a" "396d76ea85ef717d6fd71b2a7dcd6144b72c9842ff1cd2907a7633dc395101c6", kill_on_drop: false }`
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.02s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/brakion-019f02f640ed5b70)
[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] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/brakion_core-8de82f679912f332)
[INFO] [stdout] 
[INFO] [stdout] running 143 tests
[INFO] [stdout] test tests::lexer::bad_chars ... ok
[INFO] [stdout] test tests::lexer::char_abrupt_termination ... ok
[INFO] [stdout] test tests::lexer::char_abrupt_escape_termination ... ok
[INFO] [stdout] test tests::lexer::char_no_char ... ok
[INFO] [stdout] test tests::lexer::char_not_one_char ... ok
[INFO] [stdout] test tests::lexer::char_invalid_escapes ... ok
[INFO] [stdout] test tests::lexer::chars ... ok
[INFO] [stdout] test tests::lexer::comments ... ok
[INFO] [stdout] test tests::lexer::comments_filter ... ok
[INFO] [stdout] test tests::lexer::empty_char ... ok
[INFO] [stdout] test tests::lexer::empty ... ok
[INFO] [stdout] test tests::lexer::identifiers_with_keywords ... ok
[INFO] [stdout] test tests::lexer::hello_world ... ok
[INFO] [stdout] test tests::lexer::integer_bounds ... ok
[INFO] [stdout] test tests::lexer::float_bounds ... ok
[INFO] [stdout] test tests::lexer::identifiers ... ok
[INFO] [stdout] test tests::lexer::float_too_long ... ok
[INFO] [stdout] test tests::lexer::integer_too_long ... ok
[INFO] [stdout] test tests::lexer::keywords ... ok
[INFO] [stdout] test tests::lexer::numbers_short ... ok
[INFO] [stdout] test tests::lexer::multiline_string ... ok
[INFO] [stdout] test tests::lexer::line_ending_mix ... ok
[INFO] [stdout] test tests::lexer::line_ending_mix_amount ... ok
[INFO] [stdout] test tests::lexer::string_abrupt_escape_termination ... ok
[INFO] [stdout] test tests::lexer::string_abrupt_termination ... ok
[INFO] [stdout] test tests::lexer::simples ... ok
[INFO] [stdout] test tests::lexer::string_empty ... ok
[INFO] [stdout] test tests::lexer::string_invalid_escapes ... ok
[INFO] [stdout] test tests::lexer::strings ... ok
[INFO] [stdout] test tests::parser::decl::function_signature_basic ... ok
[INFO] [stdout] test tests::parser::decl::empty ... ok
[INFO] [stdout] test tests::parser::decl::function_signature_return_list ... ok
[INFO] [stdout] test tests::parser::decl::function_signature_return_basic ... ok
[INFO] [stdout] test tests::parser::decl::impl_empty ... ok
[INFO] [stdout] test tests::parser::decl::function_signature_return_namespaced ... ok
[INFO] [stdout] test tests::parser::decl::mod_empty ... ok
[INFO] [stdout] test tests::parser::decl::function_signature_with_params ... ok
[INFO] [stdout] test tests::parser::decl::impl_full ... ok
[INFO] [stdout] test tests::parser::decl::mod_empty_pub ... ok
[INFO] [stdout] test tests::lexer::identifier_too_long ... ok
[INFO] [stdout] test tests::parser::decl::nothing_valid ... ok
[INFO] [stdout] test tests::parser::decl::trait_empty ... ok
[INFO] [stdout] test tests::parser::decl::mod_with_bad_decl ... ok
[INFO] [stdout] test tests::parser::decl::trait_methods ... ok
[INFO] [stdout] test tests::lexer::char_too_long ... ok
[INFO] [stdout] test tests::parser::decl::type_multiple_variants ... ok
[INFO] [stdout] test tests::parser::decl::type_empty ... ok
[INFO] [stdout] test tests::parser::decl::mod_with_decl ... ok
[INFO] [stdout] test tests::parser::decl::mod_with_decl_pub ... ok
[INFO] [stdout] test tests::parser::decl::type_mathods_only ... ok
[INFO] [stdout] test tests::parser::decl::type_basic ... ok
[INFO] [stdout] test tests::parser::decl::type_single_variant ... ok
[INFO] [stdout] test tests::parser::decl::type_self_variant_explicit ... ok
[INFO] [stdout] test tests::parser::decl::type_self_variant_field ... ok
[INFO] [stdout] test tests::parser::expr::and ... ok
[INFO] [stdout] test tests::lexer::string_too_long ... ok
[INFO] [stdout] test tests::parser::decl::type_single_variant_fields ... ok
[INFO] [stdout] test tests::parser::expr::as_type ... ok
[INFO] [stdout] test tests::parser::decl::type_variants_method ... ok
[INFO] [stdout] test tests::parser::decl::type_variants_methods_interweave_2 ... ok
[INFO] [stdout] test tests::parser::expr::as_chain ... ok
[INFO] [stdout] test tests::parser::decl::type_variants_methods_interweave ... ok
[INFO] [stdout] test tests::parser::expr::call ... ok
[INFO] [stdout] test tests::parser::expr::and_or_precedence ... ok
[INFO] [stdout] test tests::parser::expr::comparisons ... ok
[INFO] [stdout] test tests::parser::expr::empty ... ok
[INFO] [stdout] test tests::parser::expr::call_with_args_trailing_comma ... ok
[INFO] [stdout] test tests::parser::expr::comparisons_left_to_right ... ok
[INFO] [stdout] test tests::parser::expr::equality ... ok
[INFO] [stdout] test tests::parser::expr::call_field ... ok
[INFO] [stdout] test tests::parser::expr::call_with_args ... ok
[INFO] [stdout] test tests::parser::expr::constructor ... ok
[INFO] [stdout] test tests::parser::expr::factor_repeating ... ok
[INFO] [stdout] test tests::parser::expr::field_access_chain ... ok
[INFO] [stdout] test tests::parser::expr::factor_simple ... ok
[INFO] [stdout] test tests::parser::expr::eq_neq_lack_precedence ... ok
[INFO] [stdout] test tests::parser::expr::field_access ... ok
[INFO] [stdout] test tests::parser::expr::identifier ... ok
[INFO] [stdout] test tests::parser::expr::is_chain ... ok
[INFO] [stdout] test tests::parser::expr::indexing ... ok
[INFO] [stdout] test tests::parser::expr::is ... ok
[INFO] [stdout] test tests::parser::expr::literal_bool_true ... ok
[INFO] [stdout] test tests::parser::expr::literal_integer ... ok
[INFO] [stdout] test tests::parser::expr::literal_float ... ok
[INFO] [stdout] test tests::parser::expr::field_call ... ok
[INFO] [stdout] test tests::parser::expr::literal_bool_false ... ok
[INFO] [stdout] test tests::parser::expr::literal_char ... ok
[INFO] [stdout] test tests::parser::expr::indexing_chain ... ok
[INFO] [stdout] test tests::parser::expr::literal_list_multiple_elem ... ok
[INFO] [stdout] test tests::parser::expr::namespaced_identifier ... ok
[INFO] [stdout] test tests::parser::expr::literal_void ... ok
[INFO] [stdout] test tests::parser::expr::literal_string_escape ... ok
[INFO] [stdout] test tests::parser::expr::literal_string ... ok
[INFO] [stdout] test tests::parser::expr::literal_list_single_elem ... ok
[INFO] [stdout] test tests::parser::expr::nequality ... ok
[INFO] [stdout] test tests::parser::expr::term_repeating ... ok
[INFO] [stdout] test tests::parser::expr::namespace_call ... ok
[INFO] [stdout] test tests::parser::expr::or ... ok
[INFO] [stdout] test tests::parser::expr::term_simple ... ok
[INFO] [stdout] test tests::parser::expr::unary ... ok
[INFO] [stdout] test tests::parser::stmt::block_with_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::assignment ... ok
[INFO] [stdout] test tests::parser::stmt::comment ... ok
[INFO] [stdout] test tests::parser::stmt::continue_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::comment_with_newline ... ok
[INFO] [stdout] test tests::parser::expr::unary_chain ... ok
[INFO] [stdout] test tests::parser::stmt::break_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::comment_with_newline_and_space ... ok
[INFO] [stdout] test tests::parser::stmt::block_with_stmts ... ok
[INFO] [stdout] test tests::parser::stmt::expr ... ok
[INFO] [stdout] test tests::parser::stmt::empty ... ok
[INFO] [stdout] test tests::parser::stmt::empty_block ... ok
[INFO] [stdout] test tests::parser::stmt::if_else_chain ... ok
[INFO] [stdout] test tests::parser::stmt::if_else ... ok
[INFO] [stdout] test tests::parser::stmt::for_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::match_stmt_with_var ... ok
[INFO] [stdout] test tests::parser::stmt::match_ctor ... ok
[INFO] [stdout] test tests::parser::stmt::if_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::return_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::variable ... ok
[INFO] [stdout] test tests::parser::stmt::match_stmt_with_var_type ... ok
[INFO] [stdout] test tests::parser::stmt::match_stmt_basic ... ok
[INFO] [stdout] test tests::unit::utf8_misalignment_boundary ... ok
[INFO] [stdout] test tests::validator::expr::add_sub ... ok
[INFO] [stdout] test tests::parser::stmt::while_stmt ... ok
[INFO] [stdout] test tests::validator::expr::int_float ... ok
[INFO] [stdout] test tests::validator::expr::int_signedness ... ok
[INFO] [stdout] test tests::validator::types::lookup ... ok
[INFO] [stdout] test tests::validator::types::list_to_list ... ok
[INFO] [stdout] test tests::validator::types::infer_everything ... ok
[INFO] [stdout] test tests::validator::types::list_to_union ... ok
[INFO] [stdout] test tests::validator::expr::int_sizes ... ok
[INFO] [stdout] test tests::validator::types::named_to_named ... ok
[INFO] [stdout] test tests::validator::types::named_to_union ... ok
[INFO] [stdout] test tests::validator::types::named_to_void ... ok
[INFO] [stdout] test tests::validator::types::type_impl_trait ... ok
[INFO] [stdout] test tests::validator::types::union_same ... ok
[INFO] [stdout] test tests::validator::types::void_to_named ... ok
[INFO] [stdout] test tests::validator::types::union_to_union ... ok
[INFO] [stdout] test tests::validator::types::void_to_void ... ok
[INFO] [stdout] test tests::validator::types::void_to_union ... ok
[INFO] [stdout] test tests::unit::utf8_misalignment_end - should panic ... ok
[INFO] [stdout] test tests::validator::decl::collapse_simple ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- tests::validator::decl::collapse_simple stdout ----
[INFO] [stdout] [brakion-core/src/tests/validator/decl.rs:215] &collapsed = Function {
[INFO] [stdout]     signature: FunctionSignature {
[INFO] [stdout]         name: Identifier {
[INFO] [stdout]             span: Span {
[INFO] [stdout]                 unit: 0,
[INFO] [stdout]                 start: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]                 end: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]             },
[INFO] [stdout]             name: "f",
[INFO] [stdout]         },
[INFO] [stdout]         takes_self: false,
[INFO] [stdout]         self_precondition: None,
[INFO] [stdout]         parameters: [
[INFO] [stdout]             Parameter {
[INFO] [stdout]                 name: Identifier {
[INFO] [stdout]                     span: Span {
[INFO] [stdout]                         unit: 0,
[INFO] [stdout]                         start: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                         end: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                     },
[INFO] [stdout]                     name: "x",
[INFO] [stdout]                 },
[INFO] [stdout]                 ty: TypeReference {
[INFO] [stdout]                     span: None,
[INFO] [stdout]                     kind: Named(
[INFO] [stdout]                         NamespacedIdentifier {
[INFO] [stdout]                             namespace: [],
[INFO] [stdout]                             ident: Identifier {
[INFO] [stdout]                                 span: Span {
[INFO] [stdout]                                     unit: 0,
[INFO] [stdout]                                     start: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                     end: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                 },
[INFO] [stdout]                                 name: "Foo",
[INFO] [stdout]                             },
[INFO] [stdout]                         },
[INFO] [stdout]                     ),
[INFO] [stdout]                 },
[INFO] [stdout]                 kind: Basic,
[INFO] [stdout]             },
[INFO] [stdout]         ],
[INFO] [stdout]         return_type: TypeReference {
[INFO] [stdout]             span: None,
[INFO] [stdout]             kind: Void,
[INFO] [stdout]         },
[INFO] [stdout]     },
[INFO] [stdout]     body: [
[INFO] [stdout]         Stmt {
[INFO] [stdout]             span: Span {
[INFO] [stdout]                 unit: 0,
[INFO] [stdout]                 start: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]                 end: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]             },
[INFO] [stdout]             kind: Block(
[INFO] [stdout]                 [
[INFO] [stdout]                     Stmt {
[INFO] [stdout]                         span: Span {
[INFO] [stdout]                             unit: 0,
[INFO] [stdout]                             start: Location {
[INFO] [stdout]                                 line: 0,
[INFO] [stdout]                                 line_start: 0,
[INFO] [stdout]                                 column: 0,
[INFO] [stdout]                             },
[INFO] [stdout]                             end: Location {
[INFO] [stdout]                                 line: 0,
[INFO] [stdout]                                 line_start: 0,
[INFO] [stdout]                                 column: 0,
[INFO] [stdout]                             },
[INFO] [stdout]                         },
[INFO] [stdout]                         kind: Return(
[INFO] [stdout]                             Expr {
[INFO] [stdout]                                 kind: Literal(
[INFO] [stdout]                                     Void,
[INFO] [stdout]                                 ),
[INFO] [stdout]                                 span: Span {
[INFO] [stdout]                                     unit: 0,
[INFO] [stdout]                                     start: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                     end: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                 },
[INFO] [stdout]                             },
[INFO] [stdout]                         ),
[INFO] [stdout]                     },
[INFO] [stdout]                 ],
[INFO] [stdout]             ),
[INFO] [stdout]         },
[INFO] [stdout]         Stmt {
[INFO] [stdout]             span: Span {
[INFO] [stdout]                 unit: 0,
[INFO] [stdout]                 start: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]                 end: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]             },
[INFO] [stdout]             kind: Return(
[INFO] [stdout]                 Expr {
[INFO] [stdout]                     kind: Literal(
[INFO] [stdout]                         Bool(
[INFO] [stdout]                             true,
[INFO] [stdout]                         ),
[INFO] [stdout]                     ),
[INFO] [stdout]                     span: Span {
[INFO] [stdout]                         unit: 0,
[INFO] [stdout]                         start: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                         end: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                     },
[INFO] [stdout]                 },
[INFO] [stdout]             ),
[INFO] [stdout]         },
[INFO] [stdout]     ],
[INFO] [stdout] }
[INFO] [stdout] [brakion-core/src/tests/validator/decl.rs:216] &expected = Function {
[INFO] [stdout]     signature: FunctionSignature {
[INFO] [stdout]         name: Identifier {
[INFO] [stdout]             span: Span {
[INFO] [stdout]                 unit: 0,
[INFO] [stdout]                 start: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]                 end: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]             },
[INFO] [stdout]             name: "f",
[INFO] [stdout]         },
[INFO] [stdout]         takes_self: false,
[INFO] [stdout]         self_precondition: None,
[INFO] [stdout]         parameters: [
[INFO] [stdout]             Parameter {
[INFO] [stdout]                 name: Identifier {
[INFO] [stdout]                     span: Span {
[INFO] [stdout]                         unit: 0,
[INFO] [stdout]                         start: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                         end: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                     },
[INFO] [stdout]                     name: "x",
[INFO] [stdout]                 },
[INFO] [stdout]                 ty: TypeReference {
[INFO] [stdout]                     span: None,
[INFO] [stdout]                     kind: Named(
[INFO] [stdout]                         NamespacedIdentifier {
[INFO] [stdout]                             namespace: [],
[INFO] [stdout]                             ident: Identifier {
[INFO] [stdout]                                 span: Span {
[INFO] [stdout]                                     unit: 0,
[INFO] [stdout]                                     start: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                     end: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                 },
[INFO] [stdout]                                 name: "Foo",
[INFO] [stdout]                             },
[INFO] [stdout]                         },
[INFO] [stdout]                     ),
[INFO] [stdout]                 },
[INFO] [stdout]                 kind: Basic,
[INFO] [stdout]             },
[INFO] [stdout]         ],
[INFO] [stdout]         return_type: TypeReference {
[INFO] [stdout]             span: None,
[INFO] [stdout]             kind: Void,
[INFO] [stdout]         },
[INFO] [stdout]     },
[INFO] [stdout]     body: [
[INFO] [stdout]         Stmt {
[INFO] [stdout]             span: Span {
[INFO] [stdout]                 unit: 0,
[INFO] [stdout]                 start: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]                 end: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]             },
[INFO] [stdout]             kind: If {
[INFO] [stdout]                 condition: Expr {
[INFO] [stdout]                     kind: TypeBinary {
[INFO] [stdout]                         op: Is,
[INFO] [stdout]                         expr: Expr {
[INFO] [stdout]                             kind: Variable(
[INFO] [stdout]                                 NamespacedIdentifier {
[INFO] [stdout]                                     namespace: [],
[INFO] [stdout]                                     ident: Identifier {
[INFO] [stdout]                                         span: Span {
[INFO] [stdout]                                             unit: 0,
[INFO] [stdout]                                             start: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                             end: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                         },
[INFO] [stdout]                                         name: "x",
[INFO] [stdout]                                     },
[INFO] [stdout]                                 },
[INFO] [stdout]                             ),
[INFO] [stdout]                             span: Span {
[INFO] [stdout]                                 unit: 0,
[INFO] [stdout]                                 start: Location {
[INFO] [stdout]                                     line: 0,
[INFO] [stdout]                                     line_start: 0,
[INFO] [stdout]                                     column: 0,
[INFO] [stdout]                                 },
[INFO] [stdout]                                 end: Location {
[INFO] [stdout]                                     line: 0,
[INFO] [stdout]                                     line_start: 0,
[INFO] [stdout]                                     column: 0,
[INFO] [stdout]                                 },
[INFO] [stdout]                             },
[INFO] [stdout]                         },
[INFO] [stdout]                         ty: TypeReference {
[INFO] [stdout]                             span: None,
[INFO] [stdout]                             kind: Named(
[INFO] [stdout]                                 NamespacedIdentifier {
[INFO] [stdout]                                     namespace: [
[INFO] [stdout]                                         Identifier {
[INFO] [stdout]                                             span: Span {
[INFO] [stdout]                                                 unit: 0,
[INFO] [stdout]                                                 start: Location {
[INFO] [stdout]                                                     line: 0,
[INFO] [stdout]                                                     line_start: 0,
[INFO] [stdout]                                                     column: 0,
[INFO] [stdout]                                                 },
[INFO] [stdout]                                                 end: Location {
[INFO] [stdout]                                                     line: 0,
[INFO] [stdout]                                                     line_start: 0,
[INFO] [stdout]                                                     column: 0,
[INFO] [stdout]                                                 },
[INFO] [stdout]                                             },
[INFO] [stdout]                                             name: "Foo",
[INFO] [stdout]                                         },
[INFO] [stdout]                                     ],
[INFO] [stdout]                                     ident: Identifier {
[INFO] [stdout]                                         span: Span {
[INFO] [stdout]                                             unit: 0,
[INFO] [stdout]                                             start: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                             end: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                         },
[INFO] [stdout]                                         name: "Bar",
[INFO] [stdout]                                     },
[INFO] [stdout]                                 },
[INFO] [stdout]                             ),
[INFO] [stdout]                         },
[INFO] [stdout]                     },
[INFO] [stdout]                     span: Span {
[INFO] [stdout]                         unit: 0,
[INFO] [stdout]                         start: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                         end: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                     },
[INFO] [stdout]                 },
[INFO] [stdout]                 then: Stmt {
[INFO] [stdout]                     span: Span {
[INFO] [stdout]                         unit: 0,
[INFO] [stdout]                         start: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                         end: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                     },
[INFO] [stdout]                     kind: Block(
[INFO] [stdout]                         [
[INFO] [stdout]                             Stmt {
[INFO] [stdout]                                 span: Span {
[INFO] [stdout]                                     unit: 0,
[INFO] [stdout]                                     start: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                     end: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                 },
[INFO] [stdout]                                 kind: Return(
[INFO] [stdout]                                     Expr {
[INFO] [stdout]                                         kind: Literal(
[INFO] [stdout]                                             Void,
[INFO] [stdout]                                         ),
[INFO] [stdout]                                         span: Span {
[INFO] [stdout]                                             unit: 0,
[INFO] [stdout]                                             start: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                             end: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                         },
[INFO] [stdout]                                     },
[INFO] [stdout]                                 ),
[INFO] [stdout]                             },
[INFO] [stdout]                         ],
[INFO] [stdout]                     ),
[INFO] [stdout]                 },
[INFO] [stdout]                 otherwise: None,
[INFO] [stdout]             },
[INFO] [stdout]         },
[INFO] [stdout]         Stmt {
[INFO] [stdout]             span: Span {
[INFO] [stdout]                 unit: 0,
[INFO] [stdout]                 start: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]                 end: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]             },
[INFO] [stdout]             kind: If {
[INFO] [stdout]                 condition: Expr {
[INFO] [stdout]                     kind: TypeBinary {
[INFO] [stdout]                         op: Is,
[INFO] [stdout]                         expr: Expr {
[INFO] [stdout]                             kind: Variable(
[INFO] [stdout]                                 NamespacedIdentifier {
[INFO] [stdout]                                     namespace: [],
[INFO] [stdout]                                     ident: Identifier {
[INFO] [stdout]                                         span: Span {
[INFO] [stdout]                                             unit: 0,
[INFO] [stdout]                                             start: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                             end: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                         },
[INFO] [stdout]                                         name: "x",
[INFO] [stdout]                                     },
[INFO] [stdout]                                 },
[INFO] [stdout]                             ),
[INFO] [stdout]                             span: Span {
[INFO] [stdout]                                 unit: 0,
[INFO] [stdout]                                 start: Location {
[INFO] [stdout]                                     line: 0,
[INFO] [stdout]                                     line_start: 0,
[INFO] [stdout]                                     column: 0,
[INFO] [stdout]                                 },
[INFO] [stdout]                                 end: Location {
[INFO] [stdout]                                     line: 0,
[INFO] [stdout]                                     line_start: 0,
[INFO] [stdout]                                     column: 0,
[INFO] [stdout]                                 },
[INFO] [stdout]                             },
[INFO] [stdout]                         },
[INFO] [stdout]                         ty: TypeReference {
[INFO] [stdout]                             span: None,
[INFO] [stdout]                             kind: Named(
[INFO] [stdout]                                 NamespacedIdentifier {
[INFO] [stdout]                                     namespace: [
[INFO] [stdout]                                         Identifier {
[INFO] [stdout]                                             span: Span {
[INFO] [stdout]                                                 unit: 0,
[INFO] [stdout]                                                 start: Location {
[INFO] [stdout]                                                     line: 0,
[INFO] [stdout]                                                     line_start: 0,
[INFO] [stdout]                                                     column: 0,
[INFO] [stdout]                                                 },
[INFO] [stdout]                                                 end: Location {
[INFO] [stdout]                                                     line: 0,
[INFO] [stdout]                                                     line_start: 0,
[INFO] [stdout]                                                     column: 0,
[INFO] [stdout]                                                 },
[INFO] [stdout]                                             },
[INFO] [stdout]                                             name: "Foo",
[INFO] [stdout]                                         },
[INFO] [stdout]                                     ],
[INFO] [stdout]                                     ident: Identifier {
[INFO] [stdout]                                         span: Span {
[INFO] [stdout]                                             unit: 0,
[INFO] [stdout]                                             start: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                             end: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                         },
[INFO] [stdout]                                         name: "Baz",
[INFO] [stdout]                                     },
[INFO] [stdout]                                 },
[INFO] [stdout]                             ),
[INFO] [stdout]                         },
[INFO] [stdout]                     },
[INFO] [stdout]                     span: Span {
[INFO] [stdout]                         unit: 0,
[INFO] [stdout]                         start: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                         end: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                     },
[INFO] [stdout]                 },
[INFO] [stdout]                 then: Stmt {
[INFO] [stdout]                     span: Span {
[INFO] [stdout]                         unit: 0,
[INFO] [stdout]                         start: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                         end: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                     },
[INFO] [stdout]                     kind: Block(
[INFO] [stdout]                         [
[INFO] [stdout]                             Stmt {
[INFO] [stdout]                                 span: Span {
[INFO] [stdout]                                     unit: 0,
[INFO] [stdout]                                     start: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                     end: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                 },
[INFO] [stdout]                                 kind: Return(
[INFO] [stdout]                                     Expr {
[INFO] [stdout]                                         kind: Literal(
[INFO] [stdout]                                             Bool(
[INFO] [stdout]                                                 true,
[INFO] [stdout]                                             ),
[INFO] [stdout]                                         ),
[INFO] [stdout]                                         span: Span {
[INFO] [stdout]                                             unit: 0,
[INFO] [stdout]                                             start: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                             end: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                         },
[INFO] [stdout]                                     },
[INFO] [stdout]                                 ),
[INFO] [stdout]                             },
[INFO] [stdout]                         ],
[INFO] [stdout]                     ),
[INFO] [stdout]                 },
[INFO] [stdout]                 otherwise: None,
[INFO] [stdout]             },
[INFO] [stdout]         },
[INFO] [stdout]     ],
[INFO] [stdout] }
[INFO] [stdout] thread 'tests::validator::decl::collapse_simple' panicked at brakion-core/src/tests/validator/decl.rs:218:5:
[INFO] [stdout] assertion `left == right` failed
[INFO] [stdout]   left: Function { signature: FunctionSignature { name: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "f" }, takes_self: false, self_precondition: None, parameters: [Parameter { name: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "x" }, ty: TypeReference { span: None, kind: Named(NamespacedIdentifier { namespace: [], ident: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "Foo" } }) }, kind: Basic }], return_type: TypeReference { span: None, kind: Void } }, body: [Stmt { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, kind: Block([Stmt { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, kind: Return(Expr { kind: Literal(Void), span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } } }) }]) }, Stmt { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, kind: Return(Expr { kind: Literal(Bool(true)), span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } } }) }] }
[INFO] [stdout]  right: Function { signature: FunctionSignature { name: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "f" }, takes_self: false, self_precondition: None, parameters: [Parameter { name: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "x" }, ty: TypeReference { span: None, kind: Named(NamespacedIdentifier { namespace: [], ident: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "Foo" } }) }, kind: Basic }], return_type: TypeReference { span: None, kind: Void } }, body: [Stmt { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, kind: If { condition: Expr { kind: TypeBinary { op: Is, expr: Expr { kind: Variable(NamespacedIdentifier { namespace: [], ident: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "x" } }), span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } } }, ty: TypeReference { span: None, kind: Named(NamespacedIdentifier { namespace: [Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "Foo" }], ident: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "Bar" } }) } }, span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } } }, then: Stmt { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, kind: Block([Stmt { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, kind: Return(Expr { kind: Literal(Void), span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } } }) }]) }, otherwise: None } }, Stmt { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, kind: If { condition: Expr { kind: TypeBinary { op: Is, expr: Expr { kind: Variable(NamespacedIdentifier { namespace: [], ident: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "x" } }), span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } } }, ty: TypeReference { span: None, kind: Named(NamespacedIdentifier { namespace: [Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "Foo" }], ident: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "Baz" } }) } }, span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } } }, then: Stmt { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, kind: Block([Stmt { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, kind: Return(Expr { kind: Literal(Bool(true)), span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } } }) }]) }, otherwise: None } }] }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x563d099193ac - std::backtrace_rs::backtrace::libunwind::trace::ha637c64ce894333a
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/../../backtrace/src/backtrace/libunwind.rs:104:5
[INFO] [stdout]    1:     0x563d099193ac - std::backtrace_rs::backtrace::trace_unsynchronized::h47f62dea28e0c88d
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x563d099193ac - std::sys_common::backtrace::_print_fmt::h9eef0abe20ede486
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/sys_common/backtrace.rs:67:5
[INFO] [stdout]    3:     0x563d099193ac - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hed7f999df88cc644
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x563d09943a10 - core::fmt::rt::Argument::fmt::h1539a9308b8d058d
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/fmt/rt.rs:142:9
[INFO] [stdout]    5:     0x563d09943a10 - core::fmt::write::h3a39390d8560d9c9
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/fmt/mod.rs:1120:17
[INFO] [stdout]    6:     0x563d09916d5f - std::io::Write::write_fmt::h040b369f3a0f9cbc
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/io/mod.rs:1762:15
[INFO] [stdout]    7:     0x563d09919194 - std::sys_common::backtrace::_print::h894006fb5c6f3d45
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    8:     0x563d09919194 - std::sys_common::backtrace::print::h23a2d212c6fff936
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    9:     0x563d0991ae57 - std::panicking::default_hook::{{closure}}::h8a1d2ee00185001a
[INFO] [stdout]   10:     0x563d0991ab43 - std::panicking::default_hook::h6038f2eba384e475
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:289:9
[INFO] [stdout]   11:     0x563d098dc367 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h0ad024c9bdc6d768
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/alloc/src/boxed.rs:2021:9
[INFO] [stdout]   12:     0x563d098dc367 - test::test_main::{{closure}}::h7500b54257359db6
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/test/src/lib.rs:138:21
[INFO] [stdout]   13:     0x563d0991b468 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h1f8f335eaa9cfaee
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/alloc/src/boxed.rs:2021:9
[INFO] [stdout]   14:     0x563d0991b468 - std::panicking::rust_panic_with_hook::h2b5517d590cab22e
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:783:13
[INFO] [stdout]   15:     0x563d0991b1be - std::panicking::begin_panic_handler::{{closure}}::h233112c06e0ef43e
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:657:13
[INFO] [stdout]   16:     0x563d09919876 - std::sys_common::backtrace::__rust_end_short_backtrace::h6e893f24d7ebbff8
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/sys_common/backtrace.rs:170:18
[INFO] [stdout]   17:     0x563d0991af22 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:645:5
[INFO] [stdout]   18:     0x563d097addd5 - core::panicking::panic_fmt::hbf0e066aabfa482c
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/panicking.rs:72:14
[INFO] [stdout]   19:     0x563d097ae1eb - core::panicking::assert_failed_inner::h0bba8b7c26ee4492
[INFO] [stdout]   20:     0x563d0983c9fe - core::panicking::assert_failed::h9e9a69e3d3000ba3
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/panicking.rs:279:5
[INFO] [stdout]   21:     0x563d098a776e - brakion_core::tests::validator::decl::collapse_simple::hd5d6b464a729fc6b
[INFO] [stdout]                                at /opt/rustwide/workdir/brakion-core/src/tests/validator/decl.rs:218:5
[INFO] [stdout]   22:     0x563d098a3c77 - brakion_core::tests::validator::decl::collapse_simple::{{closure}}::h407611655e28c1fa
[INFO] [stdout]                                at /opt/rustwide/workdir/brakion-core/src/tests/validator/decl.rs:20:21
[INFO] [stdout]   23:     0x563d098077a6 - core::ops::function::FnOnce::call_once::h96d2de35bf3d3bf7
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x563d098e19bf - core::ops::function::FnOnce::call_once::h2b5d431d5046312d
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x563d098e19bf - test::__rust_begin_short_backtrace::h7714669af176e207
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/test/src/lib.rs:628:18
[INFO] [stdout]   26:     0x563d098e09d5 - test::run_test_in_process::{{closure}}::h85218797dcbcec12
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/test/src/lib.rs:651:60
[INFO] [stdout]   27:     0x563d098e09d5 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h76c106ea31c14d7b
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   28:     0x563d098e09d5 - std::panicking::try::do_call::h3bd5d0f6620ee946
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:552:40
[INFO] [stdout]   29:     0x563d098e09d5 - std::panicking::try::h232e535e4744fe31
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:516:19
[INFO] [stdout]   30:     0x563d098e09d5 - std::panic::catch_unwind::h3ce3bd6ca8dbac68
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panic.rs:142:14
[INFO] [stdout]   31:     0x563d098e09d5 - test::run_test_in_process::hc97b257c9621286a
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/test/src/lib.rs:651:27
[INFO] [stdout]   32:     0x563d098e09d5 - test::run_test::{{closure}}::h2aa798823a438d38
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/test/src/lib.rs:574:43
[INFO] [stdout]   33:     0x563d098a8c96 - test::run_test::{{closure}}::h87d231c78fb59832
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/test/src/lib.rs:602:41
[INFO] [stdout]   34:     0x563d098a8c96 - std::sys_common::backtrace::__rust_begin_short_backtrace::he6df152596625789
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/sys_common/backtrace.rs:154:18
[INFO] [stdout]   35:     0x563d098add47 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::ha94be15d1e0acf36
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/thread/mod.rs:529:17
[INFO] [stdout]   36:     0x563d098add47 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h9dc6bd6372f16606
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   37:     0x563d098add47 - std::panicking::try::do_call::h9057517f80303cd4
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:552:40
[INFO] [stdout]   38:     0x563d098add47 - std::panicking::try::he3a30b11ee45340c
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:516:19
[INFO] [stdout]   39:     0x563d098add47 - std::panic::catch_unwind::h410458cfd3528b8b
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panic.rs:142:14
[INFO] [stdout]   40:     0x563d098add47 - std::thread::Builder::spawn_unchecked_::{{closure}}::h72ac3bdb567b737b
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/thread/mod.rs:528:30
[INFO] [stdout]   41:     0x563d098add47 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h38f34da3654a8344
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x563d0991fef5 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hc7eafaff61e32df9
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/alloc/src/boxed.rs:2007:9
[INFO] [stdout]   43:     0x563d0991fef5 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h6ba4a5de48dd2304
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/alloc/src/boxed.rs:2007:9
[INFO] [stdout]   44:     0x563d0991fef5 - std::sys::unix::thread::Thread::new::thread_start::he469335aef763e45
[INFO] [stdout]                                at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/sys/unix/thread.rs:108:17
[INFO] [stdout]   45:     0x7f847faaaac3 - <unknown>
[INFO] [stdout]   46:     0x7f847fb3bbf4 - __clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     tests::validator::decl::collapse_simple
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p brakion-core --lib`
[INFO] [stdout] test result: FAILED. 142 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "396d76ea85ef717d6fd71b2a7dcd6144b72c9842ff1cd2907a7633dc395101c6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "396d76ea85ef717d6fd71b2a7dcd6144b72c9842ff1cd2907a7633dc395101c6", kill_on_drop: false }`
[INFO] [stdout] 396d76ea85ef717d6fd71b2a7dcd6144b72c9842ff1cd2907a7633dc395101c6
[INFO] testing Duckonaut/brakion against beta-2023-12-22 for beta-1.76-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FDuckonaut%2Fbrakion" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/Duckonaut/brakion on toolchain beta-2023-12-22
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-12-22" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/Duckonaut/brakion
[INFO] finished tweaking git repo https://github.com/Duckonaut/brakion
[INFO] tweaked toml for git repo https://github.com/Duckonaut/brakion written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/Duckonaut/brakion already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-12-22" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-12-22" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f1f8df2145db865f635f312fe3dea157bdd3645241c22185b96b410dd33dd7e1
[INFO] running `Command { std: "docker" "start" "-a" "f1f8df2145db865f635f312fe3dea157bdd3645241c22185b96b410dd33dd7e1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f1f8df2145db865f635f312fe3dea157bdd3645241c22185b96b410dd33dd7e1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f1f8df2145db865f635f312fe3dea157bdd3645241c22185b96b410dd33dd7e1", kill_on_drop: false }`
[INFO] [stdout] f1f8df2145db865f635f312fe3dea157bdd3645241c22185b96b410dd33dd7e1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-12-22" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] af550f95d12456e4c0b71bd5dc2ed78f548becdbb08b67786c22cd0335c731aa
[INFO] running `Command { std: "docker" "start" "-a" "af550f95d12456e4c0b71bd5dc2ed78f548becdbb08b67786c22cd0335c731aa", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.139
[INFO] [stderr]    Compiling proc-macro2 v1.0.51
[INFO] [stderr]    Compiling quote v1.0.23
[INFO] [stderr]    Compiling unicode-ident v1.0.6
[INFO] [stderr]    Compiling syn v1.0.107
[INFO] [stderr]    Compiling io-lifetimes v1.0.5
[INFO] [stderr]    Compiling rustix v0.36.8
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling linux-raw-sys v0.1.4
[INFO] [stderr]    Compiling heck v0.4.1
[INFO] [stderr]    Compiling os_str_bytes v6.4.1
[INFO] [stderr]    Compiling strsim v0.10.0
[INFO] [stderr]    Compiling utf8-read v0.4.0
[INFO] [stderr]    Compiling once_cell v1.17.1
[INFO] [stderr]    Compiling clap_lex v0.3.1
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling colored v2.0.0
[INFO] [stderr]    Compiling brakion-core v0.1.0 (/opt/rustwide/workdir/brakion-core)
[INFO] [stderr]    Compiling is-terminal v0.4.3
[INFO] [stderr]    Compiling clap_derive v4.1.0
[INFO] [stderr]    Compiling clap v4.1.6
[INFO] [stderr]    Compiling brakion v0.1.0 (/opt/rustwide/workdir/brakion)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 6.26s
[INFO] running `Command { std: "docker" "inspect" "af550f95d12456e4c0b71bd5dc2ed78f548becdbb08b67786c22cd0335c731aa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "af550f95d12456e4c0b71bd5dc2ed78f548becdbb08b67786c22cd0335c731aa", kill_on_drop: false }`
[INFO] [stdout] af550f95d12456e4c0b71bd5dc2ed78f548becdbb08b67786c22cd0335c731aa
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-12-22" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 561e11ebdb6b36c16fae2de22c4abd2663f2a09030351b105a0f67ecf8115897
[INFO] running `Command { std: "docker" "start" "-a" "561e11ebdb6b36c16fae2de22c4abd2663f2a09030351b105a0f67ecf8115897", kill_on_drop: false }`
[INFO] [stderr]    Compiling brakion-core v0.1.0 (/opt/rustwide/workdir/brakion-core)
[INFO] [stderr]    Compiling brakion v0.1.0 (/opt/rustwide/workdir/brakion)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 1.71s
[INFO] running `Command { std: "docker" "inspect" "561e11ebdb6b36c16fae2de22c4abd2663f2a09030351b105a0f67ecf8115897", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "561e11ebdb6b36c16fae2de22c4abd2663f2a09030351b105a0f67ecf8115897", kill_on_drop: false }`
[INFO] [stdout] 561e11ebdb6b36c16fae2de22c4abd2663f2a09030351b105a0f67ecf8115897
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-12-22" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 8b88cec093fe9d63ff1bd7b082361cd9df23033cd3f0830e5efa278f6ef9f5bb
[INFO] running `Command { std: "docker" "start" "-a" "8b88cec093fe9d63ff1bd7b082361cd9df23033cd3f0830e5efa278f6ef9f5bb", kill_on_drop: false }`
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.02s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/brakion-cb844db48bcad2f5)
[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] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/brakion_core-3876740bfb50016b)
[INFO] [stdout] 
[INFO] [stdout] running 143 tests
[INFO] [stdout] test tests::lexer::char_abrupt_termination ... ok
[INFO] [stdout] test tests::lexer::bad_chars ... ok
[INFO] [stdout] test tests::lexer::char_no_char ... ok
[INFO] [stdout] test tests::lexer::char_abrupt_escape_termination ... ok
[INFO] [stdout] test tests::lexer::char_not_one_char ... ok
[INFO] [stdout] test tests::lexer::char_invalid_escapes ... ok
[INFO] [stdout] test tests::lexer::chars ... ok
[INFO] [stdout] test tests::lexer::comments ... ok
[INFO] [stdout] test tests::lexer::comments_filter ... ok
[INFO] [stdout] test tests::lexer::empty ... ok
[INFO] [stdout] test tests::lexer::empty_char ... ok
[INFO] [stdout] test tests::lexer::identifiers_with_keywords ... ok
[INFO] [stdout] test tests::lexer::hello_world ... ok
[INFO] [stdout] test tests::lexer::float_bounds ... ok
[INFO] [stdout] test tests::lexer::float_too_long ... ok
[INFO] [stdout] test tests::lexer::identifiers ... ok
[INFO] [stdout] test tests::lexer::integer_bounds ... ok
[INFO] [stdout] test tests::lexer::keywords ... ok
[INFO] [stdout] test tests::lexer::multiline_string ... ok
[INFO] [stdout] test tests::lexer::line_ending_mix ... ok
[INFO] [stdout] test tests::lexer::integer_too_long ... ok
[INFO] [stdout] test tests::lexer::line_ending_mix_amount ... ok
[INFO] [stdout] test tests::lexer::string_abrupt_escape_termination ... ok
[INFO] [stdout] test tests::lexer::string_abrupt_termination ... ok
[INFO] [stdout] test tests::lexer::simples ... ok
[INFO] [stdout] test tests::lexer::numbers_short ... ok
[INFO] [stdout] test tests::lexer::string_empty ... ok
[INFO] [stdout] test tests::lexer::string_invalid_escapes ... ok
[INFO] [stdout] test tests::parser::decl::empty ... ok
[INFO] [stdout] test tests::lexer::strings ... ok
[INFO] [stdout] test tests::parser::decl::function_signature_return_namespaced ... ok
[INFO] [stdout] test tests::parser::decl::function_signature_return_basic ... ok
[INFO] [stdout] test tests::parser::decl::function_signature_return_list ... ok
[INFO] [stdout] test tests::parser::decl::function_signature_basic ... ok
[INFO] [stdout] test tests::parser::decl::function_signature_with_params ... ok
[INFO] [stdout] test tests::parser::decl::impl_empty ... ok
[INFO] [stdout] test tests::parser::decl::mod_empty ... ok
[INFO] [stdout] test tests::parser::decl::impl_full ... ok
[INFO] [stdout] test tests::parser::decl::mod_with_decl ... ok
[INFO] [stdout] test tests::lexer::char_too_long ... ok
[INFO] [stdout] test tests::lexer::identifier_too_long ... ok
[INFO] [stdout] test tests::parser::decl::mod_empty_pub ... ok
[INFO] [stdout] test tests::parser::decl::nothing_valid ... ok
[INFO] [stdout] test tests::parser::decl::trait_empty ... ok
[INFO] [stdout] test tests::parser::decl::mod_with_bad_decl ... ok
[INFO] [stdout] test tests::parser::decl::mod_with_decl_pub ... ok
[INFO] [stdout] test tests::parser::decl::type_basic ... ok
[INFO] [stdout] test tests::parser::decl::type_empty ... ok
[INFO] [stdout] test tests::parser::decl::trait_methods ... ok
[INFO] [stdout] test tests::parser::decl::type_self_variant_explicit ... ok
[INFO] [stdout] test tests::parser::decl::type_multiple_variants ... ok
[INFO] [stdout] test tests::parser::decl::type_single_variant ... ok
[INFO] [stdout] test tests::parser::decl::type_single_variant_fields ... ok
[INFO] [stdout] test tests::parser::decl::type_mathods_only ... ok
[INFO] [stdout] test tests::parser::expr::and ... ok
[INFO] [stdout] test tests::parser::decl::type_self_variant_field ... ok
[INFO] [stdout] test tests::parser::decl::type_variants_method ... ok
[INFO] [stdout] test tests::lexer::string_too_long ... ok
[INFO] [stdout] test tests::parser::expr::as_type ... ok
[INFO] [stdout] test tests::parser::decl::type_variants_methods_interweave ... ok
[INFO] [stdout] test tests::parser::expr::as_chain ... ok
[INFO] [stdout] test tests::parser::expr::and_or_precedence ... ok
[INFO] [stdout] test tests::parser::decl::type_variants_methods_interweave_2 ... ok
[INFO] [stdout] test tests::parser::expr::call ... ok
[INFO] [stdout] test tests::parser::expr::call_field ... ok
[INFO] [stdout] test tests::parser::expr::comparisons_left_to_right ... ok
[INFO] [stdout] test tests::parser::expr::call_with_args ... ok
[INFO] [stdout] test tests::parser::expr::call_with_args_trailing_comma ... ok
[INFO] [stdout] test tests::parser::expr::equality ... ok
[INFO] [stdout] test tests::parser::expr::comparisons ... ok
[INFO] [stdout] test tests::parser::expr::factor_simple ... ok
[INFO] [stdout] test tests::parser::expr::eq_neq_lack_precedence ... ok
[INFO] [stdout] test tests::parser::expr::empty ... ok
[INFO] [stdout] test tests::parser::expr::factor_repeating ... ok
[INFO] [stdout] test tests::parser::expr::field_call ... ok
[INFO] [stdout] test tests::parser::expr::constructor ... ok
[INFO] [stdout] test tests::parser::expr::field_access ... ok
[INFO] [stdout] test tests::parser::expr::identifier ... ok
[INFO] [stdout] test tests::parser::expr::literal_char ... ok
[INFO] [stdout] test tests::parser::expr::field_access_chain ... ok
[INFO] [stdout] test tests::parser::expr::is ... ok
[INFO] [stdout] test tests::parser::expr::indexing ... ok
[INFO] [stdout] test tests::parser::expr::literal_bool_true ... ok
[INFO] [stdout] test tests::parser::expr::literal_bool_false ... ok
[INFO] [stdout] test tests::parser::expr::is_chain ... ok
[INFO] [stdout] test tests::parser::expr::literal_float ... ok
[INFO] [stdout] test tests::parser::expr::literal_string ... ok
[INFO] [stdout] test tests::parser::expr::literal_integer ... ok
[INFO] [stdout] test tests::parser::expr::literal_string_escape ... ok
[INFO] [stdout] test tests::parser::expr::namespaced_identifier ... ok
[INFO] [stdout] test tests::parser::expr::namespace_call ... ok
[INFO] [stdout] test tests::parser::expr::literal_void ... ok
[INFO] [stdout] test tests::parser::expr::nequality ... ok
[INFO] [stdout] test tests::parser::expr::literal_list_single_elem ... ok
[INFO] [stdout] test tests::parser::expr::indexing_chain ... ok
[INFO] [stdout] test tests::parser::expr::or ... ok
[INFO] [stdout] test tests::parser::expr::term_repeating ... ok
[INFO] [stdout] test tests::parser::expr::literal_list_multiple_elem ... ok
[INFO] [stdout] test tests::parser::expr::term_simple ... ok
[INFO] [stdout] test tests::parser::stmt::break_stmt ... ok
[INFO] [stdout] test tests::parser::expr::unary_chain ... ok
[INFO] [stdout] test tests::parser::stmt::comment ... ok
[INFO] [stdout] test tests::parser::stmt::comment_with_newline ... ok
[INFO] [stdout] test tests::parser::stmt::assignment ... ok
[INFO] [stdout] test tests::parser::stmt::block_with_stmts ... ok
[INFO] [stdout] test tests::parser::expr::unary ... ok
[INFO] [stdout] test tests::parser::stmt::comment_with_newline_and_space ... ok
[INFO] [stdout] test tests::parser::stmt::empty ... ok
[INFO] [stdout] test tests::parser::stmt::empty_block ... ok
[INFO] [stdout] test tests::parser::stmt::block_with_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::continue_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::expr ... ok
[INFO] [stdout] test tests::parser::stmt::match_stmt_basic ... ok
[INFO] [stdout] test tests::parser::stmt::if_else_chain ... ok
[INFO] [stdout] test tests::parser::stmt::for_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::if_else ... ok
[INFO] [stdout] test tests::parser::stmt::if_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::match_stmt_with_var ... ok
[INFO] [stdout] test tests::parser::stmt::variable ... ok
[INFO] [stdout] test tests::parser::stmt::while_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::match_stmt_with_var_type ... ok
[INFO] [stdout] test tests::parser::stmt::match_ctor ... ok
[INFO] [stdout] test tests::parser::stmt::return_stmt ... ok
[INFO] [stdout] test tests::unit::utf8_misalignment_boundary ... ok
[INFO] [stdout] test tests::validator::expr::int_sizes ... ok
[INFO] [stdout] test tests::validator::types::infer_everything ... ok
[INFO] [stdout] test tests::validator::expr::int_signedness ... ok
[INFO] [stdout] test tests::validator::types::list_to_list ... ok
[INFO] [stdout] test tests::validator::types::lookup ... ok
[INFO] [stdout] test tests::validator::types::named_to_named ... ok
[INFO] [stdout] test tests::validator::types::list_to_union ... ok
[INFO] [stdout] test tests::validator::expr::int_float ... ok
[INFO] [stdout] test tests::validator::expr::add_sub ... ok
[INFO] [stdout] test tests::validator::types::named_to_union ... ok
[INFO] [stdout] test tests::validator::types::named_to_void ... ok
[INFO] [stdout] test tests::validator::types::type_impl_trait ... ok
[INFO] [stdout] test tests::validator::types::union_same ... ok
[INFO] [stdout] test tests::validator::types::void_to_union ... ok
[INFO] [stdout] test tests::validator::types::void_to_void ... ok
[INFO] [stdout] test tests::validator::types::union_to_union ... ok
[INFO] [stdout] test tests::validator::types::void_to_named ... ok
[INFO] [stdout] test tests::unit::utf8_misalignment_end - should panic ... ok
[INFO] [stdout] test tests::validator::decl::collapse_simple ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- tests::validator::decl::collapse_simple stdout ----
[INFO] [stdout] [brakion-core/src/tests/validator/decl.rs:215:5] &collapsed = Function {
[INFO] [stdout]     signature: FunctionSignature {
[INFO] [stdout]         name: Identifier {
[INFO] [stdout]             span: Span {
[INFO] [stdout]                 unit: 0,
[INFO] [stdout]                 start: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]                 end: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]             },
[INFO] [stdout]             name: "f",
[INFO] [stdout]         },
[INFO] [stdout]         takes_self: false,
[INFO] [stdout]         self_precondition: None,
[INFO] [stdout]         parameters: [
[INFO] [stdout]             Parameter {
[INFO] [stdout]                 name: Identifier {
[INFO] [stdout]                     span: Span {
[INFO] [stdout]                         unit: 0,
[INFO] [stdout]                         start: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                         end: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                     },
[INFO] [stdout]                     name: "x",
[INFO] [stdout]                 },
[INFO] [stdout]                 ty: TypeReference {
[INFO] [stdout]                     span: None,
[INFO] [stdout]                     kind: Named(
[INFO] [stdout]                         NamespacedIdentifier {
[INFO] [stdout]                             namespace: [],
[INFO] [stdout]                             ident: Identifier {
[INFO] [stdout]                                 span: Span {
[INFO] [stdout]                                     unit: 0,
[INFO] [stdout]                                     start: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                     end: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                 },
[INFO] [stdout]                                 name: "Foo",
[INFO] [stdout]                             },
[INFO] [stdout]                         },
[INFO] [stdout]                     ),
[INFO] [stdout]                 },
[INFO] [stdout]                 kind: Basic,
[INFO] [stdout]             },
[INFO] [stdout]         ],
[INFO] [stdout]         return_type: TypeReference {
[INFO] [stdout]             span: None,
[INFO] [stdout]             kind: Void,
[INFO] [stdout]         },
[INFO] [stdout]     },
[INFO] [stdout]     body: [
[INFO] [stdout]         Stmt {
[INFO] [stdout]             span: Span {
[INFO] [stdout]                 unit: 0,
[INFO] [stdout]                 start: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]                 end: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]             },
[INFO] [stdout]             kind: Block(
[INFO] [stdout]                 [
[INFO] [stdout]                     Stmt {
[INFO] [stdout]                         span: Span {
[INFO] [stdout]                             unit: 0,
[INFO] [stdout]                             start: Location {
[INFO] [stdout]                                 line: 0,
[INFO] [stdout]                                 line_start: 0,
[INFO] [stdout]                                 column: 0,
[INFO] [stdout]                             },
[INFO] [stdout]                             end: Location {
[INFO] [stdout]                                 line: 0,
[INFO] [stdout]                                 line_start: 0,
[INFO] [stdout]                                 column: 0,
[INFO] [stdout]                             },
[INFO] [stdout]                         },
[INFO] [stdout]                         kind: Return(
[INFO] [stdout]                             Expr {
[INFO] [stdout]                                 kind: Literal(
[INFO] [stdout]                                     Void,
[INFO] [stdout]                                 ),
[INFO] [stdout]                                 span: Span {
[INFO] [stdout]                                     unit: 0,
[INFO] [stdout]                                     start: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                     end: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                 },
[INFO] [stdout]                             },
[INFO] [stdout]                         ),
[INFO] [stdout]                     },
[INFO] [stdout]                 ],
[INFO] [stdout]             ),
[INFO] [stdout]         },
[INFO] [stdout]         Stmt {
[INFO] [stdout]             span: Span {
[INFO] [stdout]                 unit: 0,
[INFO] [stdout]                 start: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]                 end: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]             },
[INFO] [stdout]             kind: Return(
[INFO] [stdout]                 Expr {
[INFO] [stdout]                     kind: Literal(
[INFO] [stdout]                         Bool(
[INFO] [stdout]                             true,
[INFO] [stdout]                         ),
[INFO] [stdout]                     ),
[INFO] [stdout]                     span: Span {
[INFO] [stdout]                         unit: 0,
[INFO] [stdout]                         start: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                         end: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                     },
[INFO] [stdout]                 },
[INFO] [stdout]             ),
[INFO] [stdout]         },
[INFO] [stdout]     ],
[INFO] [stdout] }
[INFO] [stdout] [brakion-core/src/tests/validator/decl.rs:216:5] &expected = Function {
[INFO] [stdout]     signature: FunctionSignature {
[INFO] [stdout]         name: Identifier {
[INFO] [stdout]             span: Span {
[INFO] [stdout]                 unit: 0,
[INFO] [stdout]                 start: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]                 end: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]             },
[INFO] [stdout]             name: "f",
[INFO] [stdout]         },
[INFO] [stdout]         takes_self: false,
[INFO] [stdout]         self_precondition: None,
[INFO] [stdout]         parameters: [
[INFO] [stdout]             Parameter {
[INFO] [stdout]                 name: Identifier {
[INFO] [stdout]                     span: Span {
[INFO] [stdout]                         unit: 0,
[INFO] [stdout]                         start: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                         end: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                     },
[INFO] [stdout]                     name: "x",
[INFO] [stdout]                 },
[INFO] [stdout]                 ty: TypeReference {
[INFO] [stdout]                     span: None,
[INFO] [stdout]                     kind: Named(
[INFO] [stdout]                         NamespacedIdentifier {
[INFO] [stdout]                             namespace: [],
[INFO] [stdout]                             ident: Identifier {
[INFO] [stdout]                                 span: Span {
[INFO] [stdout]                                     unit: 0,
[INFO] [stdout]                                     start: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                     end: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                 },
[INFO] [stdout]                                 name: "Foo",
[INFO] [stdout]                             },
[INFO] [stdout]                         },
[INFO] [stdout]                     ),
[INFO] [stdout]                 },
[INFO] [stdout]                 kind: Basic,
[INFO] [stdout]             },
[INFO] [stdout]         ],
[INFO] [stdout]         return_type: TypeReference {
[INFO] [stdout]             span: None,
[INFO] [stdout]             kind: Void,
[INFO] [stdout]         },
[INFO] [stdout]     },
[INFO] [stdout]     body: [
[INFO] [stdout]         Stmt {
[INFO] [stdout]             span: Span {
[INFO] [stdout]                 unit: 0,
[INFO] [stdout]                 start: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]                 end: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]             },
[INFO] [stdout]             kind: If {
[INFO] [stdout]                 condition: Expr {
[INFO] [stdout]                     kind: TypeBinary {
[INFO] [stdout]                         op: Is,
[INFO] [stdout]                         expr: Expr {
[INFO] [stdout]                             kind: Variable(
[INFO] [stdout]                                 NamespacedIdentifier {
[INFO] [stdout]                                     namespace: [],
[INFO] [stdout]                                     ident: Identifier {
[INFO] [stdout]                                         span: Span {
[INFO] [stdout]                                             unit: 0,
[INFO] [stdout]                                             start: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                             end: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                         },
[INFO] [stdout]                                         name: "x",
[INFO] [stdout]                                     },
[INFO] [stdout]                                 },
[INFO] [stdout]                             ),
[INFO] [stdout]                             span: Span {
[INFO] [stdout]                                 unit: 0,
[INFO] [stdout]                                 start: Location {
[INFO] [stdout]                                     line: 0,
[INFO] [stdout]                                     line_start: 0,
[INFO] [stdout]                                     column: 0,
[INFO] [stdout]                                 },
[INFO] [stdout]                                 end: Location {
[INFO] [stdout]                                     line: 0,
[INFO] [stdout]                                     line_start: 0,
[INFO] [stdout]                                     column: 0,
[INFO] [stdout]                                 },
[INFO] [stdout]                             },
[INFO] [stdout]                         },
[INFO] [stdout]                         ty: TypeReference {
[INFO] [stdout]                             span: None,
[INFO] [stdout]                             kind: Named(
[INFO] [stdout]                                 NamespacedIdentifier {
[INFO] [stdout]                                     namespace: [
[INFO] [stdout]                                         Identifier {
[INFO] [stdout]                                             span: Span {
[INFO] [stdout]                                                 unit: 0,
[INFO] [stdout]                                                 start: Location {
[INFO] [stdout]                                                     line: 0,
[INFO] [stdout]                                                     line_start: 0,
[INFO] [stdout]                                                     column: 0,
[INFO] [stdout]                                                 },
[INFO] [stdout]                                                 end: Location {
[INFO] [stdout]                                                     line: 0,
[INFO] [stdout]                                                     line_start: 0,
[INFO] [stdout]                                                     column: 0,
[INFO] [stdout]                                                 },
[INFO] [stdout]                                             },
[INFO] [stdout]                                             name: "Foo",
[INFO] [stdout]                                         },
[INFO] [stdout]                                     ],
[INFO] [stdout]                                     ident: Identifier {
[INFO] [stdout]                                         span: Span {
[INFO] [stdout]                                             unit: 0,
[INFO] [stdout]                                             start: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                             end: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                         },
[INFO] [stdout]                                         name: "Bar",
[INFO] [stdout]                                     },
[INFO] [stdout]                                 },
[INFO] [stdout]                             ),
[INFO] [stdout]                         },
[INFO] [stdout]                     },
[INFO] [stdout]                     span: Span {
[INFO] [stdout]                         unit: 0,
[INFO] [stdout]                         start: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                         end: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                     },
[INFO] [stdout]                 },
[INFO] [stdout]                 then: Stmt {
[INFO] [stdout]                     span: Span {
[INFO] [stdout]                         unit: 0,
[INFO] [stdout]                         start: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                         end: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                     },
[INFO] [stdout]                     kind: Block(
[INFO] [stdout]                         [
[INFO] [stdout]                             Stmt {
[INFO] [stdout]                                 span: Span {
[INFO] [stdout]                                     unit: 0,
[INFO] [stdout]                                     start: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                     end: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                 },
[INFO] [stdout]                                 kind: Return(
[INFO] [stdout]                                     Expr {
[INFO] [stdout]                                         kind: Literal(
[INFO] [stdout]                                             Void,
[INFO] [stdout]                                         ),
[INFO] [stdout]                                         span: Span {
[INFO] [stdout]                                             unit: 0,
[INFO] [stdout]                                             start: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                             end: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                         },
[INFO] [stdout]                                     },
[INFO] [stdout]                                 ),
[INFO] [stdout]                             },
[INFO] [stdout]                         ],
[INFO] [stdout]                     ),
[INFO] [stdout]                 },
[INFO] [stdout]                 otherwise: None,
[INFO] [stdout]             },
[INFO] [stdout]         },
[INFO] [stdout]         Stmt {
[INFO] [stdout]             span: Span {
[INFO] [stdout]                 unit: 0,
[INFO] [stdout]                 start: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]                 end: Location {
[INFO] [stdout]                     line: 0,
[INFO] [stdout]                     line_start: 0,
[INFO] [stdout]                     column: 0,
[INFO] [stdout]                 },
[INFO] [stdout]             },
[INFO] [stdout]             kind: If {
[INFO] [stdout]                 condition: Expr {
[INFO] [stdout]                     kind: TypeBinary {
[INFO] [stdout]                         op: Is,
[INFO] [stdout]                         expr: Expr {
[INFO] [stdout]                             kind: Variable(
[INFO] [stdout]                                 NamespacedIdentifier {
[INFO] [stdout]                                     namespace: [],
[INFO] [stdout]                                     ident: Identifier {
[INFO] [stdout]                                         span: Span {
[INFO] [stdout]                                             unit: 0,
[INFO] [stdout]                                             start: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                             end: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                         },
[INFO] [stdout]                                         name: "x",
[INFO] [stdout]                                     },
[INFO] [stdout]                                 },
[INFO] [stdout]                             ),
[INFO] [stdout]                             span: Span {
[INFO] [stdout]                                 unit: 0,
[INFO] [stdout]                                 start: Location {
[INFO] [stdout]                                     line: 0,
[INFO] [stdout]                                     line_start: 0,
[INFO] [stdout]                                     column: 0,
[INFO] [stdout]                                 },
[INFO] [stdout]                                 end: Location {
[INFO] [stdout]                                     line: 0,
[INFO] [stdout]                                     line_start: 0,
[INFO] [stdout]                                     column: 0,
[INFO] [stdout]                                 },
[INFO] [stdout]                             },
[INFO] [stdout]                         },
[INFO] [stdout]                         ty: TypeReference {
[INFO] [stdout]                             span: None,
[INFO] [stdout]                             kind: Named(
[INFO] [stdout]                                 NamespacedIdentifier {
[INFO] [stdout]                                     namespace: [
[INFO] [stdout]                                         Identifier {
[INFO] [stdout]                                             span: Span {
[INFO] [stdout]                                                 unit: 0,
[INFO] [stdout]                                                 start: Location {
[INFO] [stdout]                                                     line: 0,
[INFO] [stdout]                                                     line_start: 0,
[INFO] [stdout]                                                     column: 0,
[INFO] [stdout]                                                 },
[INFO] [stdout]                                                 end: Location {
[INFO] [stdout]                                                     line: 0,
[INFO] [stdout]                                                     line_start: 0,
[INFO] [stdout]                                                     column: 0,
[INFO] [stdout]                                                 },
[INFO] [stdout]                                             },
[INFO] [stdout]                                             name: "Foo",
[INFO] [stdout]                                         },
[INFO] [stdout]                                     ],
[INFO] [stdout]                                     ident: Identifier {
[INFO] [stdout]                                         span: Span {
[INFO] [stdout]                                             unit: 0,
[INFO] [stdout]                                             start: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                             end: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                         },
[INFO] [stdout]                                         name: "Baz",
[INFO] [stdout]                                     },
[INFO] [stdout]                                 },
[INFO] [stdout]                             ),
[INFO] [stdout]                         },
[INFO] [stdout]                     },
[INFO] [stdout]                     span: Span {
[INFO] [stdout]                         unit: 0,
[INFO] [stdout]                         start: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                         end: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                     },
[INFO] [stdout]                 },
[INFO] [stdout]                 then: Stmt {
[INFO] [stdout]                     span: Span {
[INFO] [stdout]                         unit: 0,
[INFO] [stdout]                         start: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                         end: Location {
[INFO] [stdout]                             line: 0,
[INFO] [stdout]                             line_start: 0,
[INFO] [stdout]                             column: 0,
[INFO] [stdout]                         },
[INFO] [stdout]                     },
[INFO] [stdout]                     kind: Block(
[INFO] [stdout]                         [
[INFO] [stdout]                             Stmt {
[INFO] [stdout]                                 span: Span {
[INFO] [stdout]                                     unit: 0,
[INFO] [stdout]                                     start: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                     end: Location {
[INFO] [stdout]                                         line: 0,
[INFO] [stdout]                                         line_start: 0,
[INFO] [stdout]                                         column: 0,
[INFO] [stdout]                                     },
[INFO] [stdout]                                 },
[INFO] [stdout]                                 kind: Return(
[INFO] [stdout]                                     Expr {
[INFO] [stdout]                                         kind: Literal(
[INFO] [stdout]                                             Bool(
[INFO] [stdout]                                                 true,
[INFO] [stdout]                                             ),
[INFO] [stdout]                                         ),
[INFO] [stdout]                                         span: Span {
[INFO] [stdout]                                             unit: 0,
[INFO] [stdout]                                             start: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                             end: Location {
[INFO] [stdout]                                                 line: 0,
[INFO] [stdout]                                                 line_start: 0,
[INFO] [stdout]                                                 column: 0,
[INFO] [stdout]                                             },
[INFO] [stdout]                                         },
[INFO] [stdout]                                     },
[INFO] [stdout]                                 ),
[INFO] [stdout]                             },
[INFO] [stdout]                         ],
[INFO] [stdout]                     ),
[INFO] [stdout]                 },
[INFO] [stdout]                 otherwise: None,
[INFO] [stdout]             },
[INFO] [stdout]         },
[INFO] [stdout]     ],
[INFO] [stdout] }
[INFO] [stdout] thread 'tests::validator::decl::collapse_simple' panicked at brakion-core/src/tests/validator/decl.rs:218:5:
[INFO] [stdout] assertion `left == right` failed
[INFO] [stdout]   left: Function { signature: FunctionSignature { name: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "f" }, takes_self: false, self_precondition: None, parameters: [Parameter { name: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "x" }, ty: TypeReference { span: None, kind: Named(NamespacedIdentifier { namespace: [], ident: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "Foo" } }) }, kind: Basic }], return_type: TypeReference { span: None, kind: Void } }, body: [Stmt { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, kind: Block([Stmt { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, kind: Return(Expr { kind: Literal(Void), span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } } }) }]) }, Stmt { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, kind: Return(Expr { kind: Literal(Bool(true)), span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } } }) }] }
[INFO] [stdout]  right: Function { signature: FunctionSignature { name: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "f" }, takes_self: false, self_precondition: None, parameters: [Parameter { name: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "x" }, ty: TypeReference { span: None, kind: Named(NamespacedIdentifier { namespace: [], ident: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "Foo" } }) }, kind: Basic }], return_type: TypeReference { span: None, kind: Void } }, body: [Stmt { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, kind: If { condition: Expr { kind: TypeBinary { op: Is, expr: Expr { kind: Variable(NamespacedIdentifier { namespace: [], ident: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "x" } }), span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } } }, ty: TypeReference { span: None, kind: Named(NamespacedIdentifier { namespace: [Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "Foo" }], ident: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "Bar" } }) } }, span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } } }, then: Stmt { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, kind: Block([Stmt { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, kind: Return(Expr { kind: Literal(Void), span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } } }) }]) }, otherwise: None } }, Stmt { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, kind: If { condition: Expr { kind: TypeBinary { op: Is, expr: Expr { kind: Variable(NamespacedIdentifier { namespace: [], ident: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "x" } }), span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } } }, ty: TypeReference { span: None, kind: Named(NamespacedIdentifier { namespace: [Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "Foo" }], ident: Identifier { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, name: "Baz" } }) } }, span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } } }, then: Stmt { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, kind: Block([Stmt { span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } }, kind: Return(Expr { kind: Literal(Bool(true)), span: Span { unit: 0, start: Location { line: 0, line_start: 0, column: 0 }, end: Location { line: 0, line_start: 0, column: 0 } } }) }]) }, otherwise: None } }] }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x555a7610fbf6 - std::backtrace_rs::backtrace::libunwind::trace::h261606ad26a499c1
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/../../backtrace/src/backtrace/libunwind.rs:104:5
[INFO] [stdout]    1:     0x555a7610fbf6 - std::backtrace_rs::backtrace::trace_unsynchronized::hd183f0625477fb28
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x555a7610fbf6 - std::sys_common::backtrace::_print_fmt::hd7f8fef21b4eda67
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stdout]    3:     0x555a7610fbf6 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h623d9b51f2f453f1
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x555a76139560 - core::fmt::rt::Argument::fmt::h9f417ac76a86f368
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/core/src/fmt/rt.rs:142:9
[INFO] [stdout]    5:     0x555a76139560 - core::fmt::write::hc9b6faf4ac2aeff7
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/core/src/fmt/mod.rs:1120:17
[INFO] [stdout]    6:     0x555a7610d65f - std::io::Write::write_fmt::he04625a3a989fec3
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/io/mod.rs:1810:15
[INFO] [stdout]    7:     0x555a7610f9d4 - std::sys_common::backtrace::_print::hd5d66399c7df88a2
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    8:     0x555a7610f9d4 - std::sys_common::backtrace::print::he81ed2da642d37e5
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    9:     0x555a76111747 - std::panicking::default_hook::{{closure}}::h85773f4fa117163d
[INFO] [stdout]   10:     0x555a7611142d - std::panicking::default_hook::h6a1694a91d09b278
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:289:9
[INFO] [stdout]   11:     0x555a760d23c7 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h616ac37fa3cd6c8f
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/alloc/src/boxed.rs:2029:9
[INFO] [stdout]   12:     0x555a760d23c7 - test::test_main::{{closure}}::h00d84697cefdcbb6
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/test/src/lib.rs:138:21
[INFO] [stdout]   13:     0x555a76111d66 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hcb3fe3b9bb537ba8
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/alloc/src/boxed.rs:2029:9
[INFO] [stdout]   14:     0x555a76111d66 - std::panicking::rust_panic_with_hook::h0a7ad96e90f7145b
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:783:13
[INFO] [stdout]   15:     0x555a76111ab2 - std::panicking::begin_panic_handler::{{closure}}::h7919090525c6485e
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:657:13
[INFO] [stdout]   16:     0x555a761100f6 - std::sys_common::backtrace::__rust_end_short_backtrace::hf3289479464f7dfe
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stdout]   17:     0x555a76111810 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:645:5
[INFO] [stdout]   18:     0x555a75fa0db5 - core::panicking::panic_fmt::hcc9f77c5c132af55
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/core/src/panicking.rs:72:14
[INFO] [stdout]   19:     0x555a75fa11eb - core::panicking::assert_failed_inner::h9f13e27dd63c3a08
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/core/src/panicking.rs:342:17
[INFO] [stdout]   20:     0x555a76039c0e - core::panicking::assert_failed::h0e7e002423fbb150
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/core/src/panicking.rs:297:5
[INFO] [stdout]   21:     0x555a7609c844 - brakion_core::tests::validator::decl::collapse_simple::he80f08068c7193d8
[INFO] [stdout]                                at /opt/rustwide/workdir/brakion-core/src/tests/validator/decl.rs:218:5
[INFO] [stdout]   22:     0x555a76098d97 - brakion_core::tests::validator::decl::collapse_simple::{{closure}}::ha5e032e2fea811ca
[INFO] [stdout]                                at /opt/rustwide/workdir/brakion-core/src/tests/validator/decl.rs:20:21
[INFO] [stdout]   23:     0x555a75fda0c6 - core::ops::function::FnOnce::call_once::hebe4fbe3852293d5
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x555a760d7c9f - core::ops::function::FnOnce::call_once::hd64d26f405258157
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x555a760d7c9f - test::__rust_begin_short_backtrace::he21b0b7a6d731bf9
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/test/src/lib.rs:627:18
[INFO] [stdout]   26:     0x555a760d6a21 - test::run_test_in_process::{{closure}}::hf5c73986d7bdfde2
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/test/src/lib.rs:650:60
[INFO] [stdout]   27:     0x555a760d6a21 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h330011ad032aadc0
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   28:     0x555a760d6a21 - std::panicking::try::do_call::he61b0a958b795a41
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:552:40
[INFO] [stdout]   29:     0x555a760d6a21 - std::panicking::try::h7309da130f906eb7
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:516:19
[INFO] [stdout]   30:     0x555a760d6a21 - std::panic::catch_unwind::hc5c3a06fdaf0a92a
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panic.rs:142:14
[INFO] [stdout]   31:     0x555a760d6a21 - test::run_test_in_process::h7e7b7c71c3324e0f
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/test/src/lib.rs:650:27
[INFO] [stdout]   32:     0x555a760d6a21 - test::run_test::{{closure}}::h1f509f28f5cf20b1
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/test/src/lib.rs:573:43
[INFO] [stdout]   33:     0x555a7609dd56 - test::run_test::{{closure}}::h1754218abf443f6d
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/test/src/lib.rs:601:41
[INFO] [stdout]   34:     0x555a7609dd56 - std::sys_common::backtrace::__rust_begin_short_backtrace::h2ee174b9d5954948
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stdout]   35:     0x555a760a2db7 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hf60bee9c1a17ef09
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/thread/mod.rs:529:17
[INFO] [stdout]   36:     0x555a760a2db7 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h33d0dddec5216160
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   37:     0x555a760a2db7 - std::panicking::try::do_call::h144b3048b546f835
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:552:40
[INFO] [stdout]   38:     0x555a760a2db7 - std::panicking::try::h978244d04646189f
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:516:19
[INFO] [stdout]   39:     0x555a760a2db7 - std::panic::catch_unwind::hdf436369d188fe86
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panic.rs:142:14
[INFO] [stdout]   40:     0x555a760a2db7 - std::thread::Builder::spawn_unchecked_::{{closure}}::h87329cbdd33c79ec
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/thread/mod.rs:528:30
[INFO] [stdout]   41:     0x555a760a2db7 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h401abbe67897d450
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x555a76116815 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h5d7c8f150ab9c84c
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/alloc/src/boxed.rs:2015:9
[INFO] [stdout]   43:     0x555a76116815 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h570d5b005c242c15
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/alloc/src/boxed.rs:2015:9
[INFO] [stdout]   44:     0x555a76116815 - std::sys::unix::thread::Thread::new::thread_start::h36b0a20c0b2361ad
[INFO] [stdout]                                at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/sys/unix/thread.rs:108:17
[INFO] [stdout]   45:     0x7f74f869cac3 - <unknown>
[INFO] [stdout]   46:     0x7f74f872dbf4 - __clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     tests::validator::decl::collapse_simple
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 142 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p brakion-core --lib`
[INFO] running `Command { std: "docker" "inspect" "8b88cec093fe9d63ff1bd7b082361cd9df23033cd3f0830e5efa278f6ef9f5bb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8b88cec093fe9d63ff1bd7b082361cd9df23033cd3f0830e5efa278f6ef9f5bb", kill_on_drop: false }`
[INFO] [stdout] 8b88cec093fe9d63ff1bd7b082361cd9df23033cd3f0830e5efa278f6ef9f5bb
