[INFO] updating cached repository https://github.com/bwasty/teth
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune", kill_on_drop: false }`
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 87b2f06d4ea93d26e08f03142b59d568f39e04bd
[INFO] documenting bwasty/teth against master#394e1b40d264aa6928811919c1124fa248e7d802 for pr-73566
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbwasty%2Fteth" "/workspace/builds/worker-7/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/bwasty/teth on toolchain 394e1b40d264aa6928811919c1124fa248e7d802
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+394e1b40d264aa6928811919c1124fa248e7d802" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/bwasty/teth
[INFO] finished tweaking git repo https://github.com/bwasty/teth
[INFO] tweaked toml for git repo https://github.com/bwasty/teth written to /workspace/builds/worker-7/source/Cargo.toml
[INFO] crate git repo https://github.com/bwasty/teth already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+394e1b40d264aa6928811919c1124fa248e7d802" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env@sha256:819119df93c0f5eca3f29186f14981ef29945a311854d7222af07488600a2584" "/opt/rustwide/cargo-home/bin/cargo" "+394e1b40d264aa6928811919c1124fa248e7d802" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] bd0d880641d00d3223b601515db3aaa0a582c3c4eb21d334a8f86da3b6d684e0
[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" "bd0d880641d00d3223b601515db3aaa0a582c3c4eb21d334a8f86da3b6d684e0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "bd0d880641d00d3223b601515db3aaa0a582c3c4eb21d334a8f86da3b6d684e0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bd0d880641d00d3223b601515db3aaa0a582c3c4eb21d334a8f86da3b6d684e0", kill_on_drop: false }`
[INFO] [stdout] bd0d880641d00d3223b601515db3aaa0a582c3c4eb21d334a8f86da3b6d684e0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env@sha256:819119df93c0f5eca3f29186f14981ef29945a311854d7222af07488600a2584" "/opt/rustwide/cargo-home/bin/cargo" "+394e1b40d264aa6928811919c1124fa248e7d802" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f31d1d7f012236dfdc606b2336292c594ed38c4576cebbf0a1ca2b3552e15b4d
[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" "f31d1d7f012236dfdc606b2336292c594ed38c4576cebbf0a1ca2b3552e15b4d", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.50
[INFO] [stderr]     Checking cfg-if v0.1.7
[INFO] [stderr]    Compiling autocfg v0.1.2
[INFO] [stderr]    Compiling byteorder v1.3.1
[INFO] [stderr]     Checking rand_core v0.4.0
[INFO] [stderr]    Compiling proc-macro2 v0.4.27
[INFO] [stderr]    Compiling unicode-xid v0.1.0
[INFO] [stderr]     Checking lazy_static v1.3.0
[INFO] [stderr]    Compiling heapsize v0.4.2
[INFO] [stderr]     Checking futures v0.1.25
[INFO] [stderr]    Compiling serde v1.0.89
[INFO] [stderr]     Checking slab v0.4.2
[INFO] [stderr]    Compiling crunchy v0.1.6
[INFO] [stderr]    Compiling semver-parser v0.7.0
[INFO] [stderr]     Checking smallvec v0.6.9
[INFO] [stderr]     Checking scopeguard v0.3.3
[INFO] [stderr]     Checking rustc-hex v2.0.1
[INFO] [stderr]     Checking lazycell v1.2.1
[INFO] [stderr]     Checking stable_deref_trait v1.1.1
[INFO] [stderr]    Compiling arrayvec v0.4.10
[INFO] [stderr]     Checking fnv v1.0.6
[INFO] [stderr]    Compiling cc v1.0.26
[INFO] [stderr]     Checking nodrop v0.1.13
[INFO] [stderr]     Checking memoffset v0.2.1
[INFO] [stderr]    Compiling memchr v2.2.0
[INFO] [stderr]    Compiling ryu v0.2.7
[INFO] [stderr]    Compiling crunchy v0.2.1
[INFO] [stderr]     Checking matches v0.1.8
[INFO] [stderr]     Checking ucd-util v0.1.3
[INFO] [stderr]    Compiling regex v1.1.2
[INFO] [stderr]    Compiling version_check v0.1.5
[INFO] [stderr]     Checking parity-bytes v0.1.0
[INFO] [stderr]    Compiling httparse v1.3.3
[INFO] [stderr]     Checking utf8-ranges v1.0.2
[INFO] [stderr]     Checking itoa v0.4.3
[INFO] [stderr]     Checking unicode-width v0.1.5
[INFO] [stderr]    Compiling unicode-segmentation v1.2.1
[INFO] [stderr]     Checking percent-encoding v1.0.1
[INFO] [stderr]     Checking rustc-demangle v0.1.13
[INFO] [stderr]     Checking hashdb v0.3.0
[INFO] [stderr]     Checking strsim v0.7.0
[INFO] [stderr]     Checking sha1 v0.6.0
[INFO] [stderr]     Checking bitflags v1.0.4
[INFO] [stderr]     Checking static_assertions v0.2.5
[INFO] [stderr]     Checking hash-db v0.11.0
[INFO] [stderr]     Checking log v0.4.6
[INFO] [stderr]     Checking crossbeam-utils v0.6.5
[INFO] [stderr]     Checking thread_local v0.3.6
[INFO] [stderr]     Checking rand_core v0.3.1
[INFO] [stderr]     Checking rand_jitter v0.1.3
[INFO] [stderr]     Checking owning_ref v0.4.0
[INFO] [stderr]    Compiling semver v0.9.0
[INFO] [stderr]     Checking unicode-normalization v0.1.8
[INFO] [stderr]     Checking unicode-bidi v0.3.4
[INFO] [stderr]     Checking regex-syntax v0.6.5
[INFO] [stderr]    Compiling rand_chacha v0.1.1
[INFO] [stderr]    Compiling rand_pcg v0.1.2
[INFO] [stderr]    Compiling rand v0.6.5
[INFO] [stderr]    Compiling backtrace v0.3.14
[INFO] [stderr]     Checking textwrap v0.10.0
[INFO] [stderr]     Checking rand_isaac v0.1.1
[INFO] [stderr]     Checking rand_hc v0.1.0
[INFO] [stderr]     Checking rand_xorshift v0.1.1
[INFO] [stderr]     Checking log v0.3.9
[INFO] [stderr]     Checking lock_api v0.1.5
[INFO] [stderr]    Compiling heck v0.3.1
[INFO] [stderr]    Compiling unicase v2.3.0
[INFO] [stderr]     Checking crossbeam-queue v0.1.2
[INFO] [stderr]    Compiling rustc_version v0.2.3
[INFO] [stderr]     Checking tiny-keccak v1.4.2
[INFO] [stderr]     Checking plain_hasher v0.2.0
[INFO] [stderr]     Checking elastic-array v0.10.2
[INFO] [stderr]     Checking hash256-std-hasher v0.11.0
[INFO] [stderr]     Checking tokio-executor v0.1.6
[INFO] [stderr]     Checking tokio-sync v0.1.3
[INFO] [stderr]     Checking uint v0.4.1
[INFO] [stderr]     Checking crossbeam-epoch v0.7.1
[INFO] [stderr]     Checking keccak-hasher v0.11.0
[INFO] [stderr]     Checking iovec v0.1.2
[INFO] [stderr]     Checking rand_os v0.1.3
[INFO] [stderr]     Checking rand v0.4.6
[INFO] [stderr]     Checking net2 v0.2.33
[INFO] [stderr]     Checking num_cpus v1.10.0
[INFO] [stderr]     Checking rand v0.5.6
[INFO] [stderr]     Checking atty v0.2.11
[INFO] [stderr]     Checking tokio-timer v0.2.10
[INFO] [stderr]     Checking tokio-current-thread v0.1.5
[INFO] [stderr]     Checking aho-corasick v0.6.10
[INFO] [stderr]    Compiling quote v0.6.11
[INFO] [stderr]    Compiling parking_lot_core v0.4.0
[INFO] [stderr]     Checking bytes v0.4.12
[INFO] [stderr]     Checking hashdb v0.2.1
[INFO] [stderr]     Checking kvdb v0.1.0
[INFO] [stderr]     Checking clap v2.32.0
[INFO] [stderr]     Checking crossbeam-deque v0.7.1
[INFO] [stderr]    Compiling syn v0.15.27
[INFO] [stderr]     Checking mio v0.6.16
[INFO] [stderr]     Checking idna v0.1.5
[INFO] [stderr]    Compiling backtrace-sys v0.1.28
[INFO] [stderr]    Compiling secp256k1 v0.12.2
[INFO] [stderr]     Checking tokio-io v0.1.12
[INFO] [stderr]     Checking fixed-hash v0.2.5
[INFO] [stderr]     Checking patricia-trie v0.2.2
[INFO] [stderr]     Checking patricia-trie v0.3.0
[INFO] [stderr]     Checking url v1.7.2
[INFO] [stderr]     Checking mio-uds v0.6.7
[INFO] [stderr]     Checking mio-extras v2.0.5
[INFO] [stderr]     Checking tokio-codec v0.1.1
[INFO] [stderr]     Checking fixed-hash v0.3.0
[INFO] [stderr]     Checking tokio-threadpool v0.1.12
[INFO] [stderr]     Checking parking_lot v0.7.1
[INFO] [stderr]     Checking error-chain v0.12.0
[INFO] [stderr]     Checking tokio-reactor v0.1.9
[INFO] [stderr]     Checking parity-ws v0.8.0
[INFO] [stderr]     Checking tokio-fs v0.1.6
[INFO] [stderr]     Checking tokio-uds v0.2.5
[INFO] [stderr]     Checking tokio-udp v0.1.3
[INFO] [stderr]     Checking tokio-tcp v0.1.3
[INFO] [stderr]     Checking tokio v0.1.16
[INFO] [stderr]     Checking globset v0.4.2
[INFO] [stderr]    Compiling serde_derive v1.0.89
[INFO] [stderr]    Compiling structopt-derive v0.2.14
[INFO] [stderr]    Compiling jsonrpc-derive v10.1.0
[INFO] [stderr]     Checking structopt v0.2.14
[INFO] [stderr]     Checking ethereum-types-serialize v0.2.2
[INFO] [stderr]     Checking serde_json v1.0.39
[INFO] [stderr]     Checking ethbloom v0.5.3
[INFO] [stderr]     Checking ethbloom v0.6.2
[INFO] [stderr]     Checking ethereum-types v0.4.2
[INFO] [stderr]     Checking jsonrpc-core v10.1.0
[INFO] [stderr]     Checking jsonrpc-server-utils v10.1.0
[INFO] [stderr]     Checking keccak-hasher v0.1.1
[INFO] [stderr]     Checking rlp v0.3.0
[INFO] [stderr]     Checking rlp v0.2.4
[INFO] [stderr]     Checking memorydb v0.3.0
[INFO] [stderr]     Checking jsonrpc-ws-server v10.1.0
[INFO] [stderr]     Checking patricia-trie-ethereum v0.1.0
[INFO] [stderr]  Documenting teth v0.0.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: `[a]` cannot be resolved, ignoring it.
[INFO] [stdout]  --> src/lib/accountstate.rs:7:7
[INFO] [stdout]   |
[INFO] [stdout] 7 | /// σ[a]
[INFO] [stdout]   |       ^ cannot be resolved, ignoring
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(intra_doc_link_resolution_failure)]` on by default
[INFO] [stdout]   = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `[a]` cannot be resolved, ignoring it.
[INFO] [stdout]   --> src/lib/accountstate.rs:12:93
[INFO] [stdout]    |
[INFO] [stdout] 12 |     /// this account. For account of address a in state σ, this would be formally denoted σ[a]<sub>n</sub>.
[INFO] [stdout]    |                                                                                             ^ cannot be resolved, ignoring
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `[a]` cannot be resolved, ignoring it.
[INFO] [stdout]   --> src/lib/accountstate.rs:14:93
[INFO] [stdout]    |
[INFO] [stdout] 14 |     /// A scalar value equal to the number of Wei owned by this address. Formally denoted σ[a]<sub>b</sub>.
[INFO] [stdout]    |                                                                                             ^ cannot be resolved, ignoring
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `[a]` cannot be resolved, ignoring it.
[INFO] [stdout]   --> src/lib/accountstate.rs:19:48
[INFO] [stdout]    |
[INFO] [stdout] 19 |     /// values. The hash is formally denoted σ[a]<sub>s</sub>.
[INFO] [stdout]    |                                                ^ cannot be resolved, ignoring
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `[a]` cannot be resolved, ignoring it.
[INFO] [stdout]   --> src/lib/accountstate.rs:20:46
[INFO] [stdout]    |
[INFO] [stdout] 20 |     /// TODO?: It shall be understood that σ[a]<sub>s</sub> is not a ‘physical’ member of the account and does
[INFO] [stdout]    |                                              ^ cannot be resolved, ignoring
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `[a]` cannot be resolved, ignoring it.
[INFO] [stdout]   --> src/lib/accountstate.rs:26:95
[INFO] [stdout]    |
[INFO] [stdout] 26 |     /// under their corresponding hashes for later retrieval. This hash is formally denoted σ[a]<sub>c</sub>,
[INFO] [stdout]    |                                                                                               ^ cannot be resolved, ignoring
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `[a]` cannot be resolved, ignoring it.
[INFO] [stdout]   --> src/lib/accountstate.rs:27:70
[INFO] [stdout]    |
[INFO] [stdout] 27 |     /// and thus the code may be denoted as b, given that KEC(b) = σ[a]<sub>c</sub>.
[INFO] [stdout]    |                                                                      ^ cannot be resolved, ignoring
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `[a]` cannot be resolved, ignoring it.
[INFO] [stdout]   --> src/lib/worldstate.rs:40:24
[INFO] [stdout]    |
[INFO] [stdout] 40 |     /// DEAD(σ, a) ≡ σ[a] = ∅ ∨ EMPTY(σ, a)
[INFO] [stdout]    |                        ^ cannot be resolved, ignoring
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `[a]` cannot be resolved, ignoring it.
[INFO] [stdout]  --> src/lib/accountstate.rs:7:7
[INFO] [stdout]   |
[INFO] [stdout] 7 | /// σ[a]
[INFO] [stdout]   |       ^ cannot be resolved, ignoring
[INFO] [stdout]   |
[INFO] [stdout]   = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `[a]` cannot be resolved, ignoring it.
[INFO] [stdout]   --> src/lib/accountstate.rs:53:82
[INFO] [stdout]    |
[INFO] [stdout] 53 |     /// If the codeHash field is the Keccak-256 hash of the empty string, i.e. σ[a]<sub>c</sub> = KEC(()),
[INFO] [stdout]    |                                                                                  ^ cannot be resolved, ignoring
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `[a]` cannot be resolved, ignoring it.
[INFO] [stdout]   --> src/lib/accountstate.rs:61:25
[INFO] [stdout]    |
[INFO] [stdout] 61 |     /// EMPTY(σ, a) ≡ σ[a]<sub>c</sub> = KEC(()) ∧ σ[a]<sub>n</sub> = 0 ∧ σ[a]<sub>b</sub> = 0
[INFO] [stdout]    |                         ^ cannot be resolved, ignoring
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `[a]` cannot be resolved, ignoring it.
[INFO] [stdout]   --> src/lib/accountstate.rs:61:54
[INFO] [stdout]    |
[INFO] [stdout] 61 |     /// EMPTY(σ, a) ≡ σ[a]<sub>c</sub> = KEC(()) ∧ σ[a]<sub>n</sub> = 0 ∧ σ[a]<sub>b</sub> = 0
[INFO] [stdout]    |                                                      ^ cannot be resolved, ignoring
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `[a]` cannot be resolved, ignoring it.
[INFO] [stdout]   --> src/lib/accountstate.rs:61:77
[INFO] [stdout]    |
[INFO] [stdout] 61 |     /// EMPTY(σ, a) ≡ σ[a]<sub>c</sub> = KEC(()) ∧ σ[a]<sub>n</sub> = 0 ∧ σ[a]<sub>b</sub> = 0
[INFO] [stdout]    |                                                                             ^ cannot be resolved, ignoring
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `[a]` cannot be resolved, ignoring it.
[INFO] [stdout]   --> src/lib/accountstate.rs:67:26
[INFO] [stdout]    |
[INFO] [stdout] 67 | /// p(a) ≡ KEC(a), RLP(σ[a]n, σ[a]b, σ[a]s, σ[a]c))
[INFO] [stdout]    |                          ^ cannot be resolved, ignoring
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `[a]` cannot be resolved, ignoring it.
[INFO] [stdout]   --> src/lib/accountstate.rs:67:33
[INFO] [stdout]    |
[INFO] [stdout] 67 | /// p(a) ≡ KEC(a), RLP(σ[a]n, σ[a]b, σ[a]s, σ[a]c))
[INFO] [stdout]    |                                 ^ cannot be resolved, ignoring
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `[a]` cannot be resolved, ignoring it.
[INFO] [stdout]   --> src/lib/accountstate.rs:67:40
[INFO] [stdout]    |
[INFO] [stdout] 67 | /// p(a) ≡ KEC(a), RLP(σ[a]n, σ[a]b, σ[a]s, σ[a]c))
[INFO] [stdout]    |                                        ^ cannot be resolved, ignoring
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `[a]` cannot be resolved, ignoring it.
[INFO] [stdout]   --> src/lib/accountstate.rs:67:47
[INFO] [stdout]    |
[INFO] [stdout] 67 | /// p(a) ≡ KEC(a), RLP(σ[a]n, σ[a]b, σ[a]s, σ[a]c))
[INFO] [stdout]    |                                               ^ cannot be resolved, ignoring
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 17 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1m 53s
[INFO] running `Command { std: "docker" "inspect" "f31d1d7f012236dfdc606b2336292c594ed38c4576cebbf0a1ca2b3552e15b4d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f31d1d7f012236dfdc606b2336292c594ed38c4576cebbf0a1ca2b3552e15b4d", kill_on_drop: false }`
[INFO] [stdout] f31d1d7f012236dfdc606b2336292c594ed38c4576cebbf0a1ca2b3552e15b4d