lambda-types 0.2.1

Puts the lambda calculus in Rust...'s type system.
Documentation
Build #2123245 2025-05-17 19:58:38
# rustc version
rustc 1.89.0-nightly (16d2276fa 2025-05-16)# docs.rs version
docsrs 0.6.0 (d8ea4838 2025-05-14)# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/lambda-types-0.2.1/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/lambda-types-0.2.1/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "6442450944" "--cpus" "6" "--user" "1001:1001" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20250516-1.89.0-nightly-16d2276fa\", \"--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" "--config" "build.rustdocflags=[\"-Zmetrics-dir=/opt/rustwide/target/metrics\"]", kill_on_drop: false }`
[INFO] [stdout] c1210d84b93d92802b5c0f36f2684b19c69752d96fedfa2337628dbe0a667997
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "c1210d84b93d92802b5c0f36f2684b19c69752d96fedfa2337628dbe0a667997", kill_on_drop: false }`
[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: 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 1 warning
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.59s
[INFO] [stderr]    Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/lambda_types/index.html
[INFO] running `Command { std: "docker" "inspect" "c1210d84b93d92802b5c0f36f2684b19c69752d96fedfa2337628dbe0a667997", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c1210d84b93d92802b5c0f36f2684b19c69752d96fedfa2337628dbe0a667997", kill_on_drop: false }`
[INFO] [stdout] c1210d84b93d92802b5c0f36f2684b19c69752d96fedfa2337628dbe0a667997