[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.83.0 for beta-1.84.0-4-retry
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FDuckonaut%2Fbrakion" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/Duckonaut/brakion on toolchain 1.83.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.83.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-5-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.83.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-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 17c3036041b8bf7bdbdadd290f1d79ce2c236c24138ad02acfc1396ec3fa547a
[INFO] running `Command { std: "docker" "start" "-a" "17c3036041b8bf7bdbdadd290f1d79ce2c236c24138ad02acfc1396ec3fa547a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "17c3036041b8bf7bdbdadd290f1d79ce2c236c24138ad02acfc1396ec3fa547a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "17c3036041b8bf7bdbdadd290f1d79ce2c236c24138ad02acfc1396ec3fa547a", kill_on_drop: false }`
[INFO] [stdout] 17c3036041b8bf7bdbdadd290f1d79ce2c236c24138ad02acfc1396ec3fa547a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7523e8f9aeaffcdb8f984e34346cd76221373c5eeba7ac98167cf3bfa4da4832
[INFO] running `Command { std: "docker" "start" "-a" "7523e8f9aeaffcdb8f984e34346cd76221373c5eeba7ac98167cf3bfa4da4832", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.139
[INFO] [stderr]    Compiling proc-macro2 v1.0.51
[INFO] [stderr]    Compiling unicode-ident v1.0.6
[INFO] [stderr]    Compiling quote v1.0.23
[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 heck v0.4.1
[INFO] [stderr]    Compiling os_str_bytes v6.4.1
[INFO] [stderr]    Compiling utf8-read v0.4.0
[INFO] [stderr]    Compiling termcolor v1.2.0
[INFO] [stderr]    Compiling once_cell v1.17.1
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling strsim v0.10.0
[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` profile [unoptimized + debuginfo] target(s) in 6.94s
[INFO] running `Command { std: "docker" "inspect" "7523e8f9aeaffcdb8f984e34346cd76221373c5eeba7ac98167cf3bfa4da4832", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7523e8f9aeaffcdb8f984e34346cd76221373c5eeba7ac98167cf3bfa4da4832", kill_on_drop: false }`
[INFO] [stdout] 7523e8f9aeaffcdb8f984e34346cd76221373c5eeba7ac98167cf3bfa4da4832
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] db831a4714564e84031709376d9428c4e995901e97de83f0bc415cf5e06c467a
[INFO] running `Command { std: "docker" "start" "-a" "db831a4714564e84031709376d9428c4e995901e97de83f0bc415cf5e06c467a", 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` profile [unoptimized + debuginfo] target(s) in 1.96s
[INFO] running `Command { std: "docker" "inspect" "db831a4714564e84031709376d9428c4e995901e97de83f0bc415cf5e06c467a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "db831a4714564e84031709376d9428c4e995901e97de83f0bc415cf5e06c467a", kill_on_drop: false }`
[INFO] [stdout] db831a4714564e84031709376d9428c4e995901e97de83f0bc415cf5e06c467a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 391b862e468e6aa42981624364ee756b928fa97bcfc9b584ff590d3ddeb92647
[INFO] running `Command { std: "docker" "start" "-a" "391b862e468e6aa42981624364ee756b928fa97bcfc9b584ff590d3ddeb92647", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/brakion-78ee38883121a5b2)
[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-c251373210650bb8)
[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 ... ok
[INFO] [stdout] test tests::lexer::empty_char ... 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::integer_bounds ... ok
[INFO] [stdout] test tests::lexer::identifiers ... ok
[INFO] [stdout] test tests::lexer::keywords ... ok
[INFO] [stdout] test tests::lexer::line_ending_mix ... ok
[INFO] [stdout] test tests::lexer::integer_too_long ... ok
[INFO] [stdout] test tests::lexer::identifiers_with_keywords ... ok
[INFO] [stdout] test tests::lexer::string_invalid_escapes ... ok
[INFO] [stdout] test tests::lexer::multiline_string ... ok
[INFO] [stdout] test tests::lexer::strings ... ok
[INFO] [stdout] test tests::lexer::line_ending_mix_amount ... ok
[INFO] [stdout] test tests::lexer::numbers_short ... ok
[INFO] [stdout] test tests::parser::decl::empty ... ok
[INFO] [stdout] test tests::lexer::simples ... ok
[INFO] [stdout] test tests::lexer::string_abrupt_termination ... ok
[INFO] [stdout] test tests::lexer::string_abrupt_escape_termination ... ok
[INFO] [stdout] test tests::lexer::string_empty ... ok
[INFO] [stdout] test tests::parser::decl::function_signature_basic ... 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::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::mod_empty_pub ... ok
[INFO] [stdout] test tests::parser::decl::impl_full ... 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::type_basic ... ok
[INFO] [stdout] test tests::parser::decl::mod_with_bad_decl ... ok
[INFO] [stdout] test tests::parser::decl::type_empty ... ok
[INFO] [stdout] test tests::parser::decl::function_signature_with_params ... ok
[INFO] [stdout] test tests::parser::decl::mod_with_decl ... 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_self_variant_field ... ok
[INFO] [stdout] test tests::parser::decl::type_single_variant ... ok
[INFO] [stdout] test tests::parser::decl::type_mathods_only ... ok
[INFO] [stdout] test tests::parser::decl::type_variants_method ... ok
[INFO] [stdout] test tests::parser::decl::mod_with_decl_pub ... ok
[INFO] [stdout] test tests::parser::decl::type_multiple_variants ... ok
[INFO] [stdout] test tests::parser::decl::type_single_variant_fields ... ok
[INFO] [stdout] test tests::parser::expr::and ... ok
[INFO] [stdout] test tests::parser::decl::type_variants_methods_interweave_2 ... ok
[INFO] [stdout] test tests::parser::decl::type_variants_methods_interweave ... ok
[INFO] [stdout] test tests::parser::expr::and_or_precedence ... ok
[INFO] [stdout] test tests::parser::expr::as_type ... ok
[INFO] [stdout] test tests::parser::expr::call ... ok
[INFO] [stdout] test tests::parser::expr::call_with_args ... ok
[INFO] [stdout] test tests::parser::expr::as_chain ... ok
[INFO] [stdout] test tests::parser::expr::call_with_args_trailing_comma ... ok
[INFO] [stdout] test tests::parser::expr::comparisons ... ok
[INFO] [stdout] test tests::parser::expr::comparisons_left_to_right ... ok
[INFO] [stdout] test tests::parser::expr::factor_repeating ... ok
[INFO] [stdout] test tests::parser::expr::empty ... ok
[INFO] [stdout] test tests::parser::expr::constructor ... ok
[INFO] [stdout] test tests::parser::expr::field_call ... ok
[INFO] [stdout] test tests::parser::expr::identifier ... ok
[INFO] [stdout] test tests::parser::expr::eq_neq_lack_precedence ... ok
[INFO] [stdout] test tests::parser::expr::call_field ... ok
[INFO] [stdout] test tests::parser::expr::equality ... ok
[INFO] [stdout] test tests::parser::expr::factor_simple ... ok
[INFO] [stdout] test tests::parser::expr::field_access ... ok
[INFO] [stdout] test tests::parser::expr::field_access_chain ... ok
[INFO] [stdout] test tests::parser::expr::indexing ... ok
[INFO] [stdout] test tests::lexer::char_too_long ... ok
[INFO] [stdout] test tests::parser::expr::indexing_chain ... ok
[INFO] [stdout] test tests::parser::expr::literal_char ... ok
[INFO] [stdout] test tests::parser::expr::literal_bool_true ... ok
[INFO] [stdout] test tests::parser::expr::is ... ok
[INFO] [stdout] test tests::parser::expr::literal_integer ... ok
[INFO] [stdout] test tests::parser::expr::is_chain ... ok
[INFO] [stdout] test tests::parser::expr::literal_list_multiple_elem ... ok
[INFO] [stdout] test tests::parser::expr::literal_string_escape ... ok
[INFO] [stdout] test tests::parser::expr::literal_float ... ok
[INFO] [stdout] test tests::parser::expr::literal_void ... ok
[INFO] [stdout] test tests::lexer::identifier_too_long ... 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::nequality ... ok
[INFO] [stdout] test tests::parser::expr::literal_bool_false ... ok
[INFO] [stdout] test tests::parser::expr::literal_list_single_elem ... 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_string ... ok
[INFO] [stdout] test tests::parser::expr::unary_chain ... ok
[INFO] [stdout] test tests::parser::stmt::block_with_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::block_with_stmts ... ok
[INFO] [stdout] test tests::parser::stmt::comment_with_newline ... ok
[INFO] [stdout] test tests::parser::expr::unary ... ok
[INFO] [stdout] test tests::parser::stmt::empty ... ok
[INFO] [stdout] test tests::parser::stmt::assignment ... ok
[INFO] [stdout] test tests::parser::stmt::empty_block ... ok
[INFO] [stdout] test tests::parser::stmt::break_stmt ... ok
[INFO] [stdout] test tests::parser::expr::term_simple ... ok
[INFO] [stdout] test tests::lexer::string_too_long ... ok
[INFO] [stdout] test tests::parser::stmt::comment ... ok
[INFO] [stdout] test tests::parser::stmt::comment_with_newline_and_space ... ok
[INFO] [stdout] test tests::parser::stmt::if_else_chain ... 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::match_ctor ... ok
[INFO] [stdout] test tests::parser::stmt::for_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::return_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::match_stmt_with_var_type ... ok
[INFO] [stdout] test tests::parser::stmt::continue_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::if_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::while_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::if_else ... ok
[INFO] [stdout] test tests::validator::expr::add_sub ... ok
[INFO] [stdout] test tests::validator::expr::int_signedness ... ok
[INFO] [stdout] test tests::validator::expr::int_float ... ok
[INFO] [stdout] test tests::validator::types::list_to_union ... 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::named_to_union ... ok
[INFO] [stdout] test tests::validator::expr::int_sizes ... ok
[INFO] [stdout] test tests::validator::types::union_same ... ok
[INFO] [stdout] test tests::validator::types::infer_everything ... ok
[INFO] [stdout] test tests::validator::types::list_to_list ... 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::void_to_named ... ok
[INFO] [stdout] test tests::unit::utf8_misalignment_boundary ... 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::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:     0x62a03e8b97fa - std::backtrace_rs::backtrace::libunwind::trace::h5a5b8284f2d0c266
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
[INFO] [stdout]    1:     0x62a03e8b97fa - std::backtrace_rs::backtrace::trace_unsynchronized::h76d4f1c9b0b875e3
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x62a03e8b97fa - std::sys::backtrace::_print_fmt::hc4546b8364a537c6
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x62a03e8b97fa - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h5b6bd5631a6d1f6b
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x62a03e8df7c3 - core::fmt::rt::Argument::fmt::h270f6602a2b96f62
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/fmt/rt.rs:177:76
[INFO] [stdout]    5:     0x62a03e8df7c3 - core::fmt::write::h7550c97b06c86515
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/fmt/mod.rs:1186:21
[INFO] [stdout]    6:     0x62a03e8b69c3 - std::io::Write::write_fmt::h509ff860e5956e5e
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/io/mod.rs:1839:15
[INFO] [stdout]    7:     0x62a03e8b9642 - std::sys::backtrace::BacktraceLock::print::h2395ccd2c84ba3aa
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    8:     0x62a03e8bac5a - std::panicking::default_hook::{{closure}}::he19d4c7230e07961
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:268:22
[INFO] [stdout]    9:     0x62a03e8baa64 - std::panicking::default_hook::hf614597d3c67bbdb
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:292:9
[INFO] [stdout]   10:     0x62a03e87a779 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h39b51ce4599c23d1
[INFO] [stderr] error: test failed, to rerun pass `-p brakion-core --lib`
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2468:9
[INFO] [stdout]   11:     0x62a03e87a779 - test::test_main::{{closure}}::he977ae839a582784
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:133:21
[INFO] [stdout]   12:     0x62a03e8bb2f8 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h9455091b6b06f9fb
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2468:9
[INFO] [stdout]   13:     0x62a03e8bb2f8 - std::panicking::rust_panic_with_hook::h8942133a8b252070
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:809:13
[INFO] [stdout]   14:     0x62a03e8bb0ba - std::panicking::begin_panic_handler::{{closure}}::hb5f5963570096b29
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:674:13
[INFO] [stdout]   15:     0x62a03e8b9cd9 - std::sys::backtrace::__rust_end_short_backtrace::h6208cedc1922feda
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:170:18
[INFO] [stdout]   16:     0x62a03e8bad4c - rust_begin_unwind
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:665:5
[INFO] [stdout]   17:     0x62a03e75cb60 - core::panicking::panic_fmt::h0c3082644d1bf418
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panicking.rs:74:14
[INFO] [stdout]   18:     0x62a03e75cf2b - core::panicking::assert_failed_inner::h2ddf1fcc067fa858
[INFO] [stdout]   19:     0x62a03e7c6af7 - core::panicking::assert_failed::h83c1afc6d9971d9b
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panicking.rs:367:5
[INFO] [stdout]   20:     0x62a03e7c38dd - brakion_core::tests::validator::decl::collapse_simple::hec2983bc55252e2a
[INFO] [stdout]                                at /opt/rustwide/workdir/brakion-core/src/tests/validator/decl.rs:218:5
[INFO] [stdout]   21:     0x62a03e7bfda7 - brakion_core::tests::validator::decl::collapse_simple::{{closure}}::hc72afeb7f528f646
[INFO] [stdout]                                at /opt/rustwide/workdir/brakion-core/src/tests/validator/decl.rs:20:21
[INFO] [stdout]   22:     0x62a03e798016 - core::ops::function::FnOnce::call_once::h709e6e9eed272b41
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x62a03e87f13b - core::ops::function::FnOnce::call_once::h109cf8051a59b34e
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x62a03e87f13b - test::__rust_begin_short_backtrace::hf4fff89d377446ba
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:621:18
[INFO] [stdout]   25:     0x62a03e87e977 - test::run_test_in_process::{{closure}}::h0e39181dd7ee5a43
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:644:60
[INFO] [stdout]   26:     0x62a03e87e977 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hc5a66a30f0bdfd1f
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   27:     0x62a03e87e977 - std::panicking::try::do_call::h873b7cf639554a5e
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:557:40
[INFO] [stdout]   28:     0x62a03e87e977 - std::panicking::try::hdb19862fad9c8bd1
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:520:19
[INFO] [stdout]   29:     0x62a03e87e977 - std::panic::catch_unwind::h281fe732d236d260
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panic.rs:358:14
[INFO] [stdout]   30:     0x62a03e87e977 - test::run_test_in_process::h949b6df8457ed338
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:644:27
[INFO] [stdout]   31:     0x62a03e87e977 - test::run_test::{{closure}}::h52c556a6d4740e10
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:565:43
[INFO] [stdout]   32:     0x62a03e843c54 - test::run_test::{{closure}}::h4237f6381c45ccb9
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:595:41
[INFO] [stdout]   33:     0x62a03e843c54 - std::sys::backtrace::__rust_begin_short_backtrace::h505c97a579eca628
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:154:18
[INFO] [stdout]   34:     0x62a03e84731e - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h9e86b2e2bc107ea3
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/thread/mod.rs:538:17
[INFO] [stdout]   35:     0x62a03e84731e - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h8b06ddb275ff4a25
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   36:     0x62a03e84731e - std::panicking::try::do_call::hb26ecd7cd9a9355d
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:557:40
[INFO] [stdout]   37:     0x62a03e84731e - std::panicking::try::h8ddeca9d705f9069
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:520:19
[INFO] [stdout]   38:     0x62a03e84731e - std::panic::catch_unwind::h49e1c33078844c46
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panic.rs:358:14
[INFO] [stdout]   39:     0x62a03e84731e - std::thread::Builder::spawn_unchecked_::{{closure}}::h6073db6ff56ad35d
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/thread/mod.rs:537:30
[INFO] [stdout]   40:     0x62a03e84731e - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2c5a5f3779c774f1
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x62a03e8bf04b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hf75717d9f28faebf
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2454:9
[INFO] [stdout]   42:     0x62a03e8bf04b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h7bd883a5f3c5f3c1
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2454:9
[INFO] [stdout]   43:     0x62a03e8bf04b - std::sys::pal::unix::thread::Thread::new::thread_start::hcc78f3943333fa94
[INFO] [stdout]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/pal/unix/thread.rs:105:17
[INFO] [stdout]   44:     0x77797e782ac3 - <unknown>
[INFO] [stdout]   45:     0x77797e813a04 - clone
[INFO] [stdout]   46:                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.02s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "391b862e468e6aa42981624364ee756b928fa97bcfc9b584ff590d3ddeb92647", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "391b862e468e6aa42981624364ee756b928fa97bcfc9b584ff590d3ddeb92647", kill_on_drop: false }`
[INFO] [stdout] 391b862e468e6aa42981624364ee756b928fa97bcfc9b584ff590d3ddeb92647
