[INFO] cloning repository https://github.com/d702e20/OnTheFlyATL [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/d702e20/OnTheFlyATL" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fd702e20%2FOnTheFlyATL", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fd702e20%2FOnTheFlyATL'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] d9cc708a811fa69e25f6b7104e5e7b201e4cac8b [INFO] documenting d702e20/OnTheFlyATL against 1.61.0 for beta-1.62-rustdoc-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fd702e20%2FOnTheFlyATL" "/workspace/builds/worker-17/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-17/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/d702e20/OnTheFlyATL on toolchain 1.61.0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.61.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/d702e20/OnTheFlyATL [INFO] finished tweaking git repo https://github.com/d702e20/OnTheFlyATL [INFO] tweaked toml for git repo https://github.com/d702e20/OnTheFlyATL written to /workspace/builds/worker-17/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.61.0" "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" "+1.61.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded joinery v2.1.0 [INFO] [stderr] Downloaded float-ord v0.3.2 [INFO] [stderr] Downloaded test-env-log v0.2.8 [INFO] [stderr] Downloaded priority-queue v1.2.2 [INFO] [stderr] Downloaded minilp v0.2.2 [INFO] [stderr] Downloaded pom v3.2.0 [INFO] [stderr] Downloaded sprs v0.7.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-17/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-17/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:d190cb871061d98bc6d0581d85cb2ecb09a0f8a142ba5463de30be9999fc3251" "/opt/rustwide/cargo-home/bin/cargo" "+1.61.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ea9e8666504eb0797a2f94f1c1af707c4fc1d956d67c55a3a15749f5d974feee [INFO] running `Command { std: "docker" "start" "-a" "ea9e8666504eb0797a2f94f1c1af707c4fc1d956d67c55a3a15749f5d974feee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ea9e8666504eb0797a2f94f1c1af707c4fc1d956d67c55a3a15749f5d974feee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ea9e8666504eb0797a2f94f1c1af707c4fc1d956d67c55a3a15749f5d974feee", kill_on_drop: false }` [INFO] [stdout] ea9e8666504eb0797a2f94f1c1af707c4fc1d956d67c55a3a15749f5d974feee [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-17/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-17/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" "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:d190cb871061d98bc6d0581d85cb2ecb09a0f8a142ba5463de30be9999fc3251" "/opt/rustwide/cargo-home/bin/cargo" "+1.61.0" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e24687e1a9f11981e834066d76d736dcc960a13b98230875cc10de83505385c6 [INFO] running `Command { std: "docker" "start" "-a" "e24687e1a9f11981e834066d76d736dcc960a13b98230875cc10de83505385c6", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.1.0 [INFO] [stderr] Compiling proc-macro2 v1.0.39 [INFO] [stderr] Compiling unicode-ident v1.0.0 [INFO] [stderr] Compiling syn v1.0.95 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling serde_derive v1.0.137 [INFO] [stderr] Compiling libc v0.2.126 [INFO] [stderr] Compiling serde v1.0.137 [INFO] [stderr] Compiling log v0.4.17 [INFO] [stderr] Checking rawpointer v0.2.1 [INFO] [stderr] Compiling ndarray v0.13.1 [INFO] [stderr] Compiling crossbeam-utils v0.8.8 [INFO] [stderr] Checking hashbrown v0.11.2 [INFO] [stderr] Compiling proc-macro-hack v0.5.19 [INFO] [stderr] Checking regex-syntax v0.6.26 [INFO] [stderr] Checking pin-project-lite v0.2.9 [INFO] [stderr] Compiling serde_json v1.0.81 [INFO] [stderr] Checking once_cell v1.12.0 [INFO] [stderr] Checking unicode-width v0.1.9 [INFO] [stderr] Checking pom v3.2.0 [INFO] [stderr] Checking ansi_term v0.12.1 [INFO] [stderr] Checking itoa v1.0.2 [INFO] [stderr] Checking ryu v1.0.10 [INFO] [stderr] Checking joinery v2.1.0 [INFO] [stderr] Checking float-ord v0.3.2 [INFO] [stderr] Checking smallvec v1.8.0 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking strsim v0.8.0 [INFO] [stderr] Checking bitflags v1.3.2 [INFO] [stderr] Checking tracing-core v0.1.26 [INFO] [stderr] Checking sharded-slab v0.1.4 [INFO] [stderr] Checking matrixmultiply v0.2.4 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking thread_local v1.1.4 [INFO] [stderr] Compiling num-traits v0.2.15 [INFO] [stderr] Compiling num-integer v0.1.45 [INFO] [stderr] Compiling num-complex v0.2.4 [INFO] [stderr] Compiling indexmap v1.8.2 [INFO] [stderr] Compiling priority-queue v1.2.2 [INFO] [stderr] Checking tracing-log v0.1.3 [INFO] [stderr] Checking crossbeam-channel v0.5.4 [INFO] [stderr] Compiling quote v1.0.18 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking num_cpus v1.13.1 [INFO] [stderr] Checking clap v2.34.0 [INFO] [stderr] Checking regex-automata v0.1.10 [INFO] [stderr] Checking regex v1.5.6 [INFO] [stderr] Checking matchers v0.0.1 [INFO] [stderr] Checking num-traits v0.1.43 [INFO] [stderr] Checking chrono v0.4.19 [INFO] [stderr] Checking sprs v0.7.1 [INFO] [stderr] Compiling tracing-attributes v0.1.21 [INFO] [stderr] Compiling git-version-macro v0.3.5 [INFO] [stderr] Checking minilp v0.2.2 [INFO] [stderr] Checking git-version v0.3.5 [INFO] [stderr] Checking tracing v0.1.34 [INFO] [stderr] Checking tracing-serde v0.1.3 [INFO] [stderr] Checking atl-checker v0.1.0 (/opt/rustwide/workdir/atl-checker) [INFO] [stderr] Documenting atl-checker v0.1.0 (/opt/rustwide/workdir/atl-checker) [INFO] [stdout] warning: trailing semicolon in macro used in expression position [INFO] [stdout] --> atl-checker/src/emit_count.rs:5:49 [INFO] [stdout] | [INFO] [stdout] 5 | eprintln!(concat!("[stats] ", $($msg)*)); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] ::: atl-checker/src/algorithms/certain_zero/mod.rs:344:21 [INFO] [stdout] | [INFO] [stdout] 344 | emit_count!("worker received_dirty_token") [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(semicolon_in_expressions_from_macros)]` on by default [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #79813 [INFO] [stdout] = note: macro invocations at the end of a block are treated as expressions [INFO] [stdout] = note: to ignore the value produced by the macro, add a semicolon after the invocation of `emit_count` [INFO] [stdout] = note: this warning originates in the macro `emit_count` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::algorithms::game_strategy::format::PartialStrategyWithFormatting` [INFO] [stdout] --> atl-checker/src/algorithms/game_strategy/mod.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::algorithms::game_strategy::format::PartialStrategyWithFormatting; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::edg::atledg::pmoves::PartialMove` [INFO] [stdout] --> atl-checker/src/algorithms/game_strategy/mod.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use crate::edg::atledg::pmoves::PartialMove; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Player`, `State` [INFO] [stdout] --> atl-checker/src/algorithms/game_strategy/mod.rs:10:44 [INFO] [stdout] | [INFO] [stdout] 10 | use crate::game_structure::{GameStructure, Player, State}; [INFO] [stdout] | ^^^^^^ ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking tracing-subscriber v0.2.25 [INFO] [stdout] warning: unresolved link to `ATLExpressionParser` [INFO] [stdout] --> atl-checker/src/atl/parser.rs:200:43 [INFO] [stdout] | [INFO] [stdout] 200 | /// Parses a proposition using the given [ATLExpressionParser]. [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ no item named `ATLExpressionParser` in scope [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `ATLExpressionParser` [INFO] [stdout] --> atl-checker/src/atl/parser.rs:218:63 [INFO] [stdout] | [INFO] [stdout] 218 | /// Parses a comma-separated list of players using the given [ATLExpressionParser]. [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ no item named `ATLExpressionParser` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `IntermediateLCGS` [INFO] [stdout] --> atl-checker/src/game_structure/lcgs/ir/intermediate.rs:48:9 [INFO] [stdout] | [INFO] [stdout] 48 | /// An [IntermediateLCGS] is created from processing an AST and checking the validity of the [INFO] [stdout] | ^^^^^^^^^^^^^^^^ no item named `IntermediateLCGS` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `IntermediateLCGS` [INFO] [stdout] --> atl-checker/src/game_structure/lcgs/ir/intermediate.rs:59:20 [INFO] [stdout] | [INFO] [stdout] 59 | /// Create an [IntermediateLCGS] from an AST root. All declarations in the resulting [INFO] [stdout] | ^^^^^^^^^^^^^^^^ no item named `IntermediateLCGS` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `IntermediateLCGS` [INFO] [stdout] --> atl-checker/src/game_structure/lcgs/ir/intermediate.rs:60:10 [INFO] [stdout] | [INFO] [stdout] 60 | /// [IntermediateLCGS] are symbol checked and type checked. [INFO] [stdout] | ^^^^^^^^^^^^^^^^ no item named `IntermediateLCGS` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `RelabelCase` [INFO] [stdout] --> atl-checker/src/game_structure/lcgs/ir/relabeling.rs:13:12 [INFO] [stdout] | [INFO] [stdout] 13 | /// first [RelabelCase] that applies. A [RelabelCase] consists of a `prev` name and [INFO] [stdout] | ^^^^^^^^^^^ no item named `RelabelCase` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `RelabelCase` [INFO] [stdout] --> atl-checker/src/game_structure/lcgs/ir/relabeling.rs:13:42 [INFO] [stdout] | [INFO] [stdout] 13 | /// first [RelabelCase] that applies. A [RelabelCase] consists of a `prev` name and [INFO] [stdout] | ^^^^^^^^^^^ no item named `RelabelCase` in scope [INFO] [stdout] | [INFO] [stdout] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unresolved link to `Identifier::OptionallyOwned` [INFO] [stdout] --> atl-checker/src/game_structure/lcgs/ir/relabeling.rs:174:32 [INFO] [stdout] | [INFO] [stdout] 174 | /// Relabels a part of an [Identifier::OptionallyOwned]. That is, either "p1" or "foo" in [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the enum `Identifier` has no variant or associated item named `OptionallyOwned` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: this URL is not a hyperlink [INFO] [stdout] --> atl-checker/src/game_structure/lcgs/parse.rs:174:39 [INFO] [stdout] | [INFO] [stdout] 174 | /// precedence and associativity. See https://en.wikipedia.org/wiki/Operator-precedence_parser [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use an automatic link instead: `` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(rustdoc::bare_urls)]` on by default [INFO] [stdout] = note: bare URLs are not automatically turned into clickable links [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 9 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Documenting atl-checker-cli v0.1.0 (/opt/rustwide/workdir/cli) [INFO] [stdout] warning: public documentation for `ModelAndFormula` links to private item `load` [INFO] [stdout] --> cli/src/main.rs:439:64 [INFO] [stdout] | [INFO] [stdout] 439 | /// An enum of the given model and formula types. Returned by [load]. [INFO] [stdout] | ^^^^ this item is private [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(rustdoc::private_intra_doc_links)]` on by default [INFO] [stdout] = note: this link resolves only because you passed `--document-private-items`, but will break without [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 17.53s [INFO] running `Command { std: "docker" "inspect" "e24687e1a9f11981e834066d76d736dcc960a13b98230875cc10de83505385c6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e24687e1a9f11981e834066d76d736dcc960a13b98230875cc10de83505385c6", kill_on_drop: false }` [INFO] [stdout] e24687e1a9f11981e834066d76d736dcc960a13b98230875cc10de83505385c6 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-17/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-17/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" "DOCS_RS=1" "-e" "RUSTC_BOOTSTRAP=1" "-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:d190cb871061d98bc6d0581d85cb2ecb09a0f8a142ba5463de30be9999fc3251" "/opt/rustwide/cargo-home/bin/cargo" "+1.61.0" "rustdoc" "--lib" "-Zrustdoc-map" "--frozen" "--message-format=json" "--" "-Z" "unstable-options" "--document-private-items", kill_on_drop: false }` [INFO] [stdout] f7d0c15155c11df0ab9407733993511bd2ad4bc5b63e2e8d3ccf487d62f43d92 [INFO] running `Command { std: "docker" "start" "-a" "f7d0c15155c11df0ab9407733993511bd2ad4bc5b63e2e8d3ccf487d62f43d92", kill_on_drop: false }` [INFO] [stderr] error: manifest path `/opt/rustwide/workdir/Cargo.toml` is a virtual manifest, but this command requires running against an actual package in this workspace [INFO] running `Command { std: "docker" "inspect" "f7d0c15155c11df0ab9407733993511bd2ad4bc5b63e2e8d3ccf487d62f43d92", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f7d0c15155c11df0ab9407733993511bd2ad4bc5b63e2e8d3ccf487d62f43d92", kill_on_drop: false }` [INFO] [stdout] f7d0c15155c11df0ab9407733993511bd2ad4bc5b63e2e8d3ccf487d62f43d92