[INFO] fetching crate seer 0.0.3...
[INFO] documenting seer-0.0.3 against 1.69.0 for beta-1.70-rustdoc-1
[INFO] extracting crate seer 0.0.3 into /workspace/builds/worker-7-tc1/source
[INFO] validating manifest of crates.io crate seer 0.0.3 on toolchain 1.69.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.69.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate seer 0.0.3
[INFO] finished tweaking crates.io crate seer 0.0.3
[INFO] tweaked toml for crates.io crate seer 0.0.3 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" __CARGO_TEST_CHANNEL_OVERRIDE_DO_NOT_USE_THIS="nightly" "/workspace/cargo-home/bin/cargo" "+1.69.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.69.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded tester v0.6.0
[INFO] [stderr]   Downloaded log_settings v0.1.2
[INFO] [stderr]   Downloaded rustfix v0.4.6
[INFO] [stderr]   Downloaded cargo_metadata v0.1.2
[INFO] [stderr]   Downloaded z3-sys v0.3.0
[INFO] [stderr]   Downloaded compiletest_rs v0.3.26
[INFO] [stderr]   Downloaded seer-z3 v0.1.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 5caa19e5a2196c61a08af8ad92c59793a650c1a2f5a1ae9517aa0257c98dded6
[INFO] running `Command { std: "docker" "start" "-a" "5caa19e5a2196c61a08af8ad92c59793a650c1a2f5a1ae9517aa0257c98dded6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5caa19e5a2196c61a08af8ad92c59793a650c1a2f5a1ae9517aa0257c98dded6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5caa19e5a2196c61a08af8ad92c59793a650c1a2f5a1ae9517aa0257c98dded6", kill_on_drop: false }`
[INFO] [stdout] 5caa19e5a2196c61a08af8ad92c59793a650c1a2f5a1ae9517aa0257c98dded6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+1.69.0" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7b3cf6549e567a182ae95ea27f6b4f48a6736520b88d4653d59c0d1656ea8cdb
[INFO] running `Command { std: "docker" "start" "-a" "7b3cf6549e567a182ae95ea27f6b4f48a6736520b88d4653d59c0d1656ea8cdb", kill_on_drop: false }`
[INFO] [stderr]    Compiling winapi-build v0.1.1
[INFO] [stderr]     Checking winapi v0.2.8
[INFO] [stderr]    Compiling unicode-xid v0.0.4
[INFO] [stderr]    Compiling quote v0.3.15
[INFO] [stderr]     Checking memchr v0.1.11
[INFO] [stderr]     Checking itoa v0.3.4
[INFO] [stderr]     Checking log v0.3.9
[INFO] [stderr]     Checking num-traits v0.1.43
[INFO] [stderr]     Checking utf8-ranges v0.1.3
[INFO] [stderr]     Checking regex-syntax v0.3.9
[INFO] [stderr]    Compiling synom v0.11.3
[INFO] [stderr]     Checking aho-corasick v0.5.3
[INFO] [stderr]     Checking serde v0.9.15
[INFO] [stderr]    Compiling kernel32-sys v0.2.2
[INFO] [stderr]     Checking z3-sys v0.3.0
[INFO] [stderr]     Checking log_settings v0.1.2
[INFO] [stderr]    Compiling syn v0.11.11
[INFO] [stderr]     Checking byteorder v1.4.3
[INFO] [stderr]     Checking seer-z3 v0.1.2
[INFO] [stderr]     Checking thread-id v2.0.0
[INFO] [stderr]     Checking thread_local v0.2.7
[INFO] [stderr]     Checking regex v0.1.80
[INFO] [stderr]    Compiling serde_codegen_internals v0.14.2
[INFO] [stderr]     Checking env_logger v0.3.5
[INFO] [stderr]    Compiling serde_derive v0.9.15
[INFO] [stderr]     Checking serde_json v0.9.10
[INFO] [stderr]     Checking cargo_metadata v0.1.2
[INFO] [stderr]  Documenting seer v0.0.3 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0462]: found staticlib `rustc` instead of rlib or dylib
[INFO] [stdout]   --> src/lib.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | extern crate rustc;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: the following crate versions were found:
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/1.69.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-stable_rt.msan.a
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/1.69.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-stable_rt.asan.a
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/1.69.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-stable_rt.tsan.a
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/1.69.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-stable_rt.lsan.a
[INFO] [stdout]    = help: please recompile that crate using --crate-type lib
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_const_math`
[INFO] [stdout]   --> src/lib.rs:14:1
[INFO] [stdout]    |
[INFO] [stdout] 14 | extern crate rustc_const_math;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_data_structures`
[INFO] [stdout]   --> src/lib.rs:15:1
[INFO] [stdout]    |
[INFO] [stdout] 15 | extern crate rustc_data_structures;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_driver`
[INFO] [stdout]   --> src/lib.rs:16:1
[INFO] [stdout]    |
[INFO] [stdout] 16 | extern crate rustc_driver;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_errors`
[INFO] [stdout]   --> src/lib.rs:17:1
[INFO] [stdout]    |
[INFO] [stdout] 17 | extern crate rustc_errors;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `syntax`
[INFO] [stdout]   --> src/lib.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | extern crate syntax;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/eval_context.rs:821:48
[INFO] [stdout]     |
[INFO] [stdout] 821 |             layout::Variants::Single { .. } => bug!(),
[INFO] [stdout]     |                                                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/eval_context.rs:963:32
[INFO] [stdout]     |
[INFO] [stdout] 963 |             Value::ByRef(_) => bug!("follow_by_ref_value can't result in `ByRef`"),
[INFO] [stdout]     |                                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/eval_context.rs:970:37
[INFO] [stdout]     |
[INFO] [stdout] 970 |             Value::ByValPair(..) => bug!("value_to_primval can't work with fat pointers"),
[INFO] [stdout]     |                                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]     --> src/eval_context.rs:1220:22
[INFO] [stdout]      |
[INFO] [stdout] 1220 |                 _ => bug!("unsized primval ptr read from {:?}", pointee_ty),
[INFO] [stdout]      |                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]     --> src/eval_context.rs:1377:18
[INFO] [stdout]      |
[INFO] [stdout] 1377 |             _ => bug!("invalid unsizing {:?} -> {:?}", src_ty, dest_ty),
[INFO] [stdout]      |                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]     --> src/eval_context.rs:1417:26
[INFO] [stdout]      |
[INFO] [stdout] 1417 |                     _ => bug!("expected pointer, got {:?}", src),
[INFO] [stdout]      |                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]     --> src/eval_context.rs:1441:18
[INFO] [stdout]      |
[INFO] [stdout] 1441 |             _ => bug!("unsize_into: invalid conversion: {:?} -> {:?}", src_ty, dest_ty),
[INFO] [stdout]      |                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]   --> src/lvalue.rs:78:18
[INFO] [stdout]    |
[INFO] [stdout] 78 |             _ => bug!("to_ptr_and_extra: expected Lvalue::Ptr, got {:?}", self),
[INFO] [stdout]    |                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/lvalue.rs:101:26
[INFO] [stdout]     |
[INFO] [stdout] 101 |                     _ => bug!("elem_ty_and_len of a TySlice given non-slice lvalue: {:?}", self),
[INFO] [stdout]     |                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/lvalue.rs:105:18
[INFO] [stdout]     |
[INFO] [stdout] 105 |             _ => bug!("elem_ty_and_len expected array or slice, got {:?}", ty),
[INFO] [stdout]     |                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/lvalue.rs:293:38
[INFO] [stdout]     |
[INFO] [stdout] 293 |                 LvalueExtra::None => bug!("expected fat pointer"),
[INFO] [stdout]     |                                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/lvalue.rs:295:21
[INFO] [stdout]     |
[INFO] [stdout] 295 |                     bug!("Rust doesn't support unsized fields in enum variants")
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]   --> src/terminator/drop.rs:24:18
[INFO] [stdout]    |
[INFO] [stdout] 24 |             _ => bug!("force_allocation broken"),
[INFO] [stdout]    |                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]   --> src/terminator/intrinsic.rs:93:40
[INFO] [stdout]    |
[INFO] [stdout] 93 |                     Value::ByRef(_) => bug!("just read the value, can't be byref"),
[INFO] [stdout]    |                                        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]   --> src/terminator/intrinsic.rs:94:45
[INFO] [stdout]    |
[INFO] [stdout] 94 |                     Value::ByValPair(..) => bug!("atomic_xchg doesn't work with nonprimitives"),
[INFO] [stdout]    |                                             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/intrinsic.rs:108:40
[INFO] [stdout]     |
[INFO] [stdout] 108 |                     Value::ByRef(_) => bug!("just read the value, can't be byref"),
[INFO] [stdout]     |                                        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/intrinsic.rs:109:45
[INFO] [stdout]     |
[INFO] [stdout] 109 |                     Value::ByValPair(..) => bug!("atomic_cxchg doesn't work with nonprimitives"),
[INFO] [stdout]     |                                             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/intrinsic.rs:128:40
[INFO] [stdout]     |
[INFO] [stdout] 128 |                     Value::ByRef(_) => bug!("just read the value, can't be byref"),
[INFO] [stdout]     |                                        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/intrinsic.rs:129:45
[INFO] [stdout]     |
[INFO] [stdout] 129 |                     Value::ByValPair(..) => bug!("atomic_xadd_relaxed doesn't work with nonprimitives"),
[INFO] [stdout]     |                                             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/intrinsic.rs:138:26
[INFO] [stdout]     |
[INFO] [stdout] 138 |                     _ => bug!(),
[INFO] [stdout]     |                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/intrinsic.rs:204:26
[INFO] [stdout]     |
[INFO] [stdout] 204 |                     _ => bug!(),
[INFO] [stdout]     |                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/intrinsic.rs:227:26
[INFO] [stdout]     |
[INFO] [stdout] 227 |                     _ => bug!(),
[INFO] [stdout]     |                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/intrinsic.rs:242:26
[INFO] [stdout]     |
[INFO] [stdout] 242 |                     _ => bug!(),
[INFO] [stdout]     |                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/intrinsic.rs:278:43
[INFO] [stdout]     |
[INFO] [stdout] 278 |                     Lvalue::Ptr { .. } => bug!("init intrinsic tried to write to fat ptr target"),
[INFO] [stdout]     |                                           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/intrinsic.rs:453:43
[INFO] [stdout]     |
[INFO] [stdout] 453 |                     Lvalue::Ptr { .. } => bug!("uninit intrinsic tried to write to fat ptr target"),
[INFO] [stdout]     |                                           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/intrinsic.rs:527:30
[INFO] [stdout]     |
[INFO] [stdout] 527 |                         _ => bug!("We already checked that we know this type"),
[INFO] [stdout]     |                              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/intrinsic.rs:569:22
[INFO] [stdout]     |
[INFO] [stdout] 569 |                 _ => bug!("size_of_val::<{:?}>", ty),
[INFO] [stdout]     |                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/intrinsic.rs:617:22
[INFO] [stdout]     |
[INFO] [stdout] 617 |                 _ => bug!("not a numeric intrinsic: {}", name),
[INFO] [stdout]     |                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/mod.rs:363:26
[INFO] [stdout]     |
[INFO] [stdout] 363 |                     _ => bug!("bad ABI for ClosureOnceShim: {:?}", sig.abi),
[INFO] [stdout]     |                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/mod.rs:479:26
[INFO] [stdout]     |
[INFO] [stdout] 479 |                     _ => bug!("virtual call first arg cannot be a constant"),
[INFO] [stdout]     |                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/value.rs:371:18
[INFO] [stdout]     |
[INFO] [stdout] 371 |             _ => bug!("can't make uint with size {}", size),
[INFO] [stdout]     |                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/value.rs:382:18
[INFO] [stdout]     |
[INFO] [stdout] 382 |             _ => bug!("can't make int with size {}", size),
[INFO] [stdout]     |                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/value.rs:100:18
[INFO] [stdout]     |
[INFO] [stdout] 100 |             _ => bug!("expected ptr and vtable, got {:?}", self),
[INFO] [stdout]     |                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/intrinsic.rs:605:30
[INFO] [stdout]     |
[INFO] [stdout] 605 |                         _ => bug!("invalid `{}` argument: {:?}", name, bytes),
[INFO] [stdout]     |                              ^^^
[INFO] [stdout] ...
[INFO] [stdout] 616 |                 "cttz" => integer_intrinsic!(trailing_zeros),
[INFO] [stdout]     |                           ---------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `integer_intrinsic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/intrinsic.rs:605:30
[INFO] [stdout]     |
[INFO] [stdout] 605 |                         _ => bug!("invalid `{}` argument: {:?}", name, bytes),
[INFO] [stdout]     |                              ^^^
[INFO] [stdout] ...
[INFO] [stdout] 615 |                 "ctpop" => integer_intrinsic!(count_ones),
[INFO] [stdout]     |                            ------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `integer_intrinsic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/intrinsic.rs:605:30
[INFO] [stdout]     |
[INFO] [stdout] 605 |                         _ => bug!("invalid `{}` argument: {:?}", name, bytes),
[INFO] [stdout]     |                              ^^^
[INFO] [stdout] ...
[INFO] [stdout] 614 |                 "ctlz" => integer_intrinsic!(leading_zeros),
[INFO] [stdout]     |                           --------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `integer_intrinsic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/intrinsic.rs:605:30
[INFO] [stdout]     |
[INFO] [stdout] 605 |                         _ => bug!("invalid `{}` argument: {:?}", name, bytes),
[INFO] [stdout]     |                              ^^^
[INFO] [stdout] ...
[INFO] [stdout] 613 |                 "bswap" => integer_intrinsic!(swap_bytes),
[INFO] [stdout]     |                            ------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `integer_intrinsic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]   --> src/terminator/drop.rs:40:26
[INFO] [stdout]    |
[INFO] [stdout] 40 |                     _ => bug!("expected fat ptr, got {:?}", arg),
[INFO] [stdout]    |                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]     --> src/memory.rs:1098:18
[INFO] [stdout]      |
[INFO] [stdout] 1098 |             _ => bug!("bad integer size: {}", size),
[INFO] [stdout]      |                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]     --> src/memory.rs:1027:30
[INFO] [stdout]      |
[INFO] [stdout] 1027 |                         _ => bug!("unexpected PrimVal::Bytes size"),
[INFO] [stdout]      |                              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/memory.rs:984:26
[INFO] [stdout]     |
[INFO] [stdout] 984 |                     _ => bug!("unexpected PrimVal::Bytes size"),
[INFO] [stdout]     |                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/memory.rs:513:39
[INFO] [stdout]     |
[INFO] [stdout] 513 | ...   (Some(_), Some(_)) => bug!("miri invariant broken: an allocation id exists that points to both a function and a memory location"),
[INFO] [stdout]     |                             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/mod.rs:457:29
[INFO] [stdout]     |
[INFO] [stdout] 457 | ...                   bug!(
[INFO] [stdout]     |                       ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/terminator/mod.rs:127:42
[INFO] [stdout]     |
[INFO] [stdout] 127 | ...                   ref other => bug!("instance def ty: {:?}", other),
[INFO] [stdout]     |                                    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/step.rs:248:21
[INFO] [stdout]     |
[INFO] [stdout] 248 |                     bug!("static found but isn't a static: {:?}", def);
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/step.rs:241:21
[INFO] [stdout]     |
[INFO] [stdout] 241 |                     bug!("static def id doesn't point to item");
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/step.rs:238:25
[INFO] [stdout]     |
[INFO] [stdout] 238 |                         bug!("static def id doesn't point to static");
[INFO] [stdout]     |                         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/operator.rs:90:18
[INFO] [stdout]     |
[INFO] [stdout] 90  |             _ => bug!("int_arithmetic should only be called on int primvals"),
[INFO] [stdout]     |                  ^^^
[INFO] [stdout] ...
[INFO] [stdout] 292 |             (Rem, k) if k.is_int() => return int_arithmetic!(k, overflowing_rem, l, r),
[INFO] [stdout]     |                                              ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `int_arithmetic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/operator.rs:90:18
[INFO] [stdout]     |
[INFO] [stdout] 90  |             _ => bug!("int_arithmetic should only be called on int primvals"),
[INFO] [stdout]     |                  ^^^
[INFO] [stdout] ...
[INFO] [stdout] 291 |             (Div, k) if k.is_int() => return int_arithmetic!(k, overflowing_div, l, r),
[INFO] [stdout]     |                                              ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `int_arithmetic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/operator.rs:90:18
[INFO] [stdout]     |
[INFO] [stdout] 90  |             _ => bug!("int_arithmetic should only be called on int primvals"),
[INFO] [stdout]     |                  ^^^
[INFO] [stdout] ...
[INFO] [stdout] 290 |             (Mul, k) if k.is_int() => return int_arithmetic!(k, overflowing_mul, l, r),
[INFO] [stdout]     |                                              ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `int_arithmetic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/operator.rs:90:18
[INFO] [stdout]     |
[INFO] [stdout] 90  |             _ => bug!("int_arithmetic should only be called on int primvals"),
[INFO] [stdout]     |                  ^^^
[INFO] [stdout] ...
[INFO] [stdout] 289 |             (Sub, k) if k.is_int() => return int_arithmetic!(k, overflowing_sub, l, r),
[INFO] [stdout]     |                                              ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `int_arithmetic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/operator.rs:90:18
[INFO] [stdout]     |
[INFO] [stdout] 90  |             _ => bug!("int_arithmetic should only be called on int primvals"),
[INFO] [stdout]     |                  ^^^
[INFO] [stdout] ...
[INFO] [stdout] 288 |             (Add, k) if k.is_int() => return int_arithmetic!(k, overflowing_add, l, r),
[INFO] [stdout]     |                                              ----------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `int_arithmetic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/operator.rs:265:22
[INFO] [stdout]     |
[INFO] [stdout] 265 |                 _ => bug!("invalid float op: `{:?}`", op),
[INFO] [stdout]     |                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/operator.rs:235:22
[INFO] [stdout]     |
[INFO] [stdout] 235 |                 _ => bug!("it has already been checked that this is a shift op"),
[INFO] [stdout]     |                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/operator.rs:110:18
[INFO] [stdout]     |
[INFO] [stdout] 110 |             _ => bug!("int_shift should only be called on int primvals"),
[INFO] [stdout]     |                  ^^^
[INFO] [stdout] ...
[INFO] [stdout] 234 |                 Shr => int_shift!(left_kind, overflowing_shr, l, r as u32),
[INFO] [stdout]     |                        --------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `int_shift` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/operator.rs:110:18
[INFO] [stdout]     |
[INFO] [stdout] 110 |             _ => bug!("int_shift should only be called on int primvals"),
[INFO] [stdout]     |                  ^^^
[INFO] [stdout] ...
[INFO] [stdout] 233 |                 Shl => int_shift!(left_kind, overflowing_shl, l, r as u32),
[INFO] [stdout]     |                        --------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `int_shift` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/operator.rs:201:34
[INFO] [stdout]     |
[INFO] [stdout] 201 | ...                   _ => bug!("We already established it has to be one of these operators."),
[INFO] [stdout]     |                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/operator.rs:90:18
[INFO] [stdout]     |
[INFO] [stdout] 90  |             _ => bug!("int_arithmetic should only be called on int primvals"),
[INFO] [stdout]     |                  ^^^
[INFO] [stdout] ...
[INFO] [stdout] 199 |                                 return int_arithmetic!(left_kind, overflowing_sub, left_offset, right_offset);
[INFO] [stdout]     |                                        ---------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this error originates in the macro `int_arithmetic` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/memory.rs:669:13
[INFO] [stdout]     |
[INFO] [stdout] 669 |             bug!("tried to mark an allocation ({:?}) as static twice", alloc_id);
[INFO] [stdout]     |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/lvalue.rs:430:26
[INFO] [stdout]     |
[INFO] [stdout] 430 |                     _ => bug!("can only deref pointer types"),
[INFO] [stdout]     |                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]     --> src/eval_context.rs:1198:13
[INFO] [stdout]      |
[INFO] [stdout] 1198 |             bug!("primitive read failed for type: {:?}", ty);
[INFO] [stdout]      |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/eval_context.rs:695:21
[INFO] [stdout]     |
[INFO] [stdout] 695 |                     bug!("rustc only generates Rvalue::Discriminant for enums");
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/eval_context.rs:676:38
[INFO] [stdout]     |
[INFO] [stdout] 676 |                         ref other => bug!("reify fn pointer on {:?}", other),
[INFO] [stdout]     |                                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/eval_context.rs:667:38
[INFO] [stdout]     |
[INFO] [stdout] 667 |                         ref other => bug!("fn to unsafe fn cast on {:?}", other),
[INFO] [stdout]     |                                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/eval_context.rs:659:38
[INFO] [stdout]     |
[INFO] [stdout] 659 |                         ref other => bug!("reify fn pointer on {:?}", other),
[INFO] [stdout]     |                                      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/eval_context.rs:634:57
[INFO] [stdout]     |
[INFO] [stdout] 634 | ...                   (Value::ByVal(_), _) => bug!("expected fat ptr"),
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/eval_context.rs:582:25
[INFO] [stdout]     |
[INFO] [stdout] 582 |                         bug!("attempted to take a reference to an enum downcast lvalue"),
[INFO] [stdout]     |                         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/eval_context.rs:550:26
[INFO] [stdout]     |
[INFO] [stdout] 550 |                     _ => bug!("tried to assign array-repeat to non-array type {:?}", dest_ty),
[INFO] [stdout]     |                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bug` in this scope
[INFO] [stdout]    --> src/eval_context.rs:459:17
[INFO] [stdout]     |
[INFO] [stdout] 459 |                 bug!("StackPopCleanup::MarkStatic on: {:?}", frame.return_lvalue);
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | / #![feature(
[INFO] [stdout] 2 | |     i128_type,
[INFO] [stdout] 3 | |     inclusive_range,
[INFO] [stdout] 4 | |     rustc_private,
[INFO] [stdout] 5 | | )]
[INFO] [stdout]   | |__^
[INFO] [stdout]   |
[INFO] [stdout]   = help: the feature `i128_type` has been stable since `1.26.0` and no longer requires an attribute to enable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `...` range patterns are deprecated
[INFO] [stdout]    --> src/lvalue.rs:153:19
[INFO] [stdout]     |
[INFO] [stdout] 153 |                 (0...1, Value::ByValPair(a, b)) if self.get_field_count(base_ty)? == 2 => {
[INFO] [stdout]     |                   ^^^ help: use `..=` for an inclusive range
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout]     = note: `#[warn(ellipsis_inclusive_range_patterns)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 76 previous errors; 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0462, E0463, E0554.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0462`.
[INFO] [stdout] 
[INFO] [stderr] error: could not document `seer`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustdoc --crate-type lib --crate-name seer src/lib.rs -o /opt/rustwide/target/doc --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --document-private-items -C metadata=fa27b2f0b6013c25 -L dependency=/opt/rustwide/target/debug/deps --extern byteorder=/opt/rustwide/target/debug/deps/libbyteorder-4489c14c678ec211.rmeta --extern cargo_metadata=/opt/rustwide/target/debug/deps/libcargo_metadata-4c3c8d6422469b0c.rmeta --extern env_logger=/opt/rustwide/target/debug/deps/libenv_logger-a3e45dbdc9717328.rmeta --extern log=/opt/rustwide/target/debug/deps/liblog-376fe3c7a6a66072.rmeta --extern log_settings=/opt/rustwide/target/debug/deps/liblog_settings-c170509f97002e98.rmeta --extern seer_z3=/opt/rustwide/target/debug/deps/libseer_z3-1cb54ac2a14be05d.rmeta --cap-lints=warn --crate-version 0.0.3` (exit status: 1)
[INFO] running `Command { std: "docker" "inspect" "7b3cf6549e567a182ae95ea27f6b4f48a6736520b88d4653d59c0d1656ea8cdb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7b3cf6549e567a182ae95ea27f6b4f48a6736520b88d4653d59c0d1656ea8cdb", kill_on_drop: false }`
[INFO] [stdout] 7b3cf6549e567a182ae95ea27f6b4f48a6736520b88d4653d59c0d1656ea8cdb
