[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 beta-2024-12-08 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-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/Duckonaut/brakion on toolchain beta-2024-12-08
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-12-08" "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-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/Duckonaut/brakion already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-12-08" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-12-08" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 097d098e2105efe18817e54dc886748582b894b50f3140646a4ca279d5f7207f
[INFO] running `Command { std: "docker" "start" "-a" "097d098e2105efe18817e54dc886748582b894b50f3140646a4ca279d5f7207f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "097d098e2105efe18817e54dc886748582b894b50f3140646a4ca279d5f7207f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "097d098e2105efe18817e54dc886748582b894b50f3140646a4ca279d5f7207f", kill_on_drop: false }`
[INFO] [stdout] 097d098e2105efe18817e54dc886748582b894b50f3140646a4ca279d5f7207f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-12-08" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5c6eeb7452e30b940e21e52f4e4f873c0a7db82d538044cd6973e266690903fd
[INFO] running `Command { std: "docker" "start" "-a" "5c6eeb7452e30b940e21e52f4e4f873c0a7db82d538044cd6973e266690903fd", 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 proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling io-lifetimes v1.0.5
[INFO] [stderr]    Compiling syn v1.0.107
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[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 termcolor v1.2.0
[INFO] [stderr]    Compiling strsim v0.10.0
[INFO] [stderr]    Compiling once_cell v1.17.1
[INFO] [stderr]    Compiling utf8-read v0.4.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 7.56s
[INFO] running `Command { std: "docker" "inspect" "5c6eeb7452e30b940e21e52f4e4f873c0a7db82d538044cd6973e266690903fd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5c6eeb7452e30b940e21e52f4e4f873c0a7db82d538044cd6973e266690903fd", kill_on_drop: false }`
[INFO] [stdout] 5c6eeb7452e30b940e21e52f4e4f873c0a7db82d538044cd6973e266690903fd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-12-08" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a4ba9c4ebe607919733b0c420c33a6a99a9a17c045430c484224ec8fd8196492
[INFO] running `Command { std: "docker" "start" "-a" "a4ba9c4ebe607919733b0c420c33a6a99a9a17c045430c484224ec8fd8196492", 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 2.03s
[INFO] running `Command { std: "docker" "inspect" "a4ba9c4ebe607919733b0c420c33a6a99a9a17c045430c484224ec8fd8196492", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a4ba9c4ebe607919733b0c420c33a6a99a9a17c045430c484224ec8fd8196492", kill_on_drop: false }`
[INFO] [stdout] a4ba9c4ebe607919733b0c420c33a6a99a9a17c045430c484224ec8fd8196492
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-12-08" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] cf1cbe31d728e88255447a9f56e939d935807cfa1f8380a325ad254dc4d85108
[INFO] running `Command { std: "docker" "start" "-a" "cf1cbe31d728e88255447a9f56e939d935807cfa1f8380a325ad254dc4d85108", 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-60e1f99f9464aea3)
[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-d9454057f1804edd)
[INFO] [stdout] 
[INFO] [stdout] running 143 tests
[INFO] [stdout] test tests::lexer::char_abrupt_escape_termination ... ok
[INFO] [stdout] test tests::lexer::bad_chars ... ok
[INFO] [stdout] test tests::lexer::char_abrupt_termination ... ok
[INFO] [stdout] test tests::lexer::char_invalid_escapes ... 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::chars ... ok
[INFO] [stdout] test tests::lexer::comments ... ok
[INFO] [stdout] test tests::lexer::comments_filter ... ok
[INFO] [stdout] test tests::lexer::empty_char ... ok
[INFO] [stdout] test tests::lexer::empty ... ok
[INFO] [stdout] test tests::lexer::float_bounds ... ok
[INFO] [stdout] test tests::lexer::hello_world ... ok
[INFO] [stdout] test tests::lexer::identifiers ... ok
[INFO] [stdout] test tests::lexer::float_too_long ... ok
[INFO] [stdout] test tests::lexer::identifiers_with_keywords ... ok
[INFO] [stdout] test tests::lexer::keywords ... ok
[INFO] [stdout] test tests::lexer::numbers_short ... ok
[INFO] [stdout] test tests::lexer::string_abrupt_escape_termination ... ok
[INFO] [stdout] test tests::lexer::simples ... ok
[INFO] [stdout] test tests::lexer::string_invalid_escapes ... ok
[INFO] [stdout] test tests::parser::decl::empty ... ok
[INFO] [stdout] test tests::lexer::integer_bounds ... ok
[INFO] [stdout] test tests::lexer::line_ending_mix ... ok
[INFO] [stdout] test tests::lexer::line_ending_mix_amount ... ok
[INFO] [stdout] test tests::lexer::multiline_string ... ok
[INFO] [stdout] test tests::lexer::string_abrupt_termination ... ok
[INFO] [stdout] test tests::lexer::integer_too_long ... ok
[INFO] [stdout] test tests::lexer::strings ... 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::lexer::string_empty ... ok
[INFO] [stdout] test tests::parser::decl::function_signature_return_namespaced ... ok
[INFO] [stdout] test tests::parser::decl::function_signature_return_list ... 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::impl_full ... ok
[INFO] [stdout] test tests::parser::decl::impl_empty ... ok
[INFO] [stdout] test tests::parser::decl::trait_empty ... ok
[INFO] [stdout] test tests::parser::decl::nothing_valid ... ok
[INFO] [stdout] test tests::parser::decl::type_basic ... ok
[INFO] [stdout] test tests::parser::decl::mod_with_decl ... ok
[INFO] [stdout] test tests::parser::decl::mod_with_decl_pub ... ok
[INFO] [stdout] test tests::parser::decl::trait_methods ... ok
[INFO] [stdout] test tests::parser::decl::type_mathods_only ... ok
[INFO] [stdout] test tests::parser::decl::mod_empty_pub ... ok
[INFO] [stdout] test tests::parser::decl::type_empty ... 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::mod_with_bad_decl ... 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::decl::type_variants_method ... ok
[INFO] [stdout] test tests::parser::decl::type_variants_methods_interweave ... ok
[INFO] [stdout] test tests::parser::expr::and ... 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::decl::type_variants_methods_interweave_2 ... ok
[INFO] [stdout] test tests::parser::expr::call_field ... ok
[INFO] [stdout] test tests::parser::expr::call_with_args ... ok
[INFO] [stdout] test tests::parser::expr::call_with_args_trailing_comma ... ok
[INFO] [stdout] test tests::parser::expr::empty ... ok
[INFO] [stdout] test tests::parser::expr::comparisons ... ok
[INFO] [stdout] test tests::parser::expr::eq_neq_lack_precedence ... ok
[INFO] [stdout] test tests::parser::expr::comparisons_left_to_right ... ok
[INFO] [stdout] test tests::lexer::char_too_long ... ok
[INFO] [stdout] test tests::parser::expr::equality ... ok
[INFO] [stdout] test tests::parser::expr::factor_repeating ... 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::field_call ... ok
[INFO] [stdout] test tests::parser::expr::identifier ... ok
[INFO] [stdout] test tests::parser::expr::as_chain ... ok
[INFO] [stdout] test tests::parser::expr::indexing ... ok
[INFO] [stdout] test tests::parser::expr::constructor ... ok
[INFO] [stdout] test tests::parser::expr::is ... ok
[INFO] [stdout] test tests::parser::expr::is_chain ... ok
[INFO] [stdout] test tests::parser::expr::indexing_chain ... ok
[INFO] [stdout] test tests::parser::expr::literal_float ... ok
[INFO] [stdout] test tests::parser::expr::literal_bool_false ... ok
[INFO] [stdout] test tests::parser::expr::literal_integer ... ok
[INFO] [stdout] test tests::parser::expr::literal_bool_true ... ok
[INFO] [stdout] test tests::parser::expr::literal_char ... ok
[INFO] [stdout] test tests::lexer::identifier_too_long ... ok
[INFO] [stdout] test tests::parser::expr::literal_list_single_elem ... ok
[INFO] [stdout] test tests::parser::expr::literal_list_multiple_elem ... ok
[INFO] [stdout] test tests::parser::expr::literal_string ... ok
[INFO] [stdout] test tests::parser::expr::namespace_call ... ok
[INFO] [stdout] test tests::parser::expr::literal_string_escape ... ok
[INFO] [stdout] test tests::parser::expr::namespaced_identifier ... ok
[INFO] [stdout] test tests::parser::expr::literal_void ... ok
[INFO] [stdout] test tests::parser::expr::nequality ... 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::expr::term_simple ... ok
[INFO] [stdout] test tests::parser::expr::unary ... ok
[INFO] [stdout] test tests::parser::stmt::break_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::comment ... ok
[INFO] [stdout] test tests::parser::expr::or ... ok
[INFO] [stdout] test tests::parser::stmt::comment_with_newline ... ok
[INFO] [stdout] test tests::lexer::string_too_long ... ok
[INFO] [stdout] test tests::parser::stmt::comment_with_newline_and_space ... ok
[INFO] [stdout] test tests::parser::stmt::assignment ... ok
[INFO] [stdout] test tests::parser::stmt::empty ... ok
[INFO] [stdout] test tests::parser::stmt::continue_stmt ... ok
[INFO] [stdout] test tests::parser::expr::term_repeating ... ok
[INFO] [stdout] test tests::parser::stmt::empty_block ... ok
[INFO] [stdout] test tests::parser::stmt::if_else_chain ... ok
[INFO] [stdout] test tests::parser::stmt::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::match_stmt_with_var ... ok
[INFO] [stdout] test tests::parser::stmt::if_else ... ok
[INFO] [stdout] test tests::parser::stmt::match_stmt_with_var_type ... ok
[INFO] [stdout] test tests::parser::stmt::return_stmt ... ok
[INFO] [stdout] test tests::validator::expr::add_sub ... ok
[INFO] [stdout] test tests::parser::stmt::variable ... 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::infer_everything ... ok
[INFO] [stdout] test tests::validator::types::list_to_list ... ok
[INFO] [stdout] test tests::parser::stmt::while_stmt ... ok
[INFO] [stdout] test tests::parser::stmt::if_stmt ... ok
[INFO] [stdout] test tests::validator::expr::int_sizes ... 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::type_impl_trait ... ok
[INFO] [stdout] test tests::unit::utf8_misalignment_boundary ... 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::void_to_union ... ok
[INFO] [stdout] test tests::validator::types::void_to_void ... ok
[INFO] [stdout] test tests::validator::types::named_to_union ... ok
[INFO] [stdout] test tests::validator::types::void_to_named ... ok
[INFO] [stdout] test tests::validator::types::union_to_union ... ok
[INFO] [stdout] test tests::validator::decl::collapse_simple ... FAILED
[INFO] [stdout] test tests::unit::utf8_misalignment_end - should panic ... ok
[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] [stderr] error: test failed, to rerun pass `-p brakion-core --lib`
[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:     0x5719a16b7eea - std::backtrace_rs::backtrace::libunwind::trace::h8810477743020387
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
[INFO] [stdout]    1:     0x5719a16b7eea - std::backtrace_rs::backtrace::trace_unsynchronized::h3aa55355dd6c54a6
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5719a16b7eea - std::sys::backtrace::_print_fmt::h8588b0f62410823f
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x5719a16b7eea - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h98c26ac25ffe89bb
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x5719a16de523 - core::fmt::rt::Argument::fmt::hf95377f4aebd453b
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/fmt/rt.rs:177:76
[INFO] [stdout]    5:     0x5719a16de523 - core::fmt::write::h0dd5f6e2238c7982
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/fmt/mod.rs:1189:21
[INFO] [stdout]    6:     0x5719a16b5083 - std::io::Write::write_fmt::h03bb0ca26e6faf8c
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/io/mod.rs:1884:15
[INFO] [stdout]    7:     0x5719a16b7d32 - std::sys::backtrace::BacktraceLock::print::h5c19c1c038ee186d
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    8:     0x5719a16b936d - std::panicking::default_hook::{{closure}}::h77172f079a1fcb13
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:268:22
[INFO] [stdout]    9:     0x5719a16b9177 - std::panicking::default_hook::he5f8e3b203ccddba
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:292:9
[INFO] [stdout]   10:     0x5719a1676c57 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h7a3c7b4a1ae77f2f
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/alloc/src/boxed.rs:1986:9
[INFO] [stdout]   11:     0x5719a1676c57 - test::test_main::{{closure}}::hf0d3b69ae9b353d1
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/test/src/lib.rs:134:21
[INFO] [stdout]   12:     0x5719a16b9a18 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h6332e82e7b189abd
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/alloc/src/boxed.rs:1986:9
[INFO] [stdout]   13:     0x5719a16b9a18 - std::panicking::rust_panic_with_hook::h53863d4e9018df39
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:809:13
[INFO] [stdout]   14:     0x5719a16b97da - std::panicking::begin_panic_handler::{{closure}}::h67280e6fa0757873
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:674:13
[INFO] [stdout]   15:     0x5719a16b83c9 - std::sys::backtrace::__rust_end_short_backtrace::h1dac3f54d6fbbeb2
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/backtrace.rs:170:18
[INFO] [stdout]   16:     0x5719a16b946c - rust_begin_unwind
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:665:5
[INFO] [stdout]   17:     0x5719a1556ba0 - core::panicking::panic_fmt::h6792bd1b2bf01041
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/panicking.rs:76:14
[INFO] [stdout]   18:     0x5719a1556f6b - core::panicking::assert_failed_inner::hf2c17e6d30928787
[INFO] [stdout]   19:     0x5719a158e229 - core::panicking::assert_failed::hbbc66f51d89aa748
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/panicking.rs:373:5
[INFO] [stdout]   20:     0x5719a16045bd - brakion_core::tests::validator::decl::collapse_simple::h3efd4f1339fbc2b3
[INFO] [stdout]                                at /opt/rustwide/workdir/brakion-core/src/tests/validator/decl.rs:218:5
[INFO] [stdout]   21:     0x5719a1600a87 - brakion_core::tests::validator::decl::collapse_simple::{{closure}}::h53a28c72d225f5d0
[INFO] [stdout]                                at /opt/rustwide/workdir/brakion-core/src/tests/validator/decl.rs:20:21
[INFO] [stdout]   22:     0x5719a1627b56 - core::ops::function::FnOnce::call_once::hdfda71f2cc5cd45c
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x5719a167b77b - core::ops::function::FnOnce::call_once::h871bf86719ec9aa4
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5719a167b77b - test::__rust_begin_short_backtrace::h2167df1e2b7d76fd
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/test/src/lib.rs:632:18
[INFO] [stdout]   25:     0x5719a167b168 - test::run_test_in_process::{{closure}}::h15d92f75a3adfb79
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/test/src/lib.rs:655:60
[INFO] [stdout]   26:     0x5719a167b168 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hb6c8955835a8dbbb
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   27:     0x5719a167b168 - std::panicking::try::do_call::hc79d0fc888a0bd30
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:557:40
[INFO] [stdout]   28:     0x5719a167b168 - std::panicking::try::hb8a7878e3a8589d6
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:520:19
[INFO] [stdout]   29:     0x5719a167b168 - std::panic::catch_unwind::hb8e4600ff0ff5cfa
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panic.rs:358:14
[INFO] [stdout]   30:     0x5719a167b168 - test::run_test_in_process::hc2900b0b18688dd6
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/test/src/lib.rs:655:27
[INFO] [stdout]   31:     0x5719a167b168 - test::run_test::{{closure}}::hac2a9cb07be3d48d
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/test/src/lib.rs:576:43
[INFO] [stdout]   32:     0x5719a163ec0a - test::run_test::{{closure}}::h4a5b729e66a38cd8
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/test/src/lib.rs:606:41
[INFO] [stdout]   33:     0x5719a163ec0a - std::sys::backtrace::__rust_begin_short_backtrace::h0496fb742492f573
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/backtrace.rs:154:18
[INFO] [stdout]   34:     0x5719a1642584 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hbb6d257c550a54bd
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/thread/mod.rs:561:17
[INFO] [stdout]   35:     0x5719a1642584 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h46696fe4a6832328
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   36:     0x5719a1642584 - std::panicking::try::do_call::h2625a51b667bfb64
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:557:40
[INFO] [stdout]   37:     0x5719a1642584 - std::panicking::try::hb956a59a1973aa4c
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panicking.rs:520:19
[INFO] [stdout]   38:     0x5719a1642584 - std::panic::catch_unwind::h64f3b9d1067ef6a0
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/panic.rs:358:14
[INFO] [stdout]   39:     0x5719a1642584 - std::thread::Builder::spawn_unchecked_::{{closure}}::h42b2841295b6c0b2
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/thread/mod.rs:559:30
[INFO] [stdout]   40:     0x5719a1642584 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h6127de71b8124639
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x5719a16bd95b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h42f0ba71002a1b2c
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/alloc/src/boxed.rs:1972:9
[INFO] [stdout]   42:     0x5719a16bd95b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::had9e47d7a3dcecb8
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/alloc/src/boxed.rs:1972:9
[INFO] [stdout]   43:     0x5719a16bd95b - std::sys::pal::unix::thread::Thread::new::thread_start::h48cf765408f6f5f2
[INFO] [stdout]                                at /rustc/202008a1b8de96d2e5b6bc02d379db03a877d34d/library/std/src/sys/pal/unix/thread.rs:105:17
[INFO] [stdout]   44:     0x7489e0e1eac3 - <unknown>
[INFO] [stdout]   45:     0x7489e0eafa04 - 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.03s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "cf1cbe31d728e88255447a9f56e939d935807cfa1f8380a325ad254dc4d85108", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cf1cbe31d728e88255447a9f56e939d935807cfa1f8380a325ad254dc4d85108", kill_on_drop: false }`
[INFO] [stdout] cf1cbe31d728e88255447a9f56e939d935807cfa1f8380a325ad254dc4d85108
