[INFO] fetching crate erg_compiler 0.6.12-nightly.2...
[INFO] testing erg_compiler-0.6.12-nightly.2 against 1.69.0 for beta-1.70-1
[INFO] extracting crate erg_compiler 0.6.12-nightly.2 into /workspace/builds/worker-0-tc1/source
[INFO] validating manifest of crates.io crate erg_compiler 0.6.12-nightly.2 on toolchain 1.69.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.69.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate erg_compiler 0.6.12-nightly.2
[INFO] finished tweaking crates.io crate erg_compiler 0.6.12-nightly.2
[INFO] tweaked toml for crates.io crate erg_compiler 0.6.12-nightly.2 written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] crate crates.io crate erg_compiler 0.6.12-nightly.2 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.69.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded erg_parser v0.6.12-nightly.2
[INFO] [stderr]   Downloaded erg_common v0.6.12-nightly.2
[INFO] [stderr]   Downloaded backtrace-on-stack-overflow v0.2.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] cadaf5ca42ba0bc9e20d31df7ebb74139d50f0c1830a3b4e102fb2def161093c
[INFO] running `Command { std: "docker" "start" "-a" "cadaf5ca42ba0bc9e20d31df7ebb74139d50f0c1830a3b4e102fb2def161093c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "cadaf5ca42ba0bc9e20d31df7ebb74139d50f0c1830a3b4e102fb2def161093c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cadaf5ca42ba0bc9e20d31df7ebb74139d50f0c1830a3b4e102fb2def161093c", kill_on_drop: false }`
[INFO] [stdout] cadaf5ca42ba0bc9e20d31df7ebb74139d50f0c1830a3b4e102fb2def161093c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b3cddcaecd520652d76927c8e9895d681d378cfde600d55c43551e67accca6a0
[INFO] running `Command { std: "docker" "start" "-a" "b3cddcaecd520652d76927c8e9895d681d378cfde600d55c43551e67accca6a0", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.142
[INFO] [stderr]    Compiling erg_common v0.6.12-nightly.2
[INFO] [stderr]    Compiling unicode-xid v0.2.4
[INFO] [stderr]    Compiling erg_parser v0.6.12-nightly.2
[INFO] [stderr]    Compiling erg_compiler v0.6.12-nightly.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 33.07s
[INFO] running `Command { std: "docker" "inspect" "b3cddcaecd520652d76927c8e9895d681d378cfde600d55c43551e67accca6a0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b3cddcaecd520652d76927c8e9895d681d378cfde600d55c43551e67accca6a0", kill_on_drop: false }`
[INFO] [stdout] b3cddcaecd520652d76927c8e9895d681d378cfde600d55c43551e67accca6a0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8919e26c53b502d283fbd41cf9e91133b481d957e3e3c77e4daf483c0de2545d
[INFO] running `Command { std: "docker" "start" "-a" "8919e26c53b502d283fbd41cf9e91133b481d957e3e3c77e4daf483c0de2545d", kill_on_drop: false }`
[INFO] [stderr]    Compiling erg_compiler v0.6.12-nightly.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 8.88s
[INFO] running `Command { std: "docker" "inspect" "8919e26c53b502d283fbd41cf9e91133b481d957e3e3c77e4daf483c0de2545d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8919e26c53b502d283fbd41cf9e91133b481d957e3e3c77e4daf483c0de2545d", kill_on_drop: false }`
[INFO] [stdout] 8919e26c53b502d283fbd41cf9e91133b481d957e3e3c77e4daf483c0de2545d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] b8f059eca93595e8adf9e64fa067025474e8a32612253ac353650e18cef9269b
[INFO] running `Command { std: "docker" "start" "-a" "b8f059eca93595e8adf9e64fa067025474e8a32612253ac353650e18cef9269b", kill_on_drop: false }`
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stderr]      Running unittests lib.rs (/opt/rustwide/target/debug/deps/erg_compiler-af0e9f72e1c3cb74)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test error::test::default_error_format_confirmation ... ok
[INFO] [stdout] test ty::vis::tests::test_std_key ... ok
[INFO] [stdout] test ty::free::tests::cmp_freevar ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests main.rs (/opt/rustwide/target/debug/deps/cm-4433cbaa6d1acdd9)
[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 tests/test.rs (/opt/rustwide/target/debug/deps/test-6822958386237aff)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test test_refinement_subtyping ... ok
[INFO] [stdout] test test_quant_subtyping ... ok
[INFO] [stdout] test test_intersection ... ok
[INFO] [stdout] test test_instantiation_and_generalization ... ok
[INFO] [stderr] [93m[1mWarning[#0312][m[0m: File tests/infer.er, line 3, <module>
[INFO] [stderr] 
[INFO] [stderr] [96m3 | [mif__ cond, then, else = if cond, then, else
[INFO] [stderr] [96m  : [m[93m---------------------[m
[INFO] [stderr] [96m  : [m                    [93m`- [mplease explicitly specify the return type of function [93mif__[m, for example `[93mif__[m(...): Obj = ...`
[INFO] [stderr] 
[INFO] [stderr] TypeWarning: the return type of function [93mif__[m is not single
[INFO] [stderr] 
[INFO] [stderr] [93m[1mWarning[#0182][m[0m: File tests/infer.er, line 12, <module>
[INFO] [stderr] 
[INFO] [stderr] [96m12 | [mNorm = Trait { .norm = (self: Self) -> Nat }
[INFO] [stderr] [96m   : [m[93m----[m
[INFO] [stderr] 
[INFO] [stderr] UnusedWarning: [1m[93mNorm[m[0m is not used
[INFO] [stderr] 
[INFO] [stderr] [93m[1mWarning[#0182][m[0m: File tests/infer.er, line 3, <module>
[INFO] [stderr] 
[INFO] [stderr] [96m3 | [mif__ cond, then, else = if cond, then, else
[INFO] [stderr] [96m  : [m[93m----[m
[INFO] [stderr] 
[INFO] [stderr] UnusedWarning: [1m[93mif__[m[0m is not used
[INFO] [stderr] 
[INFO] [stderr] [93m[1mWarning[#0182][m[0m: File tests/infer.er, line 13, <module>
[INFO] [stderr] 
[INFO] [stderr] [96m13 | [mnorm x = x.norm()
[INFO] [stderr] [96m   : [m[93m----[m
[INFO] [stderr] 
[INFO] [stderr] UnusedWarning: [1m[93mnorm[m[0m is not used
[INFO] [stderr] 
[INFO] [stderr] [93m[1mWarning[#0182][m[0m: File tests/infer.er, line 9, <module>
[INFO] [stderr] 
[INFO] [stderr] [96m9 | [mabs_ x = x.abs()
[INFO] [stderr] [96m  : [m[93m----[m
[INFO] [stderr] 
[INFO] [stderr] UnusedWarning: [1m[93mabs_[m[0m is not used
[INFO] [stderr] 
[INFO] [stderr] [93m[1mWarning[#0182][m[0m: File tests/infer.er, line 1, <module>
[INFO] [stderr] 
[INFO] [stderr] [96m1 | [mid x = x
[INFO] [stderr] [96m  : [m[93m--[m
[INFO] [stderr] 
[INFO] [stderr] UnusedWarning: [1m[93mid[m[0m is not used
[INFO] [stderr] 
[INFO] [stderr] [93m[1mWarning[#0182][m[0m: File tests/infer.er, line 5, <module>
[INFO] [stderr] 
[INFO] [stderr] [96m5 | [mfor__! i, proc! = for! i, proc!
[INFO] [stderr] [96m  : [m[93m------[m
[INFO] [stderr] 
[INFO] [stderr] UnusedWarning: [1m[93mfor__![m[0m is not used
[INFO] [stderr] 
[INFO] [stderr] [93m[1mWarning[#0182][m[0m: File tests/infer.er, line 7, <module>
[INFO] [stderr] 
[INFO] [stderr] [96m7 | [madd x, y = x + y
[INFO] [stderr] [96m  : [m[93m---[m
[INFO] [stderr] 
[INFO] [stderr] UnusedWarning: [1m[93madd[m[0m is not used
[INFO] [stderr] 
[INFO] [stdout] test test_infer_types ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests erg_compiler
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test ty/mod.rs - ty::Type::local_name (line 2098) ... ok
[INFO] [stdout] test ty/mod.rs - ty::Type::qual_name (line 2002) ... ok
[INFO] [stdout] test ty/mod.rs - ty::Type::namespace (line 2072) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.18s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "b8f059eca93595e8adf9e64fa067025474e8a32612253ac353650e18cef9269b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b8f059eca93595e8adf9e64fa067025474e8a32612253ac353650e18cef9269b", kill_on_drop: false }`
[INFO] [stdout] b8f059eca93595e8adf9e64fa067025474e8a32612253ac353650e18cef9269b
