[INFO] cloning repository https://github.com/dwrensha/seer [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/dwrensha/seer" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdwrensha%2Fseer", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdwrensha%2Fseer'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 868171c5a5cc37fb875ba4469410dbb4343d0331 [INFO] documenting dwrensha/seer against beta-2022-05-20 for beta-1.62-rustdoc-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdwrensha%2Fseer" "/workspace/builds/worker-14/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-14/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/dwrensha/seer on toolchain beta-2022-05-20 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-05-20" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/dwrensha/seer [INFO] finished tweaking git repo https://github.com/dwrensha/seer [INFO] tweaked toml for git repo https://github.com/dwrensha/seer written to /workspace/builds/worker-14/source/Cargo.toml [INFO] crate git repo https://github.com/dwrensha/seer already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-05-20" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d190cb871061d98bc6d0581d85cb2ecb09a0f8a142ba5463de30be9999fc3251" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-05-20" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] df60b91014e3d727b444391258d6ebebd434c6e87348256c8721fc5ade53da7f [INFO] running `Command { std: "docker" "start" "-a" "df60b91014e3d727b444391258d6ebebd434c6e87348256c8721fc5ade53da7f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "df60b91014e3d727b444391258d6ebebd434c6e87348256c8721fc5ade53da7f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "df60b91014e3d727b444391258d6ebebd434c6e87348256c8721fc5ade53da7f", kill_on_drop: false }` [INFO] [stdout] df60b91014e3d727b444391258d6ebebd434c6e87348256c8721fc5ade53da7f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d190cb871061d98bc6d0581d85cb2ecb09a0f8a142ba5463de30be9999fc3251" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-05-20" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 583c26cfdb2f8d67f771913c1a169d6429e52ab3b05ec7d59ad92d9360ebe4d3 [INFO] running `Command { std: "docker" "start" "-a" "583c26cfdb2f8d67f771913c1a169d6429e52ab3b05ec7d59ad92d9360ebe4d3", kill_on_drop: false }` [INFO] [stderr] Checking lazy_static v1.0.1 [INFO] [stderr] Compiling num-traits v0.2.4 [INFO] [stderr] Compiling unicode-xid v0.0.4 [INFO] [stderr] Checking cfg-if v0.1.3 [INFO] [stderr] Checking void v1.0.2 [INFO] [stderr] Compiling quote v0.3.15 [INFO] [stderr] Compiling regex v1.0.0 [INFO] [stderr] Checking ucd-util v0.1.1 [INFO] [stderr] Checking serde v0.9.15 [INFO] [stderr] Checking quick-error v1.2.2 [INFO] [stderr] Checking utf8-ranges v1.0.0 [INFO] [stderr] Checking dtoa v0.4.2 [INFO] [stderr] Checking itoa v0.3.4 [INFO] [stderr] Checking z3-sys v0.3.0 [INFO] [stderr] Checking termcolor v0.3.6 [INFO] [stderr] Checking byteorder v1.2.3 [INFO] [stderr] Checking memchr v2.0.1 [INFO] [stderr] Checking atty v0.2.10 [INFO] [stderr] Checking log v0.4.2 [INFO] [stderr] Checking log_settings v0.1.2 [INFO] [stderr] Checking unreachable v1.0.0 [INFO] [stderr] Checking humantime v1.1.1 [INFO] [stderr] Compiling synom v0.11.3 [INFO] [stderr] Checking regex-syntax v0.6.1 [INFO] [stderr] Checking aho-corasick v0.6.4 [INFO] [stderr] Checking thread_local v0.3.5 [INFO] [stderr] Compiling syn v0.11.11 [INFO] [stderr] Checking log v0.3.9 [INFO] [stderr] Checking seer-z3 v0.1.2 [INFO] [stderr] Checking num-traits v0.1.43 [INFO] [stderr] Compiling serde_codegen_internals v0.14.2 [INFO] [stderr] Compiling serde_derive v0.9.15 [INFO] [stderr] Checking serde_json v0.9.10 [INFO] [stderr] Checking env_logger v0.5.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] = help: please recompile that crate using --crate-type lib [INFO] [stdout] = note: the following crate versions were found: [INFO] [stdout] crate `rustc`: /opt/rustwide/rustup-home/toolchains/beta-2022-05-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-beta_rt.asan.a [INFO] [stdout] crate `rustc`: /opt/rustwide/rustup-home/toolchains/beta-2022-05-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-beta_rt.msan.a [INFO] [stdout] crate `rustc`: /opt/rustwide/rustup-home/toolchains/beta-2022-05-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-beta_rt.tsan.a [INFO] [stdout] crate `rustc`: /opt/rustwide/rustup-home/toolchains/beta-2022-05-20-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-beta_rt.lsan.a [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_apfloat` [INFO] [stdout] --> src/lib.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | extern crate rustc_apfloat; [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 `rustc_target` [INFO] [stdout] --> src/lib.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | extern crate rustc_target; [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_codegen_utils` [INFO] [stdout] --> src/lib.rs:19:1 [INFO] [stdout] | [INFO] [stdout] 19 | extern crate rustc_codegen_utils; [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:20:1 [INFO] [stdout] | [INFO] [stdout] 20 | 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:853:48 [INFO] [stdout] | [INFO] [stdout] 853 | 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:994:32 [INFO] [stdout] | [INFO] [stdout] 994 | 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:1001:37 [INFO] [stdout] | [INFO] [stdout] 1001 | 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:1250:22 [INFO] [stdout] | [INFO] [stdout] 1250 | _ => 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:1407:18 [INFO] [stdout] | [INFO] [stdout] 1407 | _ => 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:1448:26 [INFO] [stdout] | [INFO] [stdout] 1448 | _ => 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:1472:18 [INFO] [stdout] | [INFO] [stdout] 1472 | _ => 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/format_executor.rs:205:18 [INFO] [stdout] | [INFO] [stdout] 205 | _ => bug!("string buffer pointer was not a pointer: {:?}", primval_ptr) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> src/place.rs:78:18 [INFO] [stdout] | [INFO] [stdout] 78 | _ => bug!("to_ptr_and_extra: expected Place::Ptr, got {:?}", self), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> src/place.rs:101:26 [INFO] [stdout] | [INFO] [stdout] 101 | _ => bug!("elem_ty_and_len of a TySlice given non-slice place: {:?}", self), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> src/place.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/place.rs:176:34 [INFO] [stdout] | [INFO] [stdout] 176 | Value::ByVal(val) => bug!("field access on non aggregate {:?}, {:?}", val, base_ty), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> src/place.rs:329:37 [INFO] [stdout] | [INFO] [stdout] 329 | PlaceExtra::None => bug!("expected fat pointer"), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> src/place.rs:331:21 [INFO] [stdout] | [INFO] [stdout] 331 | 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:92:40 [INFO] [stdout] | [INFO] [stdout] 92 | 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:93:45 [INFO] [stdout] | [INFO] [stdout] 93 | 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:107:40 [INFO] [stdout] | [INFO] [stdout] 107 | 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:108:45 [INFO] [stdout] | [INFO] [stdout] 108 | 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:127:40 [INFO] [stdout] | [INFO] [stdout] 127 | 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:128:45 [INFO] [stdout] | [INFO] [stdout] 128 | 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:137:26 [INFO] [stdout] | [INFO] [stdout] 137 | _ => bug!(), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> src/terminator/intrinsic.rs:203:26 [INFO] [stdout] | [INFO] [stdout] 203 | _ => bug!(), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> src/terminator/intrinsic.rs:226:26 [INFO] [stdout] | [INFO] [stdout] 226 | _ => bug!(), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> src/terminator/intrinsic.rs:241:26 [INFO] [stdout] | [INFO] [stdout] 241 | _ => bug!(), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> src/terminator/intrinsic.rs:290:42 [INFO] [stdout] | [INFO] [stdout] 290 | Place::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:457:42 [INFO] [stdout] | [INFO] [stdout] 457 | Place::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:531:30 [INFO] [stdout] | [INFO] [stdout] 531 | _ => 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:573:22 [INFO] [stdout] | [INFO] [stdout] 573 | _ => 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:621:26 [INFO] [stdout] | [INFO] [stdout] 621 | _ => 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:371:26 [INFO] [stdout] | [INFO] [stdout] 371 | _ => 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:461:45 [INFO] [stdout] | [INFO] [stdout] 461 | ... bug!("failed to unpack arguments from tuple {:?}", other) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> src/terminator/mod.rs:496:26 [INFO] [stdout] | [INFO] [stdout] 496 | _ => 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:372:18 [INFO] [stdout] | [INFO] [stdout] 372 | _ => 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:383:18 [INFO] [stdout] | [INFO] [stdout] 383 | _ => 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:101:18 [INFO] [stdout] | [INFO] [stdout] 101 | _ => 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/mod.rs:539:47 [INFO] [stdout] | [INFO] [stdout] 539 | ... Err(e) => bug!("failed to get source for span {:?}: {:?}", span, e), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> src/terminator/intrinsic.rs:609:34 [INFO] [stdout] | [INFO] [stdout] 609 | _ => bug!("invalid `{}` argument: {:?}", name, bytes), [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 620 | "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:609:34 [INFO] [stdout] | [INFO] [stdout] 609 | _ => bug!("invalid `{}` argument: {:?}", name, bytes), [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 619 | "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:609:34 [INFO] [stdout] | [INFO] [stdout] 609 | _ => bug!("invalid `{}` argument: {:?}", name, bytes), [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 618 | "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:609:34 [INFO] [stdout] | [INFO] [stdout] 609 | _ => bug!("invalid `{}` argument: {:?}", name, bytes), [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 617 | "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:1202:18 [INFO] [stdout] | [INFO] [stdout] 1202 | _ => 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:1131:30 [INFO] [stdout] | [INFO] [stdout] 1131 | _ => 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:1088:26 [INFO] [stdout] | [INFO] [stdout] 1088 | _ => 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:606:39 [INFO] [stdout] | [INFO] [stdout] 606 | ... (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 `span_bug` in this scope [INFO] [stdout] --> src/traits.rs:45:13 [INFO] [stdout] | [INFO] [stdout] 45 | span_bug!(span, "Uninferred types/regions in `{:?}`", result); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `span_bug` in this scope [INFO] [stdout] --> src/traits.rs:34:13 [INFO] [stdout] | [INFO] [stdout] 34 | span_bug!(span, "Encountered errors `{:?}` resolving bounds after type-checking", [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> src/terminator/mod.rs:474:29 [INFO] [stdout] | [INFO] [stdout] 474 | ... bug!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> src/terminator/mod.rs:133:42 [INFO] [stdout] | [INFO] [stdout] 133 | ... 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:258:21 [INFO] [stdout] | [INFO] [stdout] 258 | 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:251:21 [INFO] [stdout] | [INFO] [stdout] 251 | 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:248:25 [INFO] [stdout] | [INFO] [stdout] 248 | 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:97:18 [INFO] [stdout] | [INFO] [stdout] 97 | _ => bug!("int_arithmetic should only be called on int primvals"), [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 300 | (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:97:18 [INFO] [stdout] | [INFO] [stdout] 97 | _ => bug!("int_arithmetic should only be called on int primvals"), [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 299 | (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:97:18 [INFO] [stdout] | [INFO] [stdout] 97 | _ => bug!("int_arithmetic should only be called on int primvals"), [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 298 | (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:97:18 [INFO] [stdout] | [INFO] [stdout] 97 | _ => bug!("int_arithmetic should only be called on int primvals"), [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 297 | (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:97:18 [INFO] [stdout] | [INFO] [stdout] 97 | _ => bug!("int_arithmetic should only be called on int primvals"), [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 296 | (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:268:30 [INFO] [stdout] | [INFO] [stdout] 268 | _ => bug!("invalid float op: `{:?}`", bin_op), [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 275 | FloatTy::F64 => float_math!(Double), [INFO] [stdout] | ------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `float_math` (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:268:30 [INFO] [stdout] | [INFO] [stdout] 268 | _ => bug!("invalid float op: `{:?}`", bin_op), [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 274 | FloatTy::F32 => float_math!(Single), [INFO] [stdout] | ------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `float_math` (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:242:22 [INFO] [stdout] | [INFO] [stdout] 242 | _ => 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:117:18 [INFO] [stdout] | [INFO] [stdout] 117 | _ => bug!("int_shift should only be called on int primvals"), [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 241 | 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:117:18 [INFO] [stdout] | [INFO] [stdout] 117 | _ => bug!("int_shift should only be called on int primvals"), [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 240 | 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:208:34 [INFO] [stdout] | [INFO] [stdout] 208 | ... _ => 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:97:18 [INFO] [stdout] | [INFO] [stdout] 97 | _ => bug!("int_arithmetic should only be called on int primvals"), [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 206 | 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:773:13 [INFO] [stdout] | [INFO] [stdout] 773 | 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/place.rs:455:26 [INFO] [stdout] | [INFO] [stdout] 455 | _ => 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:1228:13 [INFO] [stdout] | [INFO] [stdout] 1228 | 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:678:38 [INFO] [stdout] | [INFO] [stdout] 678 | 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:668:38 [INFO] [stdout] | [INFO] [stdout] 668 | 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:660:38 [INFO] [stdout] | [INFO] [stdout] 660 | 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:635:60 [INFO] [stdout] | [INFO] [stdout] 635 | ... (Value::ByVal(_), true) => 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:580:25 [INFO] [stdout] | [INFO] [stdout] 580 | bug!("attempted to take a reference to an enum downcast place"), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> src/eval_context.rs:548:26 [INFO] [stdout] | [INFO] [stdout] 548 | _ => 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:457:17 [INFO] [stdout] | [INFO] [stdout] 457 | bug!("StackPopCleanup::MarkStatic on: {:?}", frame.return_place); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel [INFO] [stdout] --> src/lib.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | / #![feature( [INFO] [stdout] 2 | | inclusive_range, [INFO] [stdout] 3 | | inclusive_range_methods, [INFO] [stdout] 4 | | rustc_private, [INFO] [stdout] 5 | | )] [INFO] [stdout] | |__^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: Compilation failed, aborting rustdoc [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 85 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0463, E0554. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0463`. [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=564ff0cf0a6b4461 -L dependency=/opt/rustwide/target/debug/deps --extern byteorder=/opt/rustwide/target/debug/deps/libbyteorder-13afaad15c59b723.rmeta --extern cargo_metadata=/opt/rustwide/target/debug/deps/libcargo_metadata-7f747f2fc7fd076f.rmeta --extern env_logger=/opt/rustwide/target/debug/deps/libenv_logger-e029b6fd180e169f.rmeta --extern lazy_static=/opt/rustwide/target/debug/deps/liblazy_static-14742b6f9f016299.rmeta --extern log=/opt/rustwide/target/debug/deps/liblog-0d1a6aabbf71da68.rmeta --extern log_settings=/opt/rustwide/target/debug/deps/liblog_settings-f6cb9b9dcc979307.rmeta --extern regex=/opt/rustwide/target/debug/deps/libregex-fc6e40a34b709077.rmeta --extern seer_z3=/opt/rustwide/target/debug/deps/libseer_z3-ec5c9526b3ada415.rmeta --cap-lints=warn --crate-version 0.0.3` (exit status: 1) [INFO] running `Command { std: "docker" "inspect" "583c26cfdb2f8d67f771913c1a169d6429e52ab3b05ec7d59ad92d9360ebe4d3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "583c26cfdb2f8d67f771913c1a169d6429e52ab3b05ec7d59ad92d9360ebe4d3", kill_on_drop: false }` [INFO] [stdout] 583c26cfdb2f8d67f771913c1a169d6429e52ab3b05ec7d59ad92d9360ebe4d3