[INFO] fetching crate prop 0.47.0...
[INFO] testing prop-0.47.0 against master#350d0ef0ec0493e6d21cfb265cb8211a0e74d766 for pr-145330-1
[INFO] extracting crate prop 0.47.0 into /workspace/builds/worker-6-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-6-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate prop 0.47.0 on toolchain 350d0ef0ec0493e6d21cfb265cb8211a0e74d766
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "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" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "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-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f5b9717547bfe8d79bf55ab1ee44a31670fcdcdc9d1294c28672341cba9207a7
[INFO] running `Command { std: "docker" "start" "-a" "f5b9717547bfe8d79bf55ab1ee44a31670fcdcdc9d1294c28672341cba9207a7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f5b9717547bfe8d79bf55ab1ee44a31670fcdcdc9d1294c28672341cba9207a7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f5b9717547bfe8d79bf55ab1ee44a31670fcdcdc9d1294c28672341cba9207a7", kill_on_drop: false }`
[INFO] [stdout] f5b9717547bfe8d79bf55ab1ee44a31670fcdcdc9d1294c28672341cba9207a7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 929f4dde73d0551deec84051f12e4a6fdf062c5b022a130944453d46cfc6b9f5
[INFO] running `Command { std: "docker" "start" "-a" "929f4dde73d0551deec84051f12e4a6fdf062c5b022a130944453d46cfc6b9f5", 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.55s
[INFO] running `Command { std: "docker" "inspect" "929f4dde73d0551deec84051f12e4a6fdf062c5b022a130944453d46cfc6b9f5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "929f4dde73d0551deec84051f12e4a6fdf062c5b022a130944453d46cfc6b9f5", kill_on_drop: false }`
[INFO] [stdout] 929f4dde73d0551deec84051f12e4a6fdf062c5b022a130944453d46cfc6b9f5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d09e840af00f6f4d41dd5dedba9a1890bafb3a792f9cad97fb48a39a3dda1f86
[INFO] running `Command { std: "docker" "start" "-a" "d09e840af00f6f4d41dd5dedba9a1890bafb3a792f9cad97fb48a39a3dda1f86", 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" "d09e840af00f6f4d41dd5dedba9a1890bafb3a792f9cad97fb48a39a3dda1f86", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d09e840af00f6f4d41dd5dedba9a1890bafb3a792f9cad97fb48a39a3dda1f86", kill_on_drop: false }`
[INFO] [stdout] d09e840af00f6f4d41dd5dedba9a1890bafb3a792f9cad97fb48a39a3dda1f86