rusttyc 0.3.2

A library for writing type checkers with a lattice-like type system in rust.
Documentation
Build #285476 2020-08-24T17:28:12.644576+00:00
# rustc version
rustc 1.47.0-nightly (5180f3da5 2020-08-23)
# docs.rs version
docsrs 0.6.0 (72dbbed 2020-08-22)

# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/rusttyc-0.3.2/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/rusttyc-0.3.2/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" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=-Z unstable-options --static-root-path / --cap-lints warn --resource-suffix -20200823-1.47.0-nightly-5180f3da5" "-e" "DOCS_RS=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "3221225472" "--cpus" "2" "--user" "1001:1001" "--network" "none" "rustops/crates-build-env@sha256:a636fd89d022f18117e1dc8fb37a0a009933cdbbe082814857f0e2024962d47c" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "doc" "--lib" "--no-deps" "-j2", kill_on_drop: false }`
[INFO] [stdout] 7b15f6449bf1f38970d95f3d10f13f414f6056e46c532f92ff7c0e968028f831
[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" "7b15f6449bf1f38970d95f3d10f13f414f6056e46c532f92ff7c0e968028f831", kill_on_drop: false }`
[INFO] [stderr] /opt/crates-build-env/entrypoint.sh: line 7: /etc/hosts: Permission denied
[INFO] [stderr]  Documenting rusttyc v0.3.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.24s
[INFO] running `Command { std: "docker" "inspect" "7b15f6449bf1f38970d95f3d10f13f414f6056e46c532f92ff7c0e968028f831", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7b15f6449bf1f38970d95f3d10f13f414f6056e46c532f92ff7c0e968028f831", kill_on_drop: false }`
[INFO] [stdout] 7b15f6449bf1f38970d95f3d10f13f414f6056e46c532f92ff7c0e968028f831