[INFO] cloning repository https://github.com/pandaman64/succ_nix [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/pandaman64/succ_nix" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpandaman64%2Fsucc_nix", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpandaman64%2Fsucc_nix'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] e4cd8b401128f16a1334f313f19821a9b2d6bb76 [INFO] testing pandaman64/succ_nix against nightly-2025-01-18 for randomize-layout-3 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpandaman64%2Fsucc_nix" "/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/pandaman64/succ_nix on toolchain nightly-2025-01-18 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2025-01-18" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/pandaman64/succ_nix [INFO] finished tweaking git repo https://github.com/pandaman64/succ_nix [INFO] tweaked toml for git repo https://github.com/pandaman64/succ_nix written to /workspace/builds/worker-5-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/pandaman64/succ_nix 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" "+nightly-2025-01-18" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded typed-arena v2.0.1 [INFO] [stderr] Downloaded serde v1.0.125 [INFO] [stderr] Downloaded tracing-serde v0.1.2 [INFO] [stderr] Downloaded cbitset v0.2.0 [INFO] [stderr] Downloaded unicode-xid v0.2.2 [INFO] [stderr] Downloaded termcolor v1.1.2 [INFO] [stderr] Downloaded terminal_size v0.1.16 [INFO] [stderr] Downloaded encode_unicode v0.3.6 [INFO] [stderr] Downloaded codespan-reporting v0.11.1 [INFO] [stderr] Downloaded hashbrown v0.9.1 [INFO] [stderr] Downloaded tracing v0.1.26 [INFO] [stderr] Downloaded aho-corasick v0.7.18 [INFO] [stderr] Downloaded chrono v0.4.19 [INFO] [stderr] Downloaded syn v1.0.72 [INFO] [stderr] Downloaded regex-automata v0.1.9 [INFO] [stderr] Downloaded rnix v0.9.0 [INFO] [stderr] Downloaded serde_json v1.0.64 [INFO] [stderr] Downloaded tracing-subscriber v0.2.18 [INFO] [stderr] Downloaded regex v1.5.4 [INFO] [stderr] Downloaded similar v1.3.0 [INFO] [stderr] Downloaded rowan v0.12.6 [INFO] [stderr] Downloaded bstr v0.2.16 [INFO] [stderr] Downloaded regex-syntax v0.6.25 [INFO] [stderr] Downloaded memchr v2.4.0 [INFO] [stderr] Downloaded ryu v1.0.5 [INFO] [stderr] Downloaded sharded-slab v0.1.1 [INFO] [stderr] Downloaded tracing-core v0.1.18 [INFO] [stderr] Downloaded globset v0.4.6 [INFO] [stderr] Downloaded yaml-rust v0.4.5 [INFO] [stderr] Downloaded serde_yaml v0.8.17 [INFO] [stderr] Downloaded libc v0.2.94 [INFO] [stderr] Downloaded num-traits v0.2.14 [INFO] [stderr] Downloaded smallvec v1.6.1 [INFO] [stderr] Downloaded once_cell v1.7.2 [INFO] [stderr] Downloaded pin-project-lite v0.2.6 [INFO] [stderr] Downloaded insta v1.7.1 [INFO] [stderr] Downloaded log v0.4.14 [INFO] [stderr] Downloaded tracing-log v0.1.2 [INFO] [stderr] Downloaded proc-macro2 v1.0.26 [INFO] [stderr] Downloaded quote v1.0.9 [INFO] [stderr] Downloaded serde_derive v1.0.125 [INFO] [stderr] Downloaded console v0.14.1 [INFO] [stderr] Downloaded dtoa v0.4.8 [INFO] [stderr] Downloaded uuid v0.8.2 [INFO] [stderr] Downloaded same-file v1.0.6 [INFO] [stderr] Downloaded winapi-util v0.1.5 [INFO] [stderr] Downloaded countme v2.0.4 [INFO] [stderr] Downloaded smol_str v0.1.17 [INFO] [stderr] Downloaded ansi_term v0.12.1 [INFO] [stderr] Downloaded itoa v0.4.7 [INFO] [stderr] Downloaded thread_local v1.1.3 [INFO] [stderr] Downloaded tracing-attributes v0.1.15 [INFO] [stderr] Downloaded unicode-width v0.1.8 [INFO] [stderr] Downloaded linked-hash-map v0.5.4 [INFO] [stderr] Downloaded walkdir v2.3.2 [INFO] [stderr] Downloaded memoffset v0.6.3 [INFO] [stderr] Downloaded text-size v1.1.0 [INFO] [stderr] Downloaded num-integer v0.1.44 [INFO] [stderr] Downloaded byteorder v1.4.3 [INFO] [stderr] Downloaded matchers v0.0.1 [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:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 21b508bfd26ea9b37953f66d930b73065966c977dfe7c03033740011f2f8db65 [INFO] running `Command { std: "docker" "start" "-a" "21b508bfd26ea9b37953f66d930b73065966c977dfe7c03033740011f2f8db65", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "21b508bfd26ea9b37953f66d930b73065966c977dfe7c03033740011f2f8db65", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "21b508bfd26ea9b37953f66d930b73065966c977dfe7c03033740011f2f8db65", kill_on_drop: false }` [INFO] [stdout] 21b508bfd26ea9b37953f66d930b73065966c977dfe7c03033740011f2f8db65 [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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 98255ff35a82028818b3c218f2484e37ecc2156be6656c194473e7ec8fab7da8 [INFO] running `Command { std: "docker" "start" "-a" "98255ff35a82028818b3c218f2484e37ecc2156be6656c194473e7ec8fab7da8", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.0.1 [INFO] [stderr] Compiling proc-macro2 v1.0.26 [INFO] [stderr] Compiling syn v1.0.72 [INFO] [stderr] Compiling text-size v1.1.0 [INFO] [stderr] Compiling hashbrown v0.9.1 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling countme v2.0.4 [INFO] [stderr] Compiling pin-project-lite v0.2.6 [INFO] [stderr] Compiling tracing-core v0.1.18 [INFO] [stderr] Compiling smol_str v0.1.17 [INFO] [stderr] Compiling termcolor v1.1.2 [INFO] [stderr] Compiling unicode-width v0.1.8 [INFO] [stderr] Compiling typed-arena v2.0.1 [INFO] [stderr] Compiling codespan-reporting v0.11.1 [INFO] [stderr] Compiling memoffset v0.6.3 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling rowan v0.12.6 [INFO] [stderr] Compiling quote v1.0.9 [INFO] [stderr] Compiling cbitset v0.2.0 [INFO] [stderr] Compiling rnix v0.9.0 [INFO] [stderr] Compiling tracing-attributes v0.1.15 [INFO] [stderr] Compiling tracing v0.1.26 [INFO] [stderr] Compiling succ_nix v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 14.18s [INFO] running `Command { std: "docker" "inspect" "98255ff35a82028818b3c218f2484e37ecc2156be6656c194473e7ec8fab7da8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "98255ff35a82028818b3c218f2484e37ecc2156be6656c194473e7ec8fab7da8", kill_on_drop: false }` [INFO] [stdout] 98255ff35a82028818b3c218f2484e37ecc2156be6656c194473e7ec8fab7da8 [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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5eafa94b907422bed67561033bf61fe5cc8da27c4407f151e9d15689c3e33f72 [INFO] running `Command { std: "docker" "start" "-a" "5eafa94b907422bed67561033bf61fe5cc8da27c4407f151e9d15689c3e33f72", kill_on_drop: false }` [INFO] [stderr] Compiling memchr v2.4.0 [INFO] [stderr] Compiling serde_derive v1.0.125 [INFO] [stderr] Compiling libc v0.2.94 [INFO] [stderr] Compiling serde v1.0.125 [INFO] [stderr] Compiling regex-syntax v0.6.25 [INFO] [stderr] Compiling log v0.4.14 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling serde_json v1.0.64 [INFO] [stderr] Compiling byteorder v1.4.3 [INFO] [stderr] Compiling linked-hash-map v0.5.4 [INFO] [stderr] Compiling itoa v0.4.7 [INFO] [stderr] Compiling yaml-rust v0.4.5 [INFO] [stderr] Compiling once_cell v1.7.2 [INFO] [stderr] Compiling dtoa v0.4.8 [INFO] [stderr] Compiling terminal_size v0.1.16 [INFO] [stderr] Compiling walkdir v2.3.2 [INFO] [stderr] Compiling console v0.14.1 [INFO] [stderr] Compiling chrono v0.4.19 [INFO] [stderr] Compiling thread_local v1.1.3 [INFO] [stderr] Compiling aho-corasick v0.7.18 [INFO] [stderr] Compiling bstr v0.2.16 [INFO] [stderr] Compiling tracing-log v0.1.2 [INFO] [stderr] Compiling sharded-slab v0.1.1 [INFO] [stderr] Compiling similar v1.3.0 [INFO] [stderr] Compiling smallvec v1.6.1 [INFO] [stderr] Compiling uuid v0.8.2 [INFO] [stderr] Compiling ansi_term v0.12.1 [INFO] [stderr] Compiling regex v1.5.4 [INFO] [stderr] Compiling regex-automata v0.1.9 [INFO] [stderr] Compiling matchers v0.0.1 [INFO] [stderr] Compiling globset v0.4.6 [INFO] [stderr] Compiling tracing-serde v0.1.2 [INFO] [stderr] Compiling serde_yaml v0.8.17 [INFO] [stderr] Compiling insta v1.7.1 [INFO] [stderr] Compiling tracing-subscriber v0.2.18 [INFO] [stderr] Compiling succ_nix v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 20.66s [INFO] running `Command { std: "docker" "inspect" "5eafa94b907422bed67561033bf61fe5cc8da27c4407f151e9d15689c3e33f72", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5eafa94b907422bed67561033bf61fe5cc8da27c4407f151e9d15689c3e33f72", kill_on_drop: false }` [INFO] [stdout] 5eafa94b907422bed67561033bf61fe5cc8da27c4407f151e9d15689c3e33f72 [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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 81eab67f3570ea2eb62d5582d7fbd7642fd795df80d62e48fdf9c5dc3cc2808b [INFO] running `Command { std: "docker" "start" "-a" "81eab67f3570ea2eb62d5582d7fbd7642fd795df80d62e48fdf9c5dc3cc2808b", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.13s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/succ_nix-532cb6368772a256) [INFO] [stdout] [INFO] [stdout] running 21 tests [INFO] [stdout] test test::test_app_information_loss ... ok [INFO] [stdout] test test::test_attr_set_rec ... ok [INFO] [stdout] test test::test_attr_set ... ok [INFO] [stdout] test test::test_attr_set_arg ... ok [INFO] [stdout] test test::test_assert ... ok [INFO] [stdout] test test::test_dynamic_attr ... ok [INFO] [stdout] test test::test_branch ... ok [INFO] [stdout] test test::test_id ... ok [INFO] [stderr] error: limit reached while inferencing types [INFO] [stderr] ┌─ test_let_recursive_xx.nix:1:9 [INFO] [stderr] │ [INFO] [stderr] 1 │ let x = x x; in x [INFO] [stderr] │ ^ while inferencing the types for this term [INFO] [stderr] [INFO] [stderr] error: limit reached while inferencing types [INFO] [stderr] ┌─ test_let_recursive_xx.nix:1:11 [INFO] [stderr] │ [INFO] [stderr] 1 │ let x = x x; in x [INFO] [stderr] │ ^ while inferencing the types for this term [INFO] [stderr] [INFO] [stderr] error: limit reached while inferencing types [INFO] [stderr] ┌─ test_let_recursive_xx.nix:1:9 [INFO] [stderr] │ [INFO] [stderr] 1 │ let x = x x; in x [INFO] [stderr] │ ^^^ while inferencing the types for this term [INFO] [stderr] [INFO] [stderr] error: limit reached while inferencing types [INFO] [stderr] ┌─ test_let_recursive_xx.nix:1:9 [INFO] [stderr] │ [INFO] [stderr] 1 │ let x = x x; in x [INFO] [stderr] │ ^ while inferencing the types for this term [INFO] [stderr] [INFO] [stderr] error: limit reached while inferencing types [INFO] [stderr] ┌─ test_let_recursive_xx.nix:1:11 [INFO] [stderr] │ [INFO] [stderr] 1 │ let x = x x; in x [INFO] [stderr] │ ^ while inferencing the types for this term [INFO] [stderr] [INFO] [stderr] error: limit reached while inferencing types [INFO] [stderr] ┌─ test_let_recursive_xx.nix:1:17 [INFO] [stderr] │ [INFO] [stderr] 1 │ let x = x x; in x [INFO] [stderr] │ ^ while inferencing the types for this term [INFO] [stderr] [INFO] [stderr] error: limit reached while inferencing types [INFO] [stderr] ┌─ test_let_recursive_xx.nix:1:1 [INFO] [stderr] │ [INFO] [stderr] 1 │ let x = x x; in x [INFO] [stderr] │ ^^^^^^^^^^^^^^^^^ while inferencing the types for this term [INFO] [stderr] [INFO] [stderr] error: limit reached while inferencing types [INFO] [stderr] ┌─ test_hungry.nix:1:1 [INFO] [stderr] │ [INFO] [stderr] 1 │ let hungry = x: hungry; in hungry [INFO] [stderr] │ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ while inferencing the types for this term [INFO] [stderr] [INFO] [stderr] error: limit reached while inferencing types [INFO] [stderr] ┌─ test_hungry.nix:1:14 [INFO] [stderr] │ [INFO] [stderr] 1 │ let hungry = x: hungry; in hungry [INFO] [stderr] │ ^^^^^^^^^ while inferencing the types for this term [INFO] [stderr] [INFO] [stderr] error: limit reached while inferencing types [INFO] [stderr] ┌─ test_hungry.nix:1:28 [INFO] [stderr] │ [INFO] [stderr] 1 │ let hungry = x: hungry; in hungry [INFO] [stderr] │ ^^^^^^ while inferencing the types for this term [INFO] [stderr] [INFO] [stderr] error: limit reached while inferencing types [INFO] [stderr] ┌─ test_hungry.nix:1:1 [INFO] [stderr] │ [INFO] [stderr] 1 │ let hungry = x: hungry; in hungry [INFO] [stderr] │ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ while inferencing the types for this term [INFO] [stderr] [INFO] [stderr] error: subset constraint `tt ⊂ (any -> any)` cannot be met [INFO] [stderr] ┌─ test_let_fail.nix:1:32 [INFO] [stderr] │ [INFO] [stderr] 1 │ let x = true; y = z: z x; in y x [INFO] [stdout] test test::test_assert_msg ... ok [INFO] [stderr] │ ^ the constraint comes from here [INFO] [stdout] test test::test_let ... ok [INFO] [stderr] [INFO] [stdout] test test::test_branch_half_succ ... ok [INFO] [stderr] error: subset constraint `(any -> any) ⊂ tt` cannot be met [INFO] [stdout] test test::test_fail_nonexistent_path ... ok [INFO] [stderr] ┌─ test_let_fail.nix:1:1 [INFO] [stdout] test test::test_let_infinite_types ... ok [INFO] [stderr] │ [INFO] [stdout] test test::test_fix ... ok [INFO] [stderr] 1 │ let x = true; y = z: z x; in y x [INFO] [stderr] │ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the constraint comes from here [INFO] [stderr] [INFO] [stderr] error: subset constraint `tt ⊂ (any -> any)` cannot be met [INFO] [stderr] ┌─ test_let_fail.nix:1:32 [INFO] [stderr] │ [INFO] [stderr] 1 │ let x = true; y = z: z x; in y x [INFO] [stderr] │ ^ the constraint comes from here [INFO] [stderr] [INFO] [stderr] error: limit reached while inferencing types [INFO] [stderr] ┌─ test_let_fail.nix:1:32 [INFO] [stderr] │ [INFO] [stderr] 1 │ let x = true; y = z: z x; in y x [INFO] [stderr] │ ^ while inferencing the types for this term [INFO] [stderr] [INFO] [stderr] error: limit reached while inferencing types [INFO] [stderr] ┌─ test_let_fail.nix:1:30 [INFO] [stderr] │ [INFO] [stderr] 1 │ let x = true; y = z: z x; in y x [INFO] [stderr] │ ^^^ while inferencing the types for this term [INFO] [stderr] [INFO] [stderr] error: subset constraint `bool ⊂ (any -> any)` cannot be met [INFO] [stderr] ┌─ test_not_id.nix:1:4 [INFO] [stderr] │ [INFO] [stderr] 1 │ ! (x: x) [INFO] [stderr] │ ^^^^ the constraint comes from here [INFO] [stderr] [INFO] [stderr] error: subset constraint `(any -> any) ⊂ bool` cannot be met [INFO] [stderr] ┌─ test_not_id.nix:1:4 [INFO] [stderr] │ [INFO] [stderr] 1 │ ! (x: x) [INFO] [stderr] │ ^^^^ the constraint comes from here [INFO] [stderr] [INFO] [stderr] error: subset constraint `bool ⊂ (any -> any)` cannot be met [INFO] [stderr] ┌─ test_not_id.nix:1:4 [INFO] [stderr] │ [INFO] [stderr] 1 │ ! (x: x) [INFO] [stderr] │ ^^^^ the constraint comes from here [INFO] [stderr] [INFO] [stdout] test test::test_let_fail ... ok [INFO] [stdout] test test::test_not_id ... ok [INFO] [stdout] test test::test_xx ... ok [INFO] [stdout] test test::test_not_first ... ok [INFO] [stdout] test test::test_rec ... ok [INFO] [stdout] test test::test_with ... ok [INFO] [stdout] test test::test_integer ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 21 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s [INFO] [stdout] [INFO] [stderr] Running tests/insta.rs (/opt/rustwide/target/debug/deps/insta-87098555a8ec43d7) [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test test_insta ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.23s [INFO] [stdout] [INFO] [stderr] Doc-tests succ_nix [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "81eab67f3570ea2eb62d5582d7fbd7642fd795df80d62e48fdf9c5dc3cc2808b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "81eab67f3570ea2eb62d5582d7fbd7642fd795df80d62e48fdf9c5dc3cc2808b", kill_on_drop: false }` [INFO] [stdout] 81eab67f3570ea2eb62d5582d7fbd7642fd795df80d62e48fdf9c5dc3cc2808b