move-stackless-bytecode 0.3.1

Move stackless bytecode
Documentation
Build #610449 2022-08-13 09:38:48

# rustc version rustc 1.65.0-nightly (f22819bcc 2022-08-12)

# docs.rs version docsrs 0.6.0 (24bf3b2 2022-08-08)

# build log [INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/move-stackless-bytecode-0.3.1/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/move-stackless-bytecode-0.3.1/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "3221225472" "--cpus" "3" "--user" "1001:1001" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:824c28ce115f6b999260af6986f3384c158e782489540e41c0b698ca1d9fd927" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "-Z" "unstable-options" "--config" "build.rustdocflags=[\"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20220812-1.65.0-nightly-f22819bcc\", \"--static-root-path\", \"/\", \"--cap-lints\", \"warn\", \"--disable-per-crate-search\", \"--extern-html-root-takes-precedence\"]" "-Zunstable-options" "--config=doc.extern-map.registries.crates-io=\"https://docs.rs/{pkg_name}/{version}/x86_64-unknown-linux-gnu\"" "-j3" "--target" "x86_64-unknown-linux-gnu", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] e3d3936e0a6b4c5f4aba9eb14da971e9ed33975581d70d48f372643a639364cc [INFO] running `Command { std: "docker" "start" "-a" "e3d3936e0a6b4c5f4aba9eb14da971e9ed33975581d70d48f372643a639364cc", kill_on_drop: false }` [INFO] [stderr] Documenting move-stackless-bytecode v0.3.1 (/opt/rustwide/workdir) [INFO] [stderr] warning: unnecessary parentheses around match arm expression [INFO] [stderr] --> src/access_path.rs:475:55 [INFO] [stderr] | [INFO] [stderr] 475 | (Type::Vector(t), Offset::VectorIndex) => (*t.clone()), [INFO] [stderr] | ^ ^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_parens)]` on by default [INFO] [stderr] help: remove these parentheses [INFO] [stderr] | [INFO] [stderr] 475 - (Type::Vector(t), Offset::VectorIndex) => (*t.clone()), [INFO] [stderr] 475 + (Type::Vector(t), Offset::VectorIndex) => *t.clone(), [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: unresolved link to `k` [INFO] [stderr] --> src/dataflow_domains.rs:249:28 [INFO] [stderr] | [INFO] [stderr] 249 | /// Join `v` with self[k] if `k` is bound, insert `v` otherwise [INFO] [stderr] | ^ no item named `k` in scope [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default [INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stderr] [INFO] [stderr] warning: unresolved link to `deprecated` [INFO] [stderr] --> src/options.rs:48:10 [INFO] [stderr] | [INFO] [stderr] 48 | /// [deprecated] Whether to emit global axiom that resources are well-formed. [INFO] [stderr] | ^^^^^^^^^^ no item named `deprecated` in scope [INFO] [stderr] | [INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stderr] [INFO] [stderr] warning: unresolved link to `I` [INFO] [stderr] --> src/verification_analysis_v2.rs:66:53 [INFO] [stderr] | [INFO] [stderr] 66 | /// functions that are in non_inv_fun_set and M[I] for some I. [INFO] [stderr] | ^ no item named `I` in scope [INFO] [stderr] | [INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stderr] [INFO] [stderr] warning: `move-stackless-bytecode` (lib doc) generated 4 warnings [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 2.45s [INFO] running `Command { std: "docker" "inspect" "e3d3936e0a6b4c5f4aba9eb14da971e9ed33975581d70d48f372643a639364cc", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e3d3936e0a6b4c5f4aba9eb14da971e9ed33975581d70d48f372643a639364cc", kill_on_drop: false }` [INFO] [stdout] e3d3936e0a6b4c5f4aba9eb14da971e9ed33975581d70d48f372643a639364cc