chalk-solve 0.58.0

Combines the chalk-engine with chalk-ir
Documentation
Build #352521 2021-02-21T01:02:52.005284+00:00
# rustc version
rustc 1.52.0-nightly (83b30a639 2021-02-20)# docs.rs version
docsrs 0.6.0 (e8a6303 2021-02-16)# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/chalk-solve-0.58.0/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/chalk-solve-0.58.0/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" "3221225472" "--cpus" "2" "--user" "1001:1001" "--network" "none" "rustops/crates-build-env@sha256:ce6408862c0f4858e6cd2b85b2cf085ff7d0d6323904d0a94b71664a228554ab" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "-Zunstable-options" "--config=doc.extern-map.registries.crates-io=\"https://docs.rs\"" "-j2" "--" "-Z" "unstable-options" "--resource-suffix" "-20210220-1.52.0-nightly-83b30a639" "--static-root-path" "/" "--cap-lints" "warn" "--disable-per-crate-search", kill_on_drop: false }`
[INFO] [stdout] 7f4ff441b38c5157c2d6e32049f36dd0215ad355acee015f4bf6ccaa020ac45a
[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" "7f4ff441b38c5157c2d6e32049f36dd0215ad355acee015f4bf6ccaa020ac45a", kill_on_drop: false }`
[INFO] [stderr] /opt/crates-build-env/entrypoint.sh: line 7: /etc/hosts: Permission denied
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling proc-macro2 v1.0.24
[INFO] [stderr]    Compiling unicode-xid v0.2.1
[INFO] [stderr]    Compiling syn v1.0.60
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]    Compiling libc v0.2.86
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]    Compiling log v0.4.14
[INFO] [stderr]    Compiling serde v1.0.123
[INFO] [stderr]     Checking regex-syntax v0.6.22
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]    Compiling serde_json v1.0.62
[INFO] [stderr]     Checking byteorder v1.4.2
[INFO] [stderr]     Checking pin-project-lite v0.2.4
[INFO] [stderr]    Compiling bitflags v1.2.1
[INFO] [stderr]     Checking itoa v0.4.7
[INFO] [stderr]     Checking once_cell v1.5.2
[INFO] [stderr]     Checking hashbrown v0.9.1
[INFO] [stderr]     Checking smallvec v1.6.1
[INFO] [stderr]     Checking ansi_term v0.12.1
[INFO] [stderr]     Checking termcolor v1.1.2
[INFO] [stderr]     Checking fixedbitset v0.2.0
[INFO] [stderr]     Checking either v1.6.1
[INFO] [stderr]     Checking rustc-hash v1.1.0
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling num-integer v0.1.44
[INFO] [stderr]    Compiling indexmap v1.6.1
[INFO] [stderr]     Checking tracing-core v0.1.17
[INFO] [stderr]     Checking sharded-slab v0.1.1
[INFO] [stderr]     Checking thread_local v1.1.3
[INFO] [stderr]     Checking regex-automata v0.1.9
[INFO] [stderr]     Checking regex v1.4.3
[INFO] [stderr]     Checking itertools v0.9.0
[INFO] [stderr]     Checking matchers v0.0.1
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]     Checking tracing-log v0.1.2
[INFO] [stderr]     Checking ena v0.14.0
[INFO] [stderr]     Checking time v0.1.44
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking petgraph v0.5.1
[INFO] [stderr]     Checking tracing-serde v0.1.2
[INFO] [stderr]     Checking chrono v0.4.19
[INFO] [stderr]    Compiling synstructure v0.12.4
[INFO] [stderr]    Compiling tracing-attributes v0.1.13
[INFO] [stderr]    Compiling chalk-derive v0.58.0
[INFO] [stderr]     Checking chalk-ir v0.58.0
[INFO] [stderr]     Checking tracing v0.1.24
[INFO] [stderr]     Checking tracing-subscriber v0.2.16
[INFO] [stderr]     Checking tracing-tree v0.1.7
[INFO] [stderr]  Documenting chalk-solve v0.58.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: unresolved link to `chalk_ir::Interner`
[INFO] [stderr]   --> src/display/utils.rs:27:47
[INFO] [stderr]    |
[INFO] [stderr] 27 | /// Processes a name given by an [`Interner`][chalk_ir::Interner] debug
[INFO] [stderr]    |                                               ^^^^^^^^^^^^^^^^^^ no item named `Interner` in module `chalk_ir`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(broken_intra_doc_links)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unresolved link to `chalk_ir::Interner`
[INFO] [stderr]   --> src/display/utils.rs:27:47
[INFO] [stderr]    |
[INFO] [stderr] 27 | /// Processes a name given by an [`Interner`][chalk_ir::Interner] debug
[INFO] [stderr]    |                                               ^^^^^^^^^^^^^^^^^^ no item named `Interner` in module `chalk_ir`
[INFO] [stderr] 
[INFO] [stderr] warning: unresolved link to `1`
[INFO] [stderr]   --> src/infer/invert.rs:21:36
[INFO] [stderr]    |
[INFO] [stderr] 21 |     /// negation-as-failure paper [1], where negative goals are only
[INFO] [stderr]    |                                    ^ no item named `1` in scope
[INFO] [stderr]    |
[INFO] [stderr]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stderr] 
[INFO] [stderr] warning: unresolved link to `1`
[INFO] [stderr]   --> src/infer/invert.rs:24:10
[INFO] [stderr]    |
[INFO] [stderr] 24 |     /// [1] https://www.doc.ic.ac.uk/~klc/NegAsFailure.pdf
[INFO] [stderr]    |          ^ no item named `1` in scope
[INFO] [stderr]    |
[INFO] [stderr]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stderr] 
[INFO] [stderr] warning: this URL is not a hyperlink
[INFO] [stderr]   --> src/infer/invert.rs:24:13
[INFO] [stderr]    |
[INFO] [stderr] 24 |     /// [1] https://www.doc.ic.ac.uk/~klc/NegAsFailure.pdf
[INFO] [stderr]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use an automatic link instead: `<https://www.doc.ic.ac.uk/~klc/NegAsFailure.pdf>`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(non_autolinks)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: 5 warnings emitted
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 38.90s
[INFO] running `Command { std: "docker" "inspect" "7f4ff441b38c5157c2d6e32049f36dd0215ad355acee015f4bf6ccaa020ac45a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7f4ff441b38c5157c2d6e32049f36dd0215ad355acee015f4bf6ccaa020ac45a", kill_on_drop: false }`
[INFO] [stdout] 7f4ff441b38c5157c2d6e32049f36dd0215ad355acee015f4bf6ccaa020ac45a