[INFO] fetching crate prop 0.47.0...
[INFO] testing prop-0.47.0 against 1.95.0 for beta-1.96-2
[INFO] extracting crate prop 0.47.0 into /workspace/builds/worker-7-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-7-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate prop 0.47.0 on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "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" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c65833cdded7e0c20a65711dac7449d63f7c345582409f03c3e50ccfd623a8e2
[INFO] running `Command { std: "docker" "start" "-a" "c65833cdded7e0c20a65711dac7449d63f7c345582409f03c3e50ccfd623a8e2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c65833cdded7e0c20a65711dac7449d63f7c345582409f03c3e50ccfd623a8e2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c65833cdded7e0c20a65711dac7449d63f7c345582409f03c3e50ccfd623a8e2", kill_on_drop: false }`
[INFO] [stdout] c65833cdded7e0c20a65711dac7449d63f7c345582409f03c3e50ccfd623a8e2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=warn" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3d02923e84d2445291ffa25fed8e607a2335a083aefcb6c17d35f26f6c7522eb
[INFO] running `Command { std: "docker" "start" "-a" "3d02923e84d2445291ffa25fed8e607a2335a083aefcb6c17d35f26f6c7522eb", kill_on_drop: false }`
[INFO] [stderr]    Compiling prop v0.47.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:3:1
[INFO] [stdout]   |
[INFO] [stdout] 3 | #![feature(marker_trait_attr)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/existence.rs:432:27
[INFO] [stdout]     |
[INFO] [stdout] 432 |             Right(neq) => imply::absurd()(existence::catuskoti_excm_absurd(neq)),
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^-------------------------------------^
[INFO] [stdout]     |                           |               |
[INFO] [stdout]     |                           |               any code following this expression is unreachable
[INFO] [stdout]     |                           unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/existence.rs:432:43
[INFO] [stdout]     |
[INFO] [stdout] 432 |             Right(neq) => imply::absurd()(existence::catuskoti_excm_absurd(neq)),
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/hooo.rs:105:29
[INFO] [stdout]     |
[INFO] [stdout] 105 | ...                   imply::absurd()(pow_not(npara_b)(nb))
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^--------------------^
[INFO] [stdout]     |                       |               |
[INFO] [stdout]     |                       |               any code following this expression is unreachable
[INFO] [stdout]     |                       unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/hooo.rs:105:45
[INFO] [stdout]     |
[INFO] [stdout] 105 | ...                   imply::absurd()(pow_not(npara_b)(nb))
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/hooo.rs:537:22
[INFO] [stdout]     |
[INFO] [stdout] 537 |         Right(ny) => imply::absurd()(imply::in_left(x, |y| hooo_dual_neq(y))(pow_not(ny)))
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^----------------------------------------------------^
[INFO] [stdout]     |                      |               |
[INFO] [stdout]     |                      |               any code following this expression is unreachable
[INFO] [stdout]     |                      unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/hooo.rs:537:38
[INFO] [stdout]     |
[INFO] [stdout] 537 |         Right(ny) => imply::absurd()(imply::in_left(x, |y| hooo_dual_neq(y))(pow_not(ny)))
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/hooo.rs:676:62
[INFO] [stdout]     |
[INFO] [stdout] 676 |         Right(ny) => imply::absurd()(hooo_rev_not(ny)(True)(x)),
[INFO] [stdout]     |                                      ------------------------^
[INFO] [stdout]     |                                      |                       |
[INFO] [stdout]     |                                      |                       unreachable expression
[INFO] [stdout]     |                                      any code following this expression is unreachable
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/hooo.rs:676:38
[INFO] [stdout]     |
[INFO] [stdout] 676 |         Right(ny) => imply::absurd()(hooo_rev_not(ny)(True)(x)),
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1178:43
[INFO] [stdout]      |
[INFO] [stdout] 1178 |         (Left(tauto_a), Left(tauto_b)) => imply::absurd()(x((tauto_a(True), tauto_b(True)))),
[INFO] [stdout]      |                                           ^^^^^^^^^^^^^^^^---------------------------------^
[INFO] [stdout]      |                                           |               |
[INFO] [stdout]      |                                           |               any code following this expression is unreachable
[INFO] [stdout]      |                                           unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1178:59
[INFO] [stdout]      |
[INFO] [stdout] 1178 |         (Left(tauto_a), Left(tauto_b)) => imply::absurd()(x((tauto_a(True), tauto_b(True)))),
[INFO] [stdout]      |                                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1190:13
[INFO] [stdout]      |
[INFO] [stdout] 1190 |             imply::absurd()(x((not::rev_triple(tauto_nnna(True)), not::rev_triple(tauto_nnnb(True))))),
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^-------------------------------------------------------------------------^
[INFO] [stdout]      |             |               |
[INFO] [stdout]      |             |               any code following this expression is unreachable
[INFO] [stdout]      |             unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1190:29
[INFO] [stdout]      |
[INFO] [stdout] 1190 |             imply::absurd()(x((not::rev_triple(tauto_nnna(True)), not::rev_triple(tauto_nnnb(True))))),
[INFO] [stdout]      |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1203:43
[INFO] [stdout]      |
[INFO] [stdout] 1203 |         (Left(tauto_a), Left(tauto_b)) => imply::absurd()(x((tauto_a(True), tauto_b(True)))),
[INFO] [stdout]      |                                           ^^^^^^^^^^^^^^^^---------------------------------^
[INFO] [stdout]      |                                           |               |
[INFO] [stdout]      |                                           |               any code following this expression is unreachable
[INFO] [stdout]      |                                           unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1203:59
[INFO] [stdout]      |
[INFO] [stdout] 1203 |         (Left(tauto_a), Left(tauto_b)) => imply::absurd()(x((tauto_a(True), tauto_b(True)))),
[INFO] [stdout]      |                                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1219:13
[INFO] [stdout]      |
[INFO] [stdout] 1219 |             imply::absurd()(x((not::rev_triple(tauto_nnna(True)), not::rev_triple(tauto_nnnb(True))))),
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^-------------------------------------------------------------------------^
[INFO] [stdout]      |             |               |
[INFO] [stdout]      |             |               any code following this expression is unreachable
[INFO] [stdout]      |             unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1219:29
[INFO] [stdout]      |
[INFO] [stdout] 1219 |             imply::absurd()(x((not::rev_triple(tauto_nnna(True)), not::rev_triple(tauto_nnnb(True))))),
[INFO] [stdout]      |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1302:44
[INFO] [stdout]      |
[INFO] [stdout] 1302 |            (Left(para_a), Left(para_b), _) => imply::absurd()(para_eq_ab((
[INFO] [stdout]      |  _____________________________________________^               -
[INFO] [stdout]      | | ____________________________________________________________|
[INFO] [stdout] 1303 | ||             Rc::new(move |a| imply::absurd()(para_a(a))),
[INFO] [stdout] 1304 | ||             Rc::new(move |b| imply::absurd()(para_b(b)))
[INFO] [stdout] 1305 | ||         ))),
[INFO] [stdout]      | ||__________-^ unreachable expression
[INFO] [stdout]      |  |__________|
[INFO] [stdout]      |             any code following this expression is unreachable
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1302:60
[INFO] [stdout]      |
[INFO] [stdout] 1302 |           (Left(para_a), Left(para_b), _) => imply::absurd()(para_eq_ab((
[INFO] [stdout]      |  ____________________________________________________________^
[INFO] [stdout] 1303 | |             Rc::new(move |a| imply::absurd()(para_a(a))),
[INFO] [stdout] 1304 | |             Rc::new(move |b| imply::absurd()(para_b(b)))
[INFO] [stdout] 1305 | |         ))),
[INFO] [stdout]      | |__________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1306:44
[INFO] [stdout]      |
[INFO] [stdout] 1306 |            (_, Left(para_b), Left(para_c)) => imply::absurd()(para_eq_bc((
[INFO] [stdout]      |  _____________________________________________^               -
[INFO] [stdout]      | | ____________________________________________________________|
[INFO] [stdout] 1307 | ||             Rc::new(move |b| imply::absurd()(para_b(b))),
[INFO] [stdout] 1308 | ||             Rc::new(move |c| imply::absurd()(para_c(c)))
[INFO] [stdout] 1309 | ||         ))),
[INFO] [stdout]      | ||__________-^ unreachable expression
[INFO] [stdout]      |  |__________|
[INFO] [stdout]      |             any code following this expression is unreachable
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1306:60
[INFO] [stdout]      |
[INFO] [stdout] 1306 |           (_, Left(para_b), Left(para_c)) => imply::absurd()(para_eq_bc((
[INFO] [stdout]      |  ____________________________________________________________^
[INFO] [stdout] 1307 | |             Rc::new(move |b| imply::absurd()(para_b(b))),
[INFO] [stdout] 1308 | |             Rc::new(move |c| imply::absurd()(para_c(c)))
[INFO] [stdout] 1309 | |         ))),
[INFO] [stdout]      | |__________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1317:13
[INFO] [stdout]      |
[INFO] [stdout] 1317 |             imply::absurd()(para_eq_bc((c.map_any(), b.map_any())))
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^--------------------------------------^
[INFO] [stdout]      |             |               |
[INFO] [stdout]      |             |               any code following this expression is unreachable
[INFO] [stdout]      |             unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1317:29
[INFO] [stdout]      |
[INFO] [stdout] 1317 |             imply::absurd()(para_eq_bc((c.map_any(), b.map_any())))
[INFO] [stdout]      |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1322:13
[INFO] [stdout]      |
[INFO] [stdout] 1322 |             imply::absurd()(para_eq_ab((b.map_any(), a.map_any())))
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^--------------------------------------^
[INFO] [stdout]      |             |               |
[INFO] [stdout]      |             |               any code following this expression is unreachable
[INFO] [stdout]      |             unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1322:29
[INFO] [stdout]      |
[INFO] [stdout] 1322 |             imply::absurd()(para_eq_ab((b.map_any(), a.map_any())))
[INFO] [stdout]      |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]     --> src/hooo.rs:1329:38
[INFO] [stdout]      |
[INFO] [stdout] 1329 |                 Right(para_eq_ac) => imply::absurd()(para_rev_not(y)(para_eq_ac)),
[INFO] [stdout]      |                                      ^^^^^^^^^^^^^^^^---------------------------^
[INFO] [stdout]      |                                      |               |
[INFO] [stdout]      |                                      |               any code following this expression is unreachable
[INFO] [stdout]      |                                      unreachable expression
[INFO] [stdout]      |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]     --> src/hooo.rs:1329:54
[INFO] [stdout]      |
[INFO] [stdout] 1329 |                 Right(para_eq_ac) => imply::absurd()(para_rev_not(y)(para_eq_ac)),
[INFO] [stdout]      |                                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/modal.rs:219:13
[INFO] [stdout]     |
[INFO] [stdout] 219 |             imply::absurd()(npos_to_para(x)(a))
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^------------------^
[INFO] [stdout]     |             |               |
[INFO] [stdout]     |             |               any code following this expression is unreachable
[INFO] [stdout]     |             unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/modal.rs:219:29
[INFO] [stdout]     |
[INFO] [stdout] 219 |             imply::absurd()(npos_to_para(x)(a))
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/modal.rs:231:30
[INFO] [stdout]     |
[INFO] [stdout] 231 |         Right(para_pos_a) => imply::absurd()(para_pos_a(pos_a)),
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^^^-----------------^
[INFO] [stdout]     |                              |               |
[INFO] [stdout]     |                              |               any code following this expression is unreachable
[INFO] [stdout]     |                              unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/modal.rs:231:46
[INFO] [stdout]     |
[INFO] [stdout] 231 |         Right(para_pos_a) => imply::absurd()(para_pos_a(pos_a)),
[INFO] [stdout]     |                                              ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]   --> src/ava_modal.rs:79:13
[INFO] [stdout]    |
[INFO] [stdout] 79 |             imply::absurd()(para_rev_not(x)(para_a))
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^-----------------------^
[INFO] [stdout]    |             |               |
[INFO] [stdout]    |             |               any code following this expression is unreachable
[INFO] [stdout]    |             unreachable expression
[INFO] [stdout]    |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]   --> src/ava_modal.rs:79:29
[INFO] [stdout]    |
[INFO] [stdout] 79 |             imply::absurd()(para_rev_not(x)(para_a))
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/ava_modal.rs:105:27
[INFO] [stdout]     |
[INFO] [stdout] 105 |         Right(npara_a) => imply::absurd()(pos_not(npos)(npara_a)),
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^----------------------^
[INFO] [stdout]     |                           |               |
[INFO] [stdout]     |                           |               any code following this expression is unreachable
[INFO] [stdout]     |                           unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/ava_modal.rs:105:43
[INFO] [stdout]     |
[INFO] [stdout] 105 |         Right(npara_a) => imply::absurd()(pos_not(npos)(npara_a)),
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/fun/natp.rs:105:20
[INFO] [stdout]     |
[INFO] [stdout] 105 |         Left(y) => imply::absurd()(para_pre_zero(y)),
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^----------------^
[INFO] [stdout]     |                    |               |
[INFO] [stdout]     |                    |               any code following this expression is unreachable
[INFO] [stdout]     |                    unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/fun/natp.rs:105:36
[INFO] [stdout]     |
[INFO] [stdout] 105 |         Left(y) => imply::absurd()(para_pre_zero(y)),
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable expression
[INFO] [stdout]    --> src/fun/natp.rs:151:33
[INFO] [stdout]     |
[INFO] [stdout] 151 |         Left(eq_succ_n_zero) => imply::absurd()(para_pre_zero(eq_succ_n_zero)),
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^-----------------------------^
[INFO] [stdout]     |                                 |               |
[INFO] [stdout]     |                                 |               any code following this expression is unreachable
[INFO] [stdout]     |                                 unreachable expression
[INFO] [stdout]     |
[INFO] [stdout] note: this expression has type `False`, which is uninhabited
[INFO] [stdout]    --> src/fun/natp.rs:151:49
[INFO] [stdout]     |
[INFO] [stdout] 151 |         Left(eq_succ_n_zero) => imply::absurd()(para_pre_zero(eq_succ_n_zero)),
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0554`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `prop` (lib) due to 1 previous error; 19 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "3d02923e84d2445291ffa25fed8e607a2335a083aefcb6c17d35f26f6c7522eb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3d02923e84d2445291ffa25fed8e607a2335a083aefcb6c17d35f26f6c7522eb", kill_on_drop: false }`
[INFO] [stdout] 3d02923e84d2445291ffa25fed8e607a2335a083aefcb6c17d35f26f6c7522eb
