[INFO] fetching crate prop 0.47.0...
[INFO] testing prop-0.47.0 against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-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 cdb45c87e2cd43495379f7e867e3cc15dcee9f93
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6d435dc7444b72678146649a06b1a568c7d3b3300cbedb40f9e4b99329626f21
[INFO] running `Command { std: "docker" "start" "-a" "6d435dc7444b72678146649a06b1a568c7d3b3300cbedb40f9e4b99329626f21", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6d435dc7444b72678146649a06b1a568c7d3b3300cbedb40f9e4b99329626f21", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6d435dc7444b72678146649a06b1a568c7d3b3300cbedb40f9e4b99329626f21", kill_on_drop: false }`
[INFO] [stdout] 6d435dc7444b72678146649a06b1a568c7d3b3300cbedb40f9e4b99329626f21
[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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ac35eba334046f818ec0c89ff805fcd0ac9e097004a9ce943ca2610a24ea6e10
[INFO] running `Command { std: "docker" "start" "-a" "ac35eba334046f818ec0c89ff805fcd0ac9e097004a9ce943ca2610a24ea6e10", 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.30s
[INFO] running `Command { std: "docker" "inspect" "ac35eba334046f818ec0c89ff805fcd0ac9e097004a9ce943ca2610a24ea6e10", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ac35eba334046f818ec0c89ff805fcd0ac9e097004a9ce943ca2610a24ea6e10", kill_on_drop: false }`
[INFO] [stdout] ac35eba334046f818ec0c89ff805fcd0ac9e097004a9ce943ca2610a24ea6e10
[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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ecc18355356e2eeda64befb768808bc2e27d3e8805d1203d7e0602de859717b4
[INFO] running `Command { std: "docker" "start" "-a" "ecc18355356e2eeda64befb768808bc2e27d3e8805d1203d7e0602de859717b4", 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" "ecc18355356e2eeda64befb768808bc2e27d3e8805d1203d7e0602de859717b4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ecc18355356e2eeda64befb768808bc2e27d3e8805d1203d7e0602de859717b4", kill_on_drop: false }`
[INFO] [stdout] ecc18355356e2eeda64befb768808bc2e27d3e8805d1203d7e0602de859717b4