[INFO] cloning repository https://github.com/OCamlPro/mikino [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/OCamlPro/mikino" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FOCamlPro%2Fmikino", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FOCamlPro%2Fmikino'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 4909a220dc5dd70b837c781c23da3c6087323a46 [INFO] testing OCamlPro/mikino against master#62efba8a050c64249dab942951bb28f710208bc8 for pr-90799 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FOCamlPro%2Fmikino" "/workspace/builds/worker-116/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-116/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/OCamlPro/mikino on toolchain 62efba8a050c64249dab942951bb28f710208bc8 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+62efba8a050c64249dab942951bb28f710208bc8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/OCamlPro/mikino [INFO] removed 0 missing examples [INFO] finished tweaking git repo https://github.com/OCamlPro/mikino [INFO] tweaked toml for git repo https://github.com/OCamlPro/mikino written to /workspace/builds/worker-116/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+62efba8a050c64249dab942951bb28f710208bc8" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+62efba8a050c64249dab942951bb28f710208bc8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded peg v0.7.0 [INFO] [stderr] Downloaded peg-runtime v0.7.0 [INFO] [stderr] Downloaded num-bigint v0.4.3 [INFO] [stderr] Downloaded peg-macros v0.7.0 [INFO] [stderr] Downloaded readonly v0.2.0 [INFO] [stderr] Downloaded rsmt2 v0.14.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-116/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-116/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:e8397a04204aaf8b9f284182a6f9e27a3c2e67044d0943b4415b160bfc957681" "/opt/rustwide/cargo-home/bin/cargo" "+62efba8a050c64249dab942951bb28f710208bc8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 44712bda8a0ed652944897a75792ddb71492a6227f5a8a097060310a9197084a [INFO] running `Command { std: "docker" "start" "-a" "44712bda8a0ed652944897a75792ddb71492a6227f5a8a097060310a9197084a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "44712bda8a0ed652944897a75792ddb71492a6227f5a8a097060310a9197084a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "44712bda8a0ed652944897a75792ddb71492a6227f5a8a097060310a9197084a", kill_on_drop: false }` [INFO] [stdout] 44712bda8a0ed652944897a75792ddb71492a6227f5a8a097060310a9197084a [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-116/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-116/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" "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:e8397a04204aaf8b9f284182a6f9e27a3c2e67044d0943b4415b160bfc957681" "/opt/rustwide/cargo-home/bin/cargo" "+62efba8a050c64249dab942951bb28f710208bc8" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 3d36cff076c6026f2374574a73f8f014210ab2d879bfc232e6214d8e597a758b [INFO] running `Command { std: "docker" "start" "-a" "3d36cff076c6026f2374574a73f8f014210ab2d879bfc232e6214d8e597a758b", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling autocfg v1.0.1 [INFO] [stderr] Compiling proc-macro2 v1.0.32 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling memchr v2.4.1 [INFO] [stderr] Compiling cc v1.0.72 [INFO] [stderr] Compiling libc v0.2.108 [INFO] [stderr] Compiling gimli v0.26.1 [INFO] [stderr] Compiling version_check v0.9.3 [INFO] [stderr] Compiling adler v1.0.2 [INFO] [stderr] Compiling rustc-demangle v0.1.21 [INFO] [stderr] Compiling syn v1.0.82 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling peg-runtime v0.7.0 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling error-chain v0.12.4 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling miniz_oxide v0.4.4 [INFO] [stderr] Compiling num-bigint v0.4.3 [INFO] [stderr] Compiling num-rational v0.4.0 [INFO] [stderr] Compiling num-iter v0.1.42 [INFO] [stderr] Compiling backtrace v0.3.63 [INFO] [stderr] Compiling object v0.27.1 [INFO] [stderr] Compiling quote v1.0.10 [INFO] [stderr] Compiling addr2line v0.17.0 [INFO] [stderr] Compiling peg-macros v0.7.0 [INFO] [stderr] Compiling num-complex v0.4.0 [INFO] [stderr] Compiling peg v0.7.0 [INFO] [stderr] Compiling num v0.4.0 [INFO] [stderr] Compiling readonly v0.2.0 [INFO] [stderr] Compiling rsmt2 v0.14.1 [INFO] [stderr] Compiling mikino_api v0.5.1 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 17.73s [INFO] running `Command { std: "docker" "inspect" "3d36cff076c6026f2374574a73f8f014210ab2d879bfc232e6214d8e597a758b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3d36cff076c6026f2374574a73f8f014210ab2d879bfc232e6214d8e597a758b", kill_on_drop: false }` [INFO] [stdout] 3d36cff076c6026f2374574a73f8f014210ab2d879bfc232e6214d8e597a758b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-116/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-116/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" "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:e8397a04204aaf8b9f284182a6f9e27a3c2e67044d0943b4415b160bfc957681" "/opt/rustwide/cargo-home/bin/cargo" "+62efba8a050c64249dab942951bb28f710208bc8" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] f282e5f016321422b3a6ac189ef36a6cfcc7621673ec8f060dda2354ddf38ac9 [INFO] running `Command { std: "docker" "start" "-a" "f282e5f016321422b3a6ac189ef36a6cfcc7621673ec8f060dda2354ddf38ac9", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling mikino_api v0.5.1 (/opt/rustwide/workdir) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 6.88s [INFO] running `Command { std: "docker" "inspect" "f282e5f016321422b3a6ac189ef36a6cfcc7621673ec8f060dda2354ddf38ac9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f282e5f016321422b3a6ac189ef36a6cfcc7621673ec8f060dda2354ddf38ac9", kill_on_drop: false }` [INFO] [stdout] f282e5f016321422b3a6ac189ef36a6cfcc7621673ec8f060dda2354ddf38ac9 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-116/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-116/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" "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:e8397a04204aaf8b9f284182a6f9e27a3c2e67044d0943b4415b160bfc957681" "/opt/rustwide/cargo-home/bin/cargo" "+62efba8a050c64249dab942951bb28f710208bc8" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 5ac5b53e0f3563c71dfffe0740747b5c8eb26542f1f4739d6f96b9e92b67f299 [INFO] running `Command { std: "docker" "start" "-a" "5ac5b53e0f3563c71dfffe0740747b5c8eb26542f1f4739d6f96b9e92b67f299", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 2.40s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/mikino_api-abebaa5045c25b87) [INFO] [stdout] [INFO] [stderr] Doc-tests mikino_api [INFO] [stdout] running 4 tests [INFO] [stdout] test expr::test::typing_cmp ... ok [INFO] [stdout] test expr::test::typing_implies ... ok [INFO] [stdout] test expr::test::typing_ite ... ok [INFO] [stdout] test expr::test::typing_ite_fail ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 28 tests [INFO] [stdout] test src/expr.rs - expr::PExpr::new_var (line 665) ... FAILED [INFO] [stdout] test src/parse.rs - parse::Parser::pretty_rest (line 809) ... FAILED [INFO] [stdout] test src/parse.rs - parse::Parser::pretty_pos (line 727) ... FAILED [INFO] [stdout] test src/expr.rs - expr::PExpr::new_op (line 688) ... FAILED [INFO] [stdout] test src/parse.rs - parse::Parser::try_int (line 1034) ... FAILED [INFO] [stdout] test src/expr.rs - expr::SVar::new_curr (line 598) ... FAILED [INFO] [stdout] test src/parse.rs - parse::Parser::try_rat (line 1087) ... FAILED [INFO] [stdout] test src/expr.rs - expr::SVar::new_next (line 582) ... FAILED [INFO] [stdout] test src/parse.rs - parse::Parser::parse_until (line 910) ... FAILED [INFO] [stdout] test src/expr.rs - expr::NotPExpr (line 800) ... FAILED [INFO] [stdout] test src/parse.rs - parse::Parser::try_cst (line 1187) ... FAILED [INFO] [stdout] test src/expr.rs - expr::Op::of_str (line 207) ... FAILED [INFO] [stdout] test src/expr.rs - expr::Typ::rat (line 51) ... FAILED [INFO] [stdout] test src/parse.rs - parse::Parser::is_at_eoi (line 778) ... FAILED [INFO] [stdout] test src/expr.rs - expr::Typ::bool (line 27) ... FAILED [INFO] [stdout] test src/parse.rs - parse::Parser::rest (line 794) ... FAILED [INFO] [stdout] test src/parse.rs - parse::Parser::ws_cmt (line 886) ... FAILED [INFO] [stdout] test src/expr.rs - expr::Var::id (line 528) ... FAILED [INFO] [stdout] test src/expr.rs - expr::Typ::int (line 39) ... FAILED [INFO] [stdout] test src/parse.rs - parse::Parser::ws (line 836) ... FAILED [INFO] [stdout] test src/parse.rs - parse::Parser::try_bool (line 1157) ... FAILED [INFO] [stdout] test src/parse.rs - parse::Parser::try_tag (line 945) ... FAILED [INFO] [stdout] test src/expr.rs - expr::Var::new (line 515) ... FAILED [INFO] [stdout] test src/expr.rs - expr::SVar::is_next (line 614) ... FAILED [INFO] [stdout] test src/parse.rs - parse::Parser::tag (line 974) ... FAILED [INFO] [stdout] test src/parse.rs - parse::Parser::cmt (line 862) ... FAILED [INFO] [stdout] test src/parse.rs - parse::Parser::try_id (line 996) ... FAILED [INFO] [stdout] test src/expr.rs - expr::Var::typ (line 542) ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- src/expr.rs - expr::PExpr::new_var (line 665) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/parse.rs - parse::Parser::pretty_rest (line 809) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/parse.rs - parse::Parser::pretty_pos (line 727) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expr.rs - expr::PExpr::new_op (line 688) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/parse.rs - parse::Parser::try_int (line 1034) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expr.rs - expr::SVar::new_curr (line 598) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/parse.rs - parse::Parser::try_rat (line 1087) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expr.rs - expr::SVar::new_next (line 582) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/parse.rs - parse::Parser::parse_until (line 910) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expr.rs - expr::NotPExpr (line 800) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/parse.rs - parse::Parser::try_cst (line 1187) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expr.rs - expr::Op::of_str (line 207) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expr.rs - expr::Typ::rat (line 51) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/parse.rs - parse::Parser::is_at_eoi (line 778) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expr.rs - expr::Typ::bool (line 27) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/parse.rs - parse::Parser::rest (line 794) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/parse.rs - parse::Parser::ws_cmt (line 886) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expr.rs - expr::Var::id (line 528) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expr.rs - expr::Typ::int (line 39) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/parse.rs - parse::Parser::ws (line 836) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/parse.rs - parse::Parser::try_bool (line 1157) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/parse.rs - parse::Parser::try_tag (line 945) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expr.rs - expr::Var::new (line 515) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expr.rs - expr::SVar::is_next (line 614) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/parse.rs - parse::Parser::tag (line 974) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/parse.rs - parse::Parser::cmt (line 862) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/parse.rs - parse::Parser::try_id (line 996) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expr.rs - expr::Var::typ (line 542) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] src/expr.rs - expr::NotPExpr (line 800) [INFO] [stdout] src/expr.rs - expr::Op::of_str (line 207) [INFO] [stdout] src/expr.rs - expr::PExpr::new_op (line 688) [INFO] [stdout] src/expr.rs - expr::PExpr::new_var (line 665) [INFO] [stdout] src/expr.rs - expr::SVar::is_next (line 614) [INFO] [stdout] src/expr.rs - expr::SVar::new_curr (line 598) [INFO] [stdout] src/expr.rs - expr::SVar::new_next (line 582) [INFO] [stdout] src/expr.rs - expr::Typ::bool (line 27) [INFO] [stdout] src/expr.rs - expr::Typ::int (line 39) [INFO] [stdout] src/expr.rs - expr::Typ::rat (line 51) [INFO] [stdout] src/expr.rs - expr::Var::id (line 528) [INFO] [stdout] src/expr.rs - expr::Var::new (line 515) [INFO] [stdout] src/expr.rs - expr::Var::typ (line 542) [INFO] [stdout] src/parse.rs - parse::Parser::cmt (line 862) [INFO] [stdout] src/parse.rs - parse::Parser::is_at_eoi (line 778) [INFO] [stdout] src/parse.rs - parse::Parser::parse_until (line 910) [INFO] [stdout] src/parse.rs - parse::Parser::pretty_pos (line 727) [INFO] [stdout] src/parse.rs - parse::Parser::pretty_rest (line 809) [INFO] [stdout] src/parse.rs - parse::Parser::rest (line 794) [INFO] [stdout] src/parse.rs - parse::Parser::tag (line 974) [INFO] [stdout] src/parse.rs - parse::Parser::try_bool (line 1157) [INFO] [stdout] src/parse.rs - parse::Parser::try_cst (line 1187) [INFO] [stdout] src/parse.rs - parse::Parser::try_id (line 996) [INFO] [stdout] src/parse.rs - parse::Parser::try_int (line 1034) [INFO] [stdout] src/parse.rs - parse::Parser::try_rat (line 1087) [INFO] [stdout] src/parse.rs - parse::Parser::try_tag (line 945) [INFO] [stdout] src/parse.rs - parse::Parser::ws (line 836) [INFO] [stdout] src/parse.rs - parse::Parser::ws_cmt (line 886) [INFO] [stdout] [INFO] [stdout] test result: FAILED. 0 passed; 28 failed; 0 ignored; 0 measured; 0 filtered out; finished in 4.49s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass '--doc' [INFO] running `Command { std: "docker" "inspect" "5ac5b53e0f3563c71dfffe0740747b5c8eb26542f1f4739d6f96b9e92b67f299", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5ac5b53e0f3563c71dfffe0740747b5c8eb26542f1f4739d6f96b9e92b67f299", kill_on_drop: false }` [INFO] [stdout] 5ac5b53e0f3563c71dfffe0740747b5c8eb26542f1f4739d6f96b9e92b67f299