lambda-types 0.2.1

Puts the lambda calculus in Rust...'s type system.
Documentation

Build #4334216 2026-09-05 05:33:31

# rustc version rustc 1.100.0-nightly (0ed41eb41 2026-09-04)

# docs.rs version docsrs 0.0.0 (c6ca30c0fecf66cc5a0859ac541222ca6c912d59 2026-09-01 )

# 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" "3d326b6556775620d39dc48b35411c93d800029226271e5ca45a6ff77acc9a22" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=html-non-static-files\", \"--resource-suffix\", \"-20260904-1.100.0-nightly-0ed41eb41\", \"--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\"" "-j12" "--target" "x86_64-unknown-linux-gnu" "-Zrustdoc-scrape-examples", kill_on_drop: false }` [INFO] [stderr] warning: explicit `package.readme` can be inferred [INFO] [stderr] --> Cargo.toml:25:1 [INFO] [stderr] | [INFO] [stderr] 25 | readme = "README.md" [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::manual_readme` is set to `warn` by default [INFO] [stderr] help: consider removing `package.readme` [INFO] [stderr] warning: `lambda-types` (manifest) generated 1 warning [INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op [INFO] [stderr] Documenting lambda-types v0.2.1 (/opt/rustwide/workdir) [INFO] [stderr] warning: `feature(generic_const_exprs)` is not supported with the next-generation trait solver [INFO] [stderr] --> src/lib.rs:1:58 [INFO] [stderr] | [INFO] [stderr] 1 | #![cfg_attr(any(doc, feature = "const-numeral"), feature(generic_const_exprs))] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `-Znext-solver=globally` is currently enabled by default for testing [INFO] [stderr] = note: reverted the setting to `-Znext-solver=coherence` for this crate [INFO] [stderr] = note: the currently stable trait solver will be used for this crate [INFO] [stderr] = note: see issues #160895 <https://github.com/rust-lang/rust/issues/160895> for more information [INFO] [stderr] [INFO] [stderr] warning: the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes [INFO] [stderr] --> src/lib.rs:1:58 [INFO] [stderr] | [INFO] [stderr] 1 | #![cfg_attr(any(doc, feature = "const-numeral"), feature(generic_const_exprs))] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: see issue #76560 <https://github.com/rust-lang/rust/issues/76560> for more information [INFO] [stderr] = note: `#[warn(incomplete_features)]` on by default [INFO] [stderr] [INFO] [stderr] warning: `lambda-types` (lib doc) generated 2 warnings [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.43s [INFO] [stderr] Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/lambda_types/index.html [INFO] running `Command { std: "docker" "inspect" "3d326b6556775620d39dc48b35411c93d800029226271e5ca45a6ff77acc9a22", kill_on_drop: false }`