[INFO] fetching crate prop 0.47.0...
[INFO] testing prop-0.47.0 against master#caccb4d0368bd918ef6668af8e13834d07040417 for pr-146098-1
[INFO] extracting crate prop 0.47.0 into /workspace/builds/worker-0-tc1/source
[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-0-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate prop 0.47.0 on toolchain caccb4d0368bd918ef6668af8e13834d07040417
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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" "+caccb4d0368bd918ef6668af8e13834d07040417" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 9b2a1645541f20c8d96de6a440a2526564a02f4a1aee761f47ecfa1ae39864e1
[INFO] running `Command { std: "docker" "start" "-a" "9b2a1645541f20c8d96de6a440a2526564a02f4a1aee761f47ecfa1ae39864e1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9b2a1645541f20c8d96de6a440a2526564a02f4a1aee761f47ecfa1ae39864e1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9b2a1645541f20c8d96de6a440a2526564a02f4a1aee761f47ecfa1ae39864e1", kill_on_drop: false }`
[INFO] [stdout] 9b2a1645541f20c8d96de6a440a2526564a02f4a1aee761f47ecfa1ae39864e1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 286c2410f11c9dfbe0f308647177203273b64f0caeba33cdeabdcd634af6a2b0
[INFO] running `Command { std: "docker" "start" "-a" "286c2410f11c9dfbe0f308647177203273b64f0caeba33cdeabdcd634af6a2b0", kill_on_drop: false }`
[INFO] [stderr]    Compiling prop v0.47.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 9.58s
[INFO] running `Command { std: "docker" "inspect" "286c2410f11c9dfbe0f308647177203273b64f0caeba33cdeabdcd634af6a2b0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "286c2410f11c9dfbe0f308647177203273b64f0caeba33cdeabdcd634af6a2b0", kill_on_drop: false }`
[INFO] [stdout] 286c2410f11c9dfbe0f308647177203273b64f0caeba33cdeabdcd634af6a2b0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ec76f20c4222aba1a1bb684bd52f2e682dcf8acc173e0e41878322e03ac9384d
[INFO] running `Command { std: "docker" "start" "-a" "ec76f20c4222aba1a1bb684bd52f2e682dcf8acc173e0e41878322e03ac9384d", kill_on_drop: false }`
[INFO] [stderr]    Compiling 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] [stderr] error: could not compile `prop` (lib test) due to 8 previous errors
[INFO] running `Command { std: "docker" "inspect" "ec76f20c4222aba1a1bb684bd52f2e682dcf8acc173e0e41878322e03ac9384d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ec76f20c4222aba1a1bb684bd52f2e682dcf8acc173e0e41878322e03ac9384d", kill_on_drop: false }`
[INFO] [stdout] ec76f20c4222aba1a1bb684bd52f2e682dcf8acc173e0e41878322e03ac9384d