Build failed. If you want to re-trigger a documentation build, you can do it here. You can find more information on docs.rs builds documentation on the builds page.
# error kind ExecutionFailed
# pre-build errors command failed: exit status: 101
# rustc version rustc 1.98.0-nightly (b30f3df3b 2026-06-11)
# docs.rs version docsrs 0.0.0 (39849b9c22c419f6b690c8d2213455bc7426a6b8 2026-06-03 )
# build log [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-w" "/opt/rustwide/workdir" "--user" "1001:1001" "97e7909bdeed8f06242722ee36503e5d2648f2b4ba5f3ffa2bef36703b306f17" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20260611-1.98.0-nightly-b30f3df3b\", \"--static-root-path\", \"/-/rustdoc.static/\", \"--cap-lints\", \"warn\", \"--extern-html-root-takes-precedence\"]" "--offline" "-Zunstable-options" "--config=doc.extern-map.registries.crates-io=\"https://docs.rs/{pkg_name}/{version}/x86_64-unknown-linux-gnu\"" "-Zrustdoc-scrape-examples" "-j6" "--target" "x86_64-unknown-linux-gnu", kill_on_drop: false }` [INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op [INFO] [stderr] Checking logicrs v0.6.1 [INFO] [stderr] error[E0277]: the trait bound `term::Term: Residual<()>` is not satisfied [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/logicrs-0.6.1/src/fol/utils.rs:185:21 [INFO] [stderr] | [INFO] [stderr] 185 | type Residual = Term; [INFO] [stderr] | ^^^^ unsatisfied trait bound [INFO] [stderr] | [INFO] [stderr] help: the nightly-only, unstable trait `Residual<()>` is not implemented for `term::Term` [INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/logicrs-0.6.1/src/fol/term.rs:16:1 [INFO] [stderr] | [INFO] [stderr] 16 | pub struct Term { [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] help: the following other types implement trait `Residual<O>` [INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/option.rs:2810:1 [INFO] [stderr] | [INFO] [stderr] 2810 | const impl<T> ops::Residual<T> for Option<convert::Infallible> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `Option<Infallible>` implements `Residual<T>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/ops/control_flow.rs:138:1 [INFO] [stderr] | [INFO] [stderr] 138 | const impl<B, C> ops::Residual<C> for ControlFlow<B, convert::Infallible> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ControlFlow<B, Infallible>` implements `Residual<C>` [INFO] [stderr] | [INFO] [stderr] ::: /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/result.rs:2208:1 [INFO] [stderr] | [INFO] [stderr] 2208 | const impl<T, E> ops::Residual<T> for Result<convert::Infallible, E> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `Result<Infallible, E>` implements `Residual<T>` [INFO] [stderr] note: required by a bound in `std::ops::Try::Residual` [INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/ops/try_trait.rs:160:20 [INFO] [stderr] | [INFO] [stderr] 160 | type Residual: Residual<Self::Output>; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Try::Residual` [INFO] [stderr] [INFO] [stderr] For more information about this error, try `rustc --explain E0277`. [INFO] [stderr] error: could not compile `logicrs` (lib) due to 1 previous error [INFO] running `Command { std: "docker" "inspect" "97e7909bdeed8f06242722ee36503e5d2648f2b4ba5f3ffa2bef36703b306f17", kill_on_drop: false }`