[INFO] crate z3 0.4.0 is already in cache
[INFO] checking z3-0.4.0 against try#e4dba30b9b475d8750370c4dfb49b6541990904d for pr-71393
[INFO] extracting crate z3 0.4.0 into /workspace/builds/worker-12/source
[INFO] validating manifest of crates.io crate z3 0.4.0 on toolchain e4dba30b9b475d8750370c4dfb49b6541990904d
[INFO] running `"/workspace/cargo-home/bin/cargo" "+e4dba30b9b475d8750370c4dfb49b6541990904d" "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-12/source/Cargo.toml
[INFO] running `"/workspace/cargo-home/bin/cargo" "+e4dba30b9b475d8750370c4dfb49b6541990904d" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/workspace/cargo-home/bin/cargo" "+e4dba30b9b475d8750370c4dfb49b6541990904d" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/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" "+e4dba30b9b475d8750370c4dfb49b6541990904d" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stdout] 5b3b9e40ff0fc3da1959a98ca5371f68b3d508dc33702a0a55ddbbfc22ea17cb
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `"docker" "start" "-a" "5b3b9e40ff0fc3da1959a98ca5371f68b3d508dc33702a0a55ddbbfc22ea17cb"`
[INFO] [stderr]    Compiling libc v0.2.69
[INFO] [stderr]    Compiling log v0.4.8
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]     Checking cfg-if v0.1.10
[INFO] [stderr]     Checking semver-parser v0.7.0
[INFO] [stderr]     Checking z3-sys v0.5.0
[INFO] [stderr]     Checking thread_local v1.0.1
[INFO] [stderr]     Checking semver v0.9.0
[INFO] [stderr]     Checking regex v1.3.7
[INFO] [stderr]     Checking 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]     Checking atty v0.2.14
[INFO] [stderr] warning: 45 warnings emitted
[INFO] [stderr] 
[INFO] [stderr]     Checking env_logger v0.6.2
[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 8.22s
[INFO] running `"docker" "inspect" "5b3b9e40ff0fc3da1959a98ca5371f68b3d508dc33702a0a55ddbbfc22ea17cb"`
[INFO] running `"docker" "rm" "-f" "5b3b9e40ff0fc3da1959a98ca5371f68b3d508dc33702a0a55ddbbfc22ea17cb"`
[INFO] [stdout] 5b3b9e40ff0fc3da1959a98ca5371f68b3d508dc33702a0a55ddbbfc22ea17cb