[INFO] fetching crate prop 0.47.0...
[INFO] checking prop-0.47.0 against master#f609b7e0586f81fefb3523e3e17adf779ac416be for pr-129466-2
[INFO] extracting crate prop 0.47.0 into /workspace/builds/worker-2-tc1/source
[INFO] validating manifest of crates.io crate prop 0.47.0 on toolchain f609b7e0586f81fefb3523e3e17adf779ac416be
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate prop 0.47.0
[INFO] finished tweaking crates.io crate prop 0.47.0
[INFO] tweaked toml for crates.io crate prop 0.47.0 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] crate crates.io crate prop 0.47.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 8fb2c60792172b7c7fd6b4029504d33c9f304665246fcbd6e5a72e6f25b381a5
[INFO] running `Command { std: "docker" "start" "-a" "8fb2c60792172b7c7fd6b4029504d33c9f304665246fcbd6e5a72e6f25b381a5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8fb2c60792172b7c7fd6b4029504d33c9f304665246fcbd6e5a72e6f25b381a5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8fb2c60792172b7c7fd6b4029504d33c9f304665246fcbd6e5a72e6f25b381a5", kill_on_drop: false }`
[INFO] [stdout] 8fb2c60792172b7c7fd6b4029504d33c9f304665246fcbd6e5a72e6f25b381a5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 927f2b6fcfeed4ca9dc5b00a7cdb46e330ab56546c0ce42d17053eda4356d4f8
[INFO] running `Command { std: "docker" "start" "-a" "927f2b6fcfeed4ca9dc5b00a7cdb46e330ab56546c0ce42d17053eda4356d4f8", kill_on_drop: false }`
[INFO] [stderr]     Checking prop v0.47.0 (/opt/rustwide/workdir)
[INFO] [stdout] error: missing documentation for a module
[INFO] [stdout]    --> src/path_semantics/lprop.rs:136:1
[INFO] [stdout]     |
[INFO] [stdout] 136 | pub mod tests {
[INFO] [stdout]     | ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]    --> src/lib.rs:1:9
[INFO] [stdout]     |
[INFO] [stdout] 1   | #![deny(missing_docs)]
[INFO] [stdout]     |         ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: missing documentation for a function
[INFO] [stdout]    --> src/path_semantics/lprop.rs:141:5
[INFO] [stdout]     |
[INFO] [stdout] 141 |     pub fn sort_min<T: LProp, U: LProp>() {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: missing documentation for a function
[INFO] [stdout]    --> src/path_semantics/lprop.rs:148:5
[INFO] [stdout]     |
[INFO] [stdout] 148 |     pub fn check_nan<A: LProp<N = NaN>, B: LProp<N = NaN>>(a: A, b: B) {eq_lev(a, b)}
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: missing documentation for a function
[INFO] [stdout]    --> src/path_semantics/lprop.rs:149:5
[INFO] [stdout]     |
[INFO] [stdout] 149 |     pub fn check_zero<A: LProp<N = Zero>, B: LProp<N = Zero>>(a: A, b: B) {eq_lev(a, b)}
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: missing documentation for a function
[INFO] [stdout]    --> src/path_semantics/lprop.rs:150:5
[INFO] [stdout]     |
[INFO] [stdout] 150 |     pub fn check_one<A: LProp<N = One>, B: LProp<N = One>>(a: A, b: B) {eq_lev(a, b)}
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: missing documentation for a function
[INFO] [stdout]    --> src/path_semantics/lprop.rs:151:5
[INFO] [stdout]     |
[INFO] [stdout] 151 |     pub fn check_zero_one<A: LProp<N = Zero>, B: LProp<N = One>>(a: A, b: B) {lt_lev(a, b)}
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: missing documentation for a function
[INFO] [stdout]    --> src/path_semantics/lprop.rs:152:5
[INFO] [stdout]     |
[INFO] [stdout] 152 | /     pub fn check_undef_nan<A: LProp, B: LProp<N = NaN>>(a: A, b: B)
[INFO] [stdout] 153 | |         where A::N: Lt<NaN>, NaN: Lt<A::N>
[INFO] [stdout]     | |__________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: missing documentation for a function
[INFO] [stdout]    --> src/path_semantics/lprop.rs:157:5
[INFO] [stdout]     |
[INFO] [stdout] 157 |     pub fn check_one_two() {lt_lev(LTrue(_1), LTrue(_2))}
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 8 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `prop` (lib test) due to 9 previous errors
[INFO] running `Command { std: "docker" "inspect" "927f2b6fcfeed4ca9dc5b00a7cdb46e330ab56546c0ce42d17053eda4356d4f8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "927f2b6fcfeed4ca9dc5b00a7cdb46e330ab56546c0ce42d17053eda4356d4f8", kill_on_drop: false }`
[INFO] [stdout] 927f2b6fcfeed4ca9dc5b00a7cdb46e330ab56546c0ce42d17053eda4356d4f8