[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.76.0 for beta-1.77-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FDuckonaut%2Fbrakion" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/Duckonaut/brakion on toolchain 1.76.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.76.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-4-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.76.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-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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.76.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ac5829201e030efc0e186d2aa09aa9aac716051bf20f93c0190055c18e648079
[INFO] running `Command { std: "docker" "start" "-a" "ac5829201e030efc0e186d2aa09aa9aac716051bf20f93c0190055c18e648079", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ac5829201e030efc0e186d2aa09aa9aac716051bf20f93c0190055c18e648079", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ac5829201e030efc0e186d2aa09aa9aac716051bf20f93c0190055c18e648079", kill_on_drop: false }`
[INFO] [stdout] ac5829201e030efc0e186d2aa09aa9aac716051bf20f93c0190055c18e648079
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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.76.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 86a827d78972fb1a56c98e6a338cd7dd59f05502b8257aaa65156015970c9f7a
[INFO] running `Command { std: "docker" "start" "-a" "86a827d78972fb1a56c98e6a338cd7dd59f05502b8257aaa65156015970c9f7a", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.139
[INFO] [stderr]    Compiling proc-macro2 v1.0.51
[INFO] [stderr]    Compiling version_check v0.9.4
[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 bitflags v1.3.2
[INFO] [stderr]    Compiling linux-raw-sys v0.1.4
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling os_str_bytes v6.4.1
[INFO] [stderr]    Compiling heck v0.4.1
[INFO] [stderr]    Compiling once_cell v1.17.1
[INFO] [stderr]    Compiling clap_lex v0.3.1
[INFO] [stderr]    Compiling strsim v0.10.0
[INFO] [stderr]    Compiling termcolor v1.2.0
[INFO] [stderr]    Compiling utf8-read v0.4.0
[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 9.10s
[INFO] running `Command { std: "docker" "inspect" "86a827d78972fb1a56c98e6a338cd7dd59f05502b8257aaa65156015970c9f7a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "86a827d78972fb1a56c98e6a338cd7dd59f05502b8257aaa65156015970c9f7a", kill_on_drop: false }`
[INFO] [stdout] 86a827d78972fb1a56c98e6a338cd7dd59f05502b8257aaa65156015970c9f7a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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.76.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5e72b93284c696eebdaaf23fbed512c47f78759d34101ba027c2f3ac6167b0b9
[INFO] running `Command { std: "docker" "start" "-a" "5e72b93284c696eebdaaf23fbed512c47f78759d34101ba027c2f3ac6167b0b9", kill_on_drop: false }`
[INFO] [stderr]    Compiling brakion v0.1.0 (/opt/rustwide/workdir/brakion)
[INFO] [stderr]    Compiling brakion-core v0.1.0 (/opt/rustwide/workdir/brakion-core)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 3.40s
[INFO] running `Command { std: "docker" "inspect" "5e72b93284c696eebdaaf23fbed512c47f78759d34101ba027c2f3ac6167b0b9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5e72b93284c696eebdaaf23fbed512c47f78759d34101ba027c2f3ac6167b0b9", kill_on_drop: false }`
[INFO] [stdout] 5e72b93284c696eebdaaf23fbed512c47f78759d34101ba027c2f3ac6167b0b9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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.76.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 77e94ed39b8b11d85fc717e8e75c22118889c839044b6f695fa9efcaac07d4ca
[INFO] running `Command { std: "docker" "start" "-a" "77e94ed39b8b11d85fc717e8e75c22118889c839044b6f695fa9efcaac07d4ca", kill_on_drop: false }`
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.04s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/brakion-e2155096a6e0a48e)
[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-06197d04a2a98fab)
[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_abrupt_escape_termination ... ok
[INFO] [stdout] test tests::lexer::comments ... ok
[INFO] [stdout] test tests::lexer::chars ... ok
[INFO] [stdout] test tests::lexer::comments_filter ... 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::float_bounds ... ok
[INFO] [stdout] test tests::lexer::empty ... ok
[INFO] [stdout] test tests::lexer::char_too_long ... ok
[INFO] [stdout] test tests::lexer::hello_world ... ok
[INFO] [stdout] test tests::lexer::integer_bounds ... ok
[INFO] [stdout] test tests::lexer::empty_char ... ok
[INFO] [stdout] test tests::lexer::identifiers ... ok
[INFO] [stdout] test tests::lexer::float_too_long ... ok
[INFO] [stdout] test tests::lexer::line_ending_mix_amount ... ok
[INFO] [stdout] test tests::lexer::integer_too_long ... ok
[INFO] [stdout] test tests::lexer::keywords ... ok
[INFO] [stdout] test tests::lexer::line_ending_mix ... ok
[INFO] [stdout] test tests::lexer::identifier_too_long ... ok
[INFO] [stdout] test tests::lexer::multiline_string ... ok
[INFO] [stdout] test tests::lexer::string_abrupt_escape_termination ... 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::lexer::string_too_long ... ok
[INFO] [stdout] test tests::lexer::identifiers_with_keywords ... ok
[INFO] [stdout] test tests::lexer::strings ... ok
[INFO] [stdout] test tests::lexer::simples ... ok
[INFO] [stdout] test tests::lexer::string_abrupt_termination ... ok
[INFO] [stdout] test tests::parser::decl::function_signature_return_list ... ok
[INFO] [stdout] test tests::parser::decl::impl_empty ... ok
[INFO] [stdout] test tests::parser::decl::function_signature_with_params ... ok
[INFO] [stdout] test tests::parser::decl::mod_empty ... ok
[INFO] [stdout] test tests::parser::decl::mod_empty_pub ... ok
[INFO] [stdout] test tests::parser::decl::mod_with_bad_decl ... ok
[INFO] [stdout] test tests::parser::decl::mod_with_decl ... ok
[INFO] [stdout] test tests::parser::decl::trait_empty ... ok
[INFO] [stdout] test tests::parser::decl::empty ... ok
[INFO] [stdout] test tests::parser::decl::impl_full ... ok
[INFO] [stdout] test tests::parser::decl::function_signature_return_basic ... ok
[INFO] [stdout] test tests::parser::decl::nothing_valid ... ok
[INFO] [stdout] test tests::parser::decl::function_signature_return_namespaced ... ok
[INFO] [stdout] test tests::parser::decl::function_signature_basic ... ok
[INFO] [stdout] test tests::parser::decl::type_basic ... 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::decl::type_mathods_only ... 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_empty ... ok
[INFO] [stdout] test tests::parser::decl::trait_methods ... ok
[INFO] [stdout] test tests::parser::decl::type_multiple_variants ... 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::decl::type_variants_methods_interweave ... ok
[INFO] [stdout] test tests::parser::expr::call_field ... ok
[INFO] [stdout] test tests::parser::decl::mod_with_decl_pub ... ok
[INFO] [stdout] test tests::parser::expr::and_or_precedence ... ok
[INFO] [stdout] test tests::parser::expr::call_with_args ... ok
[INFO] [stdout] test tests::parser::decl::type_variants_method ... ok
[INFO] [stdout] test tests::parser::expr::and ... ok
[INFO] [stdout] test tests::parser::expr::empty ... ok
[INFO] [stdout] test tests::parser::expr::equality ... ok
[INFO] [stdout] test tests::parser::expr::constructor ... ok
[INFO] [stdout] test tests::parser::expr::eq_neq_lack_precedence ... ok
[INFO] [stdout] test tests::parser::expr::as_chain ... ok
[INFO] [stdout] test tests::parser::expr::as_type ... ok
[INFO] [stdout] test tests::parser::expr::field_access ... ok
[INFO] [stdout] test tests::parser::expr::identifier ... ok
[INFO] [stdout] test tests::parser::expr::factor_repeating ... ok
[INFO] [stdout] test tests::parser::expr::comparisons_left_to_right ... ok
[INFO] [stdout] test tests::parser::expr::call_with_args_trailing_comma ... ok
[INFO] [stdout] test tests::parser::expr::factor_simple ... ok
[INFO] [stdout] test tests::parser::expr::is_chain ... ok
[INFO] [stdout] test tests::parser::expr::literal_bool_false ... ok
[INFO] [stdout] test tests::parser::expr::field_access_chain ... ok
[INFO] [stdout] test tests::parser::expr::indexing ... ok
[INFO] [stdout] test tests::parser::expr::literal_char ... ok
[INFO] [stdout] test tests::parser::expr::literal_float ... ok
[INFO] [stdout] test tests::parser::expr::comparisons ... ok
[INFO] [stdout] test tests::parser::expr::literal_integer ... 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::literal_bool_true ... ok
[INFO] [stdout] test tests::parser::expr::literal_string ... ok
[INFO] [stdout] test tests::parser::expr::literal_string_escape ... ok
[INFO] [stdout] test tests::parser::expr::field_call ... ok
[INFO] [stdout] test tests::parser::expr::is ... 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::or ... ok
[INFO] [stdout] test tests::parser::expr::namespace_call ... ok
[INFO] [stdout] test tests::parser::expr::nequality ... ok
[INFO] [stdout] test tests::parser::expr::unary ... ok
[INFO] [stdout] test tests::parser::expr::literal_void ... ok
[INFO] [stdout] test tests::parser::expr::term_repeating ... ok
[INFO] [stdout] test tests::parser::stmt::block_with_stmts ... ok
[INFO] [stdout] test tests::parser::expr::unary_chain ... ok
[INFO] [stdout] test tests::parser::stmt::assignment ... ok
[INFO] [stdout] test tests::parser::stmt::block_with_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::break_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::comment_with_newline ... ok
[INFO] [stdout] test tests::parser::stmt::empty ... ok
[INFO] [stdout] test tests::parser::stmt::empty_block ... ok
[INFO] [stdout] test tests::parser::stmt::comment_with_newline_and_space ... ok
[INFO] [stdout] test tests::parser::stmt::continue_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::comment ... ok
[INFO] [stdout] test tests::parser::stmt::expr ... ok
[INFO] [stdout] test tests::parser::expr::term_simple ... 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_ctor ... ok
[INFO] [stdout] test tests::parser::stmt::match_stmt_with_var ... ok
[INFO] [stdout] test tests::parser::stmt::match_stmt_with_var_type ... ok
[INFO] [stdout] test tests::parser::stmt::if_else_chain ... ok
[INFO] [stdout] test tests::parser::stmt::match_stmt_basic ... ok
[INFO] [stdout] test tests::parser::stmt::return_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::variable ... ok
[INFO] [stdout] test tests::validator::expr::add_sub ... ok
[INFO] [stdout] test tests::validator::expr::int_sizes ... ok
[INFO] [stdout] test tests::validator::types::list_to_list ... ok
[INFO] [stdout] test tests::parser::stmt::while_stmt ... ok
[INFO] [stdout] test tests::validator::types::infer_everything ... ok
[INFO] [stdout] test tests::validator::types::list_to_union ... ok
[INFO] [stdout] test tests::unit::utf8_misalignment_boundary ... 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::named_to_named ... ok
[INFO] [stdout] test tests::validator::types::named_to_union ... ok
[INFO] [stdout] test tests::validator::types::lookup ... 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::named_to_void ... ok
[INFO] [stdout] test tests::validator::types::union_to_union ... 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::unit::utf8_misalignment_end - should panic ... ok
[INFO] [stdout] test tests::validator::types::void_to_named ... 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:     0x5613b203fd16 - std::backtrace_rs::backtrace::libunwind::trace::hbee8a7973eeb6c93
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/../../backtrace/src/backtrace/libunwind.rs:104:5
[INFO] [stdout]    1:     0x5613b203fd16 - std::backtrace_rs::backtrace::trace_unsynchronized::hc8ac75eea3aa6899
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5613b203fd16 - std::sys_common::backtrace::_print_fmt::hc7f3e3b5298b1083
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stdout]    3:     0x5613b203fd16 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hbb235daedd7c6190
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x5613b2069680 - core::fmt::rt::Argument::fmt::h76c38a80d925a410
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/fmt/rt.rs:142:9
[INFO] [stdout]    5:     0x5613b2069680 - core::fmt::write::h3ed6aeaa977c8e45
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/fmt/mod.rs:1120:17
[INFO] [stdout]    6:     0x5613b203d77f - std::io::Write::write_fmt::h1299aa7741865f2b
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/io/mod.rs:1810:15
[INFO] [stdout]    7:     0x5613b203faf4 - std::sys_common::backtrace::_print::h5d645a07e0fcfdbb
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    8:     0x5613b203faf4 - std::sys_common::backtrace::print::h85035a511aafe7a8
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    9:     0x5613b2041867 - std::panicking::default_hook::{{closure}}::hcce8cea212785a25
[INFO] [stdout]   10:     0x5613b204154d - std::panicking::default_hook::hf5fcb0f213fe709a
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:289:9
[INFO] [stdout]   11:     0x5613b2002507 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h60265c2dfa87ee34
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/alloc/src/boxed.rs:2029:9
[INFO] [stdout]   12:     0x5613b2002507 - test::test_main::{{closure}}::h77865bd3127078c6
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/test/src/lib.rs:138:21
[INFO] [stdout]   13:     0x5613b2041e86 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hbc5ccf4eb663e1e5
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/alloc/src/boxed.rs:2029:9
[INFO] [stdout]   14:     0x5613b2041e86 - std::panicking::rust_panic_with_hook::h095fccf1dc9379ee
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:783:13
[INFO] [stdout]   15:     0x5613b2041bd2 - std::panicking::begin_panic_handler::{{closure}}::h032ba12139b353db
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:657:13
[INFO] [stdout]   16:     0x5613b2040216 - std::sys_common::backtrace::__rust_end_short_backtrace::h9259bc2ff8fd0f76
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stdout]   17:     0x5613b2041930 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:645:5
[INFO] [stdout]   18:     0x5613b1ed0db5 - core::panicking::panic_fmt::h784f20a50eaab275
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/panicking.rs:72:14
[INFO] [stdout]   19:     0x5613b1ed11eb - core::panicking::assert_failed_inner::hbf94b40c37b92af0
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/panicking.rs:342:17
[INFO] [stdout]   20:     0x5613b1f4d0ae - core::panicking::assert_failed::hf19847f99b19f729
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/panicking.rs:297:5
[INFO] [stdout]   21:     0x5613b1fc4d64 - brakion_core::tests::validator::decl::collapse_simple::h34727d21c0b98e31
[INFO] [stdout]                                at /opt/rustwide/workdir/brakion-core/src/tests/validator/decl.rs:218:5
[INFO] [stdout]   22:     0x5613b1fc12b7 - brakion_core::tests::validator::decl::collapse_simple::{{closure}}::h161bc12a86d4c4d4
[INFO] [stdout]                                at /opt/rustwide/workdir/brakion-core/src/tests/validator/decl.rs:20:21
[INFO] [stdout]   23:     0x5613b1f7fd46 - core::ops::function::FnOnce::call_once::hba8fc91bba7d2e26
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5613b2007ddf - core::ops::function::FnOnce::call_once::h8dc6907944022cf6
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x5613b2007ddf - test::__rust_begin_short_backtrace::haae1a87433f1efb3
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/test/src/lib.rs:627:18
[INFO] [stdout]   26:     0x5613b2006b61 - test::run_test_in_process::{{closure}}::h8c7decfa7c14e152
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/test/src/lib.rs:650:60
[INFO] [stdout]   27:     0x5613b2006b61 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h19e6ff056d9d21e9
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   28:     0x5613b2006b61 - std::panicking::try::do_call::h89c848fcaa37c035
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:552:40
[INFO] [stdout]   29:     0x5613b2006b61 - std::panicking::try::h57ab3dc74e2839b8
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:516:19
[INFO] [stdout]   30:     0x5613b2006b61 - std::panic::catch_unwind::hfb6a1b1abc120fb9
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panic.rs:142:14
[INFO] [stdout]   31:     0x5613b2006b61 - test::run_test_in_process::h5ae2f9875edd562d
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/test/src/lib.rs:650:27
[INFO] [stdout]   32:     0x5613b2006b61 - test::run_test::{{closure}}::h35d7300d8928a067
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/test/src/lib.rs:573:43
[INFO] [stdout]   33:     0x5613b1fcde96 - test::run_test::{{closure}}::h7525ced405d23d1b
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/test/src/lib.rs:601:41
[INFO] [stdout]   34:     0x5613b1fcde96 - std::sys_common::backtrace::__rust_begin_short_backtrace::h4e7db78ce05afad8
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stdout]   35:     0x5613b1fd2ef7 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hcfbcb64f1a1b3482
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/thread/mod.rs:529:17
[INFO] [stdout]   36:     0x5613b1fd2ef7 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h9d89c5c4108bd689
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   37:     0x5613b1fd2ef7 - std::panicking::try::do_call::h8a4869bc94ec50c9
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:552:40
[INFO] [stdout]   38:     0x5613b1fd2ef7 - std::panicking::try::h9a576f20ff81ac30
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:516:19
[INFO] [stdout]   39:     0x5613b1fd2ef7 - std::panic::catch_unwind::hbcb4e3f860ef9830
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panic.rs:142:14
[INFO] [stdout]   40:     0x5613b1fd2ef7 - std::thread::Builder::spawn_unchecked_::{{closure}}::h93c79a6be1505948
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/thread/mod.rs:528:30
[INFO] [stdout]   41:     0x5613b1fd2ef7 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h426d96740c81bdaf
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x5613b2046935 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h12de4fc57affb195
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/alloc/src/boxed.rs:2015:9
[INFO] [stdout]   43:     0x5613b2046935 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h3c619f45059d5cf1
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/alloc/src/boxed.rs:2015:9
[INFO] [stdout]   44:     0x5613b2046935 - std::sys::unix::thread::Thread::new::thread_start::hbac657605e4b7389
[INFO] [stdout]                                at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys/unix/thread.rs:108:17
[INFO] [stdout]   45:     0x7fe50e9d2ac3 - <unknown>
[INFO] [stdout]   46:     0x7fe50ea63bf4 - __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.28s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `-p brakion-core --lib`
[INFO] running `Command { std: "docker" "inspect" "77e94ed39b8b11d85fc717e8e75c22118889c839044b6f695fa9efcaac07d4ca", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "77e94ed39b8b11d85fc717e8e75c22118889c839044b6f695fa9efcaac07d4ca", kill_on_drop: false }`
[INFO] [stdout] 77e94ed39b8b11d85fc717e8e75c22118889c839044b6f695fa9efcaac07d4ca
