[INFO] crate z3 0.4.0 is already in cache [INFO] testing z3-0.4.0 against try#41997647ba6a77908f6ef64401414feb00bccf16 for pr-71274 [INFO] extracting crate z3 0.4.0 into /workspace/builds/worker-1/source [INFO] validating manifest of crates.io crate z3 0.4.0 on toolchain 41997647ba6a77908f6ef64401414feb00bccf16 [INFO] running `"/workspace/cargo-home/bin/cargo" "+41997647ba6a77908f6ef64401414feb00bccf16" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking crates.io crate z3 0.4.0 [INFO] finished tweaking crates.io crate z3 0.4.0 [INFO] tweaked toml for crates.io crate z3 0.4.0 written to /workspace/builds/worker-1/source/Cargo.toml [INFO] running `"/workspace/cargo-home/bin/cargo" "+41997647ba6a77908f6ef64401414feb00bccf16" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/workspace/cargo-home/bin/cargo" "+41997647ba6a77908f6ef64401414feb00bccf16" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+41997647ba6a77908f6ef64401414feb00bccf16" "build" "--frozen"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 451c118655a1603f03078e0041aefd921fd8f56d39ae3e15a471af75675cf5e4 [INFO] running `"docker" "start" "-a" "451c118655a1603f03078e0041aefd921fd8f56d39ae3e15a471af75675cf5e4"` [INFO] [stderr] Compiling log v0.4.8 [INFO] [stderr] Compiling z3 v0.4.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:862:5 [INFO] [stderr] | [INFO] [stderr] 862 | /// Bitwise negation [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_doc_comments)]` on by default [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:864:5 [INFO] [stderr] | [INFO] [stderr] 864 | /// Two's complement negation [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:866:5 [INFO] [stderr] | [INFO] [stderr] 866 | /// Bitwise and [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:868:5 [INFO] [stderr] | [INFO] [stderr] 868 | /// Bitwise or [INFO] [stderr] | ^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:870:5 [INFO] [stderr] | [INFO] [stderr] 870 | /// Bitwise exclusive-or [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:872:5 [INFO] [stderr] | [INFO] [stderr] 872 | /// Bitwise nand [INFO] [stderr] | ^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:874:5 [INFO] [stderr] | [INFO] [stderr] 874 | /// Bitwise nor [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:876:5 [INFO] [stderr] | [INFO] [stderr] 876 | /// Bitwise xnor [INFO] [stderr] | ^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:878:5 [INFO] [stderr] | [INFO] [stderr] 878 | /// Conjunction of all the bits in the vector. Returns a BV with size (bitwidth) 1. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:880:5 [INFO] [stderr] | [INFO] [stderr] 880 | /// Disjunction of all the bits in the vector. Returns a BV with size (bitwidth) 1. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:884:5 [INFO] [stderr] | [INFO] [stderr] 884 | /// Addition [INFO] [stderr] | ^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:886:5 [INFO] [stderr] | [INFO] [stderr] 886 | /// Subtraction [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:888:5 [INFO] [stderr] | [INFO] [stderr] 888 | /// Multiplication [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:890:5 [INFO] [stderr] | [INFO] [stderr] 890 | /// Unsigned division [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:892:5 [INFO] [stderr] | [INFO] [stderr] 892 | /// Signed division [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:894:5 [INFO] [stderr] | [INFO] [stderr] 894 | /// Unsigned remainder [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:896:5 [INFO] [stderr] | [INFO] [stderr] 896 | /// Signed remainder (sign follows dividend) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:898:5 [INFO] [stderr] | [INFO] [stderr] 898 | /// Signed remainder (sign follows divisor) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:902:5 [INFO] [stderr] | [INFO] [stderr] 902 | /// Unsigned less than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:904:5 [INFO] [stderr] | [INFO] [stderr] 904 | /// Signed less than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:906:5 [INFO] [stderr] | [INFO] [stderr] 906 | /// Unsigned less than or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:908:5 [INFO] [stderr] | [INFO] [stderr] 908 | /// Signed less than or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:910:5 [INFO] [stderr] | [INFO] [stderr] 910 | /// Unsigned greater or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:912:5 [INFO] [stderr] | [INFO] [stderr] 912 | /// Signed greater or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:914:5 [INFO] [stderr] | [INFO] [stderr] 914 | /// Unsigned greater than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:916:5 [INFO] [stderr] | [INFO] [stderr] 916 | /// Signed greater than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:920:5 [INFO] [stderr] | [INFO] [stderr] 920 | /// Shift left [INFO] [stderr] | ^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:922:5 [INFO] [stderr] | [INFO] [stderr] 922 | /// Logical shift right (add zeroes in the high bits) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:924:5 [INFO] [stderr] | [INFO] [stderr] 924 | /// Arithmetic shift right (sign-extend in the high bits) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:926:5 [INFO] [stderr] | [INFO] [stderr] 926 | /// Rotate left [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:928:5 [INFO] [stderr] | [INFO] [stderr] 928 | /// Rotate right [INFO] [stderr] | ^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:931:5 [INFO] [stderr] | [INFO] [stderr] 931 | /// Concatenate two bitvectors [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:935:5 [INFO] [stderr] | [INFO] [stderr] 935 | /// Check if addition overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:937:5 [INFO] [stderr] | [INFO] [stderr] 937 | /// Check if addition underflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:939:5 [INFO] [stderr] | [INFO] [stderr] 939 | /// Check if subtraction overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:941:5 [INFO] [stderr] | [INFO] [stderr] 941 | /// Check if subtraction underflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:943:5 [INFO] [stderr] | [INFO] [stderr] 943 | /// Check if signed division overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:945:5 [INFO] [stderr] | [INFO] [stderr] 945 | /// Check if negation overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:947:5 [INFO] [stderr] | [INFO] [stderr] 947 | /// Check if multiplication overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:949:5 [INFO] [stderr] | [INFO] [stderr] 949 | /// Check if multiplication underflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1143:5 [INFO] [stderr] | [INFO] [stderr] 1143 | /// Take the intersection of a list of sets. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1145:5 [INFO] [stderr] | [INFO] [stderr] 1145 | /// Take the union of a list of sets. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1147:5 [INFO] [stderr] | [INFO] [stderr] 1147 | /// Check if the set is a subset of another set. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1149:5 [INFO] [stderr] | [INFO] [stderr] 1149 | /// Take the complement of the set. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1151:5 [INFO] [stderr] | [INFO] [stderr] 1151 | /// Take the set difference between two sets. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: 45 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 4.52s [INFO] running `"docker" "inspect" "451c118655a1603f03078e0041aefd921fd8f56d39ae3e15a471af75675cf5e4"` [INFO] running `"docker" "rm" "-f" "451c118655a1603f03078e0041aefd921fd8f56d39ae3e15a471af75675cf5e4"` [INFO] [stdout] 451c118655a1603f03078e0041aefd921fd8f56d39ae3e15a471af75675cf5e4 [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+41997647ba6a77908f6ef64401414feb00bccf16" "test" "--frozen" "--no-run"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 10bb8af27ed34a6f9abe5a8c431e7a1b062bb49c28053c2dd1a6fff33ab97dfe [INFO] running `"docker" "start" "-a" "10bb8af27ed34a6f9abe5a8c431e7a1b062bb49c28053c2dd1a6fff33ab97dfe"` [INFO] [stderr] Compiling memchr v2.3.3 [INFO] [stderr] Compiling quick-error v1.2.3 [INFO] [stderr] Compiling regex-syntax v0.6.17 [INFO] [stderr] Compiling termcolor v1.1.0 [INFO] [stderr] Compiling semver-parser v0.7.0 [INFO] [stderr] Compiling thread_local v1.0.1 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:862:5 [INFO] [stderr] | [INFO] [stderr] 862 | /// Bitwise negation [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_doc_comments)]` on by default [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:864:5 [INFO] [stderr] | [INFO] [stderr] 864 | /// Two's complement negation [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:866:5 [INFO] [stderr] | [INFO] [stderr] 866 | /// Bitwise and [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:868:5 [INFO] [stderr] | [INFO] [stderr] 868 | /// Bitwise or [INFO] [stderr] | ^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:870:5 [INFO] [stderr] | [INFO] [stderr] 870 | /// Bitwise exclusive-or [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:872:5 [INFO] [stderr] | [INFO] [stderr] 872 | /// Bitwise nand [INFO] [stderr] | ^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:874:5 [INFO] [stderr] | [INFO] [stderr] 874 | /// Bitwise nor [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:876:5 [INFO] [stderr] | [INFO] [stderr] 876 | /// Bitwise xnor [INFO] [stderr] | ^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:878:5 [INFO] [stderr] | [INFO] [stderr] 878 | /// Conjunction of all the bits in the vector. Returns a BV with size (bitwidth) 1. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:880:5 [INFO] [stderr] | [INFO] [stderr] 880 | /// Disjunction of all the bits in the vector. Returns a BV with size (bitwidth) 1. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:884:5 [INFO] [stderr] | [INFO] [stderr] 884 | /// Addition [INFO] [stderr] | ^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:886:5 [INFO] [stderr] | [INFO] [stderr] 886 | /// Subtraction [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:888:5 [INFO] [stderr] | [INFO] [stderr] 888 | /// Multiplication [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:890:5 [INFO] [stderr] | [INFO] [stderr] 890 | /// Unsigned division [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:892:5 [INFO] [stderr] | [INFO] [stderr] 892 | /// Signed division [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:894:5 [INFO] [stderr] | [INFO] [stderr] 894 | /// Unsigned remainder [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:896:5 [INFO] [stderr] | [INFO] [stderr] 896 | /// Signed remainder (sign follows dividend) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:898:5 [INFO] [stderr] | [INFO] [stderr] 898 | /// Signed remainder (sign follows divisor) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:902:5 [INFO] [stderr] | [INFO] [stderr] 902 | /// Unsigned less than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:904:5 [INFO] [stderr] | [INFO] [stderr] 904 | /// Signed less than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:906:5 [INFO] [stderr] | [INFO] [stderr] 906 | /// Unsigned less than or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:908:5 [INFO] [stderr] | [INFO] [stderr] 908 | /// Signed less than or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:910:5 [INFO] [stderr] | [INFO] [stderr] 910 | /// Unsigned greater or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:912:5 [INFO] [stderr] | [INFO] [stderr] 912 | /// Signed greater or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:914:5 [INFO] [stderr] | [INFO] [stderr] 914 | /// Unsigned greater than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:916:5 [INFO] [stderr] | [INFO] [stderr] 916 | /// Signed greater than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:920:5 [INFO] [stderr] | [INFO] [stderr] 920 | /// Shift left [INFO] [stderr] | ^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:922:5 [INFO] [stderr] | [INFO] [stderr] 922 | /// Logical shift right (add zeroes in the high bits) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:924:5 [INFO] [stderr] | [INFO] [stderr] 924 | /// Arithmetic shift right (sign-extend in the high bits) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:926:5 [INFO] [stderr] | [INFO] [stderr] 926 | /// Rotate left [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:928:5 [INFO] [stderr] | [INFO] [stderr] 928 | /// Rotate right [INFO] [stderr] | ^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:931:5 [INFO] [stderr] | [INFO] [stderr] 931 | /// Concatenate two bitvectors [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:935:5 [INFO] [stderr] | [INFO] [stderr] 935 | /// Check if addition overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:937:5 [INFO] [stderr] | [INFO] [stderr] 937 | /// Check if addition underflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:939:5 [INFO] [stderr] | [INFO] [stderr] 939 | /// Check if subtraction overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:941:5 [INFO] [stderr] | [INFO] [stderr] 941 | /// Check if subtraction underflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:943:5 [INFO] [stderr] | [INFO] [stderr] 943 | /// Check if signed division overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:945:5 [INFO] [stderr] | [INFO] [stderr] 945 | /// Check if negation overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:947:5 [INFO] [stderr] | [INFO] [stderr] 947 | /// Check if multiplication overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:949:5 [INFO] [stderr] | [INFO] [stderr] 949 | /// Check if multiplication underflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1143:5 [INFO] [stderr] | [INFO] [stderr] 1143 | /// Take the intersection of a list of sets. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1145:5 [INFO] [stderr] | [INFO] [stderr] 1145 | /// Take the union of a list of sets. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1147:5 [INFO] [stderr] | [INFO] [stderr] 1147 | /// Check if the set is a subset of another set. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1149:5 [INFO] [stderr] | [INFO] [stderr] 1149 | /// Take the complement of the set. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1151:5 [INFO] [stderr] | [INFO] [stderr] 1151 | /// Take the set difference between two sets. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: 45 warnings emitted [INFO] [stderr] [INFO] [stderr] Compiling humantime v1.3.0 [INFO] [stderr] Compiling semver v0.9.0 [INFO] [stderr] Compiling aho-corasick v0.7.10 [INFO] [stderr] Compiling regex v1.3.7 [INFO] [stderr] Compiling env_logger v0.6.2 [INFO] [stderr] Compiling z3 v0.4.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:862:5 [INFO] [stderr] | [INFO] [stderr] 862 | /// Bitwise negation [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_doc_comments)]` on by default [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:864:5 [INFO] [stderr] | [INFO] [stderr] 864 | /// Two's complement negation [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:866:5 [INFO] [stderr] | [INFO] [stderr] 866 | /// Bitwise and [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:868:5 [INFO] [stderr] | [INFO] [stderr] 868 | /// Bitwise or [INFO] [stderr] | ^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:870:5 [INFO] [stderr] | [INFO] [stderr] 870 | /// Bitwise exclusive-or [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:872:5 [INFO] [stderr] | [INFO] [stderr] 872 | /// Bitwise nand [INFO] [stderr] | ^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:874:5 [INFO] [stderr] | [INFO] [stderr] 874 | /// Bitwise nor [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:876:5 [INFO] [stderr] | [INFO] [stderr] 876 | /// Bitwise xnor [INFO] [stderr] | ^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:878:5 [INFO] [stderr] | [INFO] [stderr] 878 | /// Conjunction of all the bits in the vector. Returns a BV with size (bitwidth) 1. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:880:5 [INFO] [stderr] | [INFO] [stderr] 880 | /// Disjunction of all the bits in the vector. Returns a BV with size (bitwidth) 1. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:884:5 [INFO] [stderr] | [INFO] [stderr] 884 | /// Addition [INFO] [stderr] | ^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:886:5 [INFO] [stderr] | [INFO] [stderr] 886 | /// Subtraction [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:888:5 [INFO] [stderr] | [INFO] [stderr] 888 | /// Multiplication [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:890:5 [INFO] [stderr] | [INFO] [stderr] 890 | /// Unsigned division [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:892:5 [INFO] [stderr] | [INFO] [stderr] 892 | /// Signed division [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:894:5 [INFO] [stderr] | [INFO] [stderr] 894 | /// Unsigned remainder [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:896:5 [INFO] [stderr] | [INFO] [stderr] 896 | /// Signed remainder (sign follows dividend) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:898:5 [INFO] [stderr] | [INFO] [stderr] 898 | /// Signed remainder (sign follows divisor) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:902:5 [INFO] [stderr] | [INFO] [stderr] 902 | /// Unsigned less than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:904:5 [INFO] [stderr] | [INFO] [stderr] 904 | /// Signed less than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:906:5 [INFO] [stderr] | [INFO] [stderr] 906 | /// Unsigned less than or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:908:5 [INFO] [stderr] | [INFO] [stderr] 908 | /// Signed less than or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:910:5 [INFO] [stderr] | [INFO] [stderr] 910 | /// Unsigned greater or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:912:5 [INFO] [stderr] | [INFO] [stderr] 912 | /// Signed greater or equal [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:914:5 [INFO] [stderr] | [INFO] [stderr] 914 | /// Unsigned greater than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:916:5 [INFO] [stderr] | [INFO] [stderr] 916 | /// Signed greater than [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:920:5 [INFO] [stderr] | [INFO] [stderr] 920 | /// Shift left [INFO] [stderr] | ^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:922:5 [INFO] [stderr] | [INFO] [stderr] 922 | /// Logical shift right (add zeroes in the high bits) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:924:5 [INFO] [stderr] | [INFO] [stderr] 924 | /// Arithmetic shift right (sign-extend in the high bits) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:926:5 [INFO] [stderr] | [INFO] [stderr] 926 | /// Rotate left [INFO] [stderr] | ^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:928:5 [INFO] [stderr] | [INFO] [stderr] 928 | /// Rotate right [INFO] [stderr] | ^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:931:5 [INFO] [stderr] | [INFO] [stderr] 931 | /// Concatenate two bitvectors [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:935:5 [INFO] [stderr] | [INFO] [stderr] 935 | /// Check if addition overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:937:5 [INFO] [stderr] | [INFO] [stderr] 937 | /// Check if addition underflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:939:5 [INFO] [stderr] | [INFO] [stderr] 939 | /// Check if subtraction overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:941:5 [INFO] [stderr] | [INFO] [stderr] 941 | /// Check if subtraction underflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:943:5 [INFO] [stderr] | [INFO] [stderr] 943 | /// Check if signed division overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:945:5 [INFO] [stderr] | [INFO] [stderr] 945 | /// Check if negation overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:947:5 [INFO] [stderr] | [INFO] [stderr] 947 | /// Check if multiplication overflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:949:5 [INFO] [stderr] | [INFO] [stderr] 949 | /// Check if multiplication underflows [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1143:5 [INFO] [stderr] | [INFO] [stderr] 1143 | /// Take the intersection of a list of sets. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1145:5 [INFO] [stderr] | [INFO] [stderr] 1145 | /// Take the union of a list of sets. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1147:5 [INFO] [stderr] | [INFO] [stderr] 1147 | /// Check if the set is a subset of another set. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1149:5 [INFO] [stderr] | [INFO] [stderr] 1149 | /// Take the complement of the set. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> src/ast.rs:1151:5 [INFO] [stderr] | [INFO] [stderr] 1151 | /// Take the set difference between two sets. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [INFO] [stderr] | [INFO] [stderr] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stderr] [INFO] [stderr] error: linking with `cc` failed: exit code: 1 [INFO] [stderr] | [INFO] [stderr] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.lib.eqbhakcv-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba" "/opt/rustwide/target/debug/deps/lib-502de7f89c389cba.38zxpphq8ilpb8pd.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-a6274e2eaafd361e.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-2c85f64fb49c1603.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-ed84df1a106a13ed.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-e159833bdb71170b.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-5f1c8c824853fda4.rlib" "/opt/rustwide/target/debug/deps/libz3-2d4ca85ac78afe06.rlib" "/opt/rustwide/target/debug/deps/libz3_sys-5928ff0312aa14bb.rlib" "/opt/rustwide/target/debug/deps/libenv_logger-2ced888e84915fd6.rlib" "/opt/rustwide/target/debug/deps/libregex-5673d2c692486c34.rlib" "/opt/rustwide/target/debug/deps/libthread_local-99a05dc3a68e4d67.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-81e71b56f2a8a8f3.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-895f7b6116abae12.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-171112384f1bc6b1.rlib" "/opt/rustwide/target/debug/deps/libmemchr-e6743c7b9c8d789f.rlib" "/opt/rustwide/target/debug/deps/libatty-15974d6c3d773cf6.rlib" "/opt/rustwide/target/debug/deps/liblibc-941bae9845420ecf.rlib" "/opt/rustwide/target/debug/deps/libhumantime-335d91f662dd71ff.rlib" "/opt/rustwide/target/debug/deps/libquick_error-c339d616bf8720e1.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-ccddc316a849d2dd.rlib" "/opt/rustwide/target/debug/deps/liblog-e05329b9ca199b2b.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-7bfa6ddb9b2ff1d3.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-62f93208e14fa8f0.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-b2c4dbe979cef5e2.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-8b9b66cb3e9f891d.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-5998b08bf29f56ac.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-efd1670396ccb585.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-6435b9209e888961.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-866e5dfb603b34d2.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-75eac3089695b3b4.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-35744537b4825584.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-f7ee5081d96fb2cd.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-5b28479cb639d76c.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-f827473dd3b319fa.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-53f9c299c549c6a9.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-44132fbb3fcc18d3.rlib" "-Wl,-Bdynamic" "-lz3" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lz3 [INFO] [stderr] collect2: error: ld returned 1 exit status [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error [INFO] [stderr] [INFO] [stderr] error: could not compile `z3`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: linking with `cc` failed: exit code: 1 [INFO] [stderr] | [INFO] [stderr] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.semver_tests.brx38o2p-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948" "/opt/rustwide/target/debug/deps/semver_tests-1c9cada7ec9d5948.3psioq1rqsxjs8hc.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-a6274e2eaafd361e.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-2c85f64fb49c1603.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-ed84df1a106a13ed.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-e159833bdb71170b.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-5f1c8c824853fda4.rlib" "/opt/rustwide/target/debug/deps/libz3-2d4ca85ac78afe06.rlib" "/opt/rustwide/target/debug/deps/libz3_sys-5928ff0312aa14bb.rlib" "/opt/rustwide/target/debug/deps/libsemver-f44c1739bb09819b.rlib" "/opt/rustwide/target/debug/deps/libsemver_parser-29e0db7194edeca5.rlib" "/opt/rustwide/target/debug/deps/libenv_logger-2ced888e84915fd6.rlib" "/opt/rustwide/target/debug/deps/libregex-5673d2c692486c34.rlib" "/opt/rustwide/target/debug/deps/libthread_local-99a05dc3a68e4d67.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-81e71b56f2a8a8f3.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-895f7b6116abae12.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-171112384f1bc6b1.rlib" "/opt/rustwide/target/debug/deps/libmemchr-e6743c7b9c8d789f.rlib" "/opt/rustwide/target/debug/deps/libatty-15974d6c3d773cf6.rlib" "/opt/rustwide/target/debug/deps/liblibc-941bae9845420ecf.rlib" "/opt/rustwide/target/debug/deps/libhumantime-335d91f662dd71ff.rlib" "/opt/rustwide/target/debug/deps/libquick_error-c339d616bf8720e1.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-ccddc316a849d2dd.rlib" "/opt/rustwide/target/debug/deps/liblog-e05329b9ca199b2b.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-7bfa6ddb9b2ff1d3.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-62f93208e14fa8f0.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-b2c4dbe979cef5e2.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-8b9b66cb3e9f891d.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-5998b08bf29f56ac.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-efd1670396ccb585.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-6435b9209e888961.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-866e5dfb603b34d2.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-75eac3089695b3b4.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-35744537b4825584.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-f7ee5081d96fb2cd.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-5b28479cb639d76c.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-f827473dd3b319fa.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-53f9c299c549c6a9.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-44132fbb3fcc18d3.rlib" "-Wl,-Bdynamic" "-lz3" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lz3 [INFO] [stderr] collect2: error: ld returned 1 exit status [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error [INFO] [stderr] [INFO] [stderr] error: could not compile `z3`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: linking with `cc` failed: exit code: 1 [INFO] [stderr] | [INFO] [stderr] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.z3.c7nrlets-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab" "/opt/rustwide/target/debug/deps/z3-4fa1436f3c44d9ab.1hrytkjs5v476rra.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-a6274e2eaafd361e.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-2c85f64fb49c1603.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-ed84df1a106a13ed.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-e159833bdb71170b.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-5f1c8c824853fda4.rlib" "/opt/rustwide/target/debug/deps/libz3_sys-5928ff0312aa14bb.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-81e71b56f2a8a8f3.rlib" "/opt/rustwide/target/debug/deps/liblog-e05329b9ca199b2b.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-7bfa6ddb9b2ff1d3.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-62f93208e14fa8f0.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-b2c4dbe979cef5e2.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-8b9b66cb3e9f891d.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-5998b08bf29f56ac.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-efd1670396ccb585.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-6435b9209e888961.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-866e5dfb603b34d2.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-75eac3089695b3b4.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-35744537b4825584.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-f7ee5081d96fb2cd.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-5b28479cb639d76c.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-f827473dd3b319fa.rlib" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-53f9c299c549c6a9.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/41997647ba6a77908f6ef64401414feb00bccf16/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-44132fbb3fcc18d3.rlib" "-Wl,-Bdynamic" "-lz3" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lz3 [INFO] [stderr] collect2: error: ld returned 1 exit status [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error; 45 warnings emitted [INFO] [stderr] [INFO] [stderr] error: could not compile `z3`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] running `"docker" "inspect" "10bb8af27ed34a6f9abe5a8c431e7a1b062bb49c28053c2dd1a6fff33ab97dfe"` [INFO] running `"docker" "rm" "-f" "10bb8af27ed34a6f9abe5a8c431e7a1b062bb49c28053c2dd1a6fff33ab97dfe"` [INFO] [stdout] 10bb8af27ed34a6f9abe5a8c431e7a1b062bb49c28053c2dd1a6fff33ab97dfe