[INFO] fetching crate voile 0.2.6...
[INFO] documenting voile-0.2.6 against master#8afe9ff1caa97654c31fb8c259dac9fdf67d6302 for pr-151918-2
[INFO] extracting crate voile 0.2.6 into /workspace/builds/worker-6-tc1/source
[INFO] started tweaking crates.io crate voile 0.2.6
[INFO] finished tweaking crates.io crate voile 0.2.6
[INFO] tweaked toml for crates.io crate voile 0.2.6 written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate voile 0.2.6 on toolchain 8afe9ff1caa97654c31fb8c259dac9fdf67d6302
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate voile 0.2.6 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded pest_derive v2.1.0
[INFO] [stderr]   Downloaded pest_generator v2.1.3
[INFO] [stderr]   Downloaded sha-1 v0.8.2
[INFO] [stderr]   Downloaded quote v1.0.7
[INFO] [stderr]   Downloaded voile-util v0.2.2
[INFO] [stderr]   Downloaded pest_meta v2.1.3
[INFO] [stderr]   Downloaded minitt-util v0.2.4
[INFO] [stderr]   Downloaded redox_users v0.3.5
[INFO] [stderr]   Downloaded scopeguard v1.1.0
[INFO] [stderr]   Downloaded arrayref v0.3.6
[INFO] [stderr]   Downloaded heck v0.3.1
[INFO] [stderr]   Downloaded dirs-sys v0.3.5
[INFO] [stderr]   Downloaded ansi_term v0.11.0
[INFO] [stderr]   Downloaded hermit-abi v0.1.15
[INFO] [stderr]   Downloaded autocfg v1.0.1
[INFO] [stderr]   Downloaded getrandom v0.1.15
[INFO] [stderr]   Downloaded arrayvec v0.5.1
[INFO] [stderr]   Downloaded ucd-trie v0.1.3
[INFO] [stderr]   Downloaded structopt v0.3.17
[INFO] [stderr]   Downloaded rustyline v6.3.0
[INFO] [stderr]   Downloaded unicode-segmentation v1.6.0
[INFO] [stderr]   Downloaded syn v1.0.41
[INFO] [stderr]   Downloaded pest v2.1.3
[INFO] [stderr]   Downloaded nix v0.18.0
[INFO] [stderr]   Downloaded blake2b_simd v0.5.10
[INFO] [stderr]   Downloaded crossbeam-utils v0.7.2
[INFO] [stderr]   Downloaded rust-argon2 v0.8.2
[INFO] [stderr]   Downloaded dirs-sys-next v0.1.0
[INFO] [stderr]   Downloaded log v0.4.11
[INFO] [stderr]   Downloaded cc v1.0.60
[INFO] [stderr]   Downloaded typenum v1.12.0
[INFO] [stderr]   Downloaded clap v2.33.3
[INFO] [stderr]   Downloaded redox_syscall v0.1.57
[INFO] [stderr]   Downloaded byteorder v1.3.4
[INFO] [stderr]   Downloaded generic-array v0.12.3
[INFO] [stderr]   Downloaded libc v0.2.77
[INFO] [stderr]   Downloaded dirs-next v1.0.1
[INFO] [stderr]   Downloaded memchr v2.3.3
[INFO] [stderr]   Downloaded cfg-if v0.1.10
[INFO] [stderr]   Downloaded bitflags v1.2.1
[INFO] [stderr]   Downloaded structopt-derive v0.4.10
[INFO] [stderr]   Downloaded version_check v0.9.2
[INFO] [stderr]   Downloaded textwrap v0.11.0
[INFO] [stderr]   Downloaded unicode-width v0.1.8
[INFO] [stderr]   Downloaded dirs v2.0.2
[INFO] [stderr]   Downloaded atty v0.2.14
[INFO] [stderr]   Downloaded unicode-xid v0.2.1
[INFO] [stderr]   Downloaded utf8parse v0.2.0
[INFO] [stderr]   Downloaded strsim v0.8.0
[INFO] [stderr]   Downloaded maplit v1.0.2
[INFO] [stderr]   Downloaded proc-macro2 v1.0.21
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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" "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" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] dec1c3feda429a1fb8ae2f2069f7a8887c703f6e7f0b975373927f9a520cd134
[INFO] running `Command { std: "docker" "start" "-a" "dec1c3feda429a1fb8ae2f2069f7a8887c703f6e7f0b975373927f9a520cd134", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "dec1c3feda429a1fb8ae2f2069f7a8887c703f6e7f0b975373927f9a520cd134", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dec1c3feda429a1fb8ae2f2069f7a8887c703f6e7f0b975373927f9a520cd134", kill_on_drop: false }`
[INFO] [stdout] dec1c3feda429a1fb8ae2f2069f7a8887c703f6e7f0b975373927f9a520cd134
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e256c6728f6b2104e93b92fc6acb96052f06e9f99e61dcc21d936ce22f2fb1da
[INFO] running `Command { std: "docker" "start" "-a" "e256c6728f6b2104e93b92fc6acb96052f06e9f99e61dcc21d936ce22f2fb1da", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.21
[INFO] [stderr]    Compiling libc v0.2.77
[INFO] [stderr]    Compiling unicode-xid v0.2.1
[INFO] [stderr]    Compiling version_check v0.9.2
[INFO] [stderr]    Compiling syn v1.0.41
[INFO] [stderr]    Compiling bitflags v1.2.1
[INFO] [stderr]     Checking cfg-if v0.1.10
[INFO] [stderr]     Checking unicode-width v0.1.8
[INFO] [stderr]    Compiling ucd-trie v0.1.3
[INFO] [stderr]    Compiling log v0.4.11
[INFO] [stderr]    Compiling nix v0.18.0
[INFO] [stderr]    Compiling memchr v2.3.3
[INFO] [stderr]    Compiling maplit v1.0.2
[INFO] [stderr]    Compiling pest v2.1.3
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling unicode-segmentation v1.6.0
[INFO] [stderr]     Checking textwrap v0.11.0
[INFO] [stderr]     Checking vec_map v0.8.2
[INFO] [stderr]     Checking ansi_term v0.11.0
[INFO] [stderr]     Checking strsim v0.8.0
[INFO] [stderr]    Compiling heck v0.3.1
[INFO] [stderr]    Compiling quote v1.0.7
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]     Checking utf8parse v0.2.0
[INFO] [stderr]     Checking dirs-sys-next v0.1.0
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking dirs-sys v0.3.5
[INFO] [stderr]     Checking clap v2.33.3
[INFO] [stderr]     Checking dirs v2.0.2
[INFO] [stderr]     Checking dirs-next v1.0.1
[INFO] [stderr]    Compiling pest_meta v2.1.3
[INFO] [stderr]    Compiling pest_generator v2.1.3
[INFO] [stderr]    Compiling structopt-derive v0.4.10
[INFO] [stderr]     Checking rustyline v6.3.0
[INFO] [stderr]    Compiling pest_derive v2.1.0
[INFO] [stderr]     Checking voile-util v0.2.2
[INFO] [stderr]     Checking structopt v0.3.17
[INFO] [stderr]     Checking minitt-util v0.2.4
[INFO] [stderr]  Documenting voile v0.2.6 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking voile v0.2.6 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `self::ast_cons::*`
[INFO] [stdout]  --> src/syntax/core/mod.rs:4:9
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub use self::ast_cons::*;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `self::pretty::*`
[INFO] [stdout]  --> src/syntax/core/mod.rs:7:9
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub use self::pretty::*;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `self::pretty::*`
[INFO] [stdout]  --> src/syntax/abs/mod.rs:2:9
[INFO] [stdout]   |
[INFO] [stdout] 2 | pub use self::pretty::*;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `self::expr::*`
[INFO] [stdout]  --> src/check/mod.rs:3:9
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub use self::expr::*;
[INFO] [stdout]   |         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `self::unify::*`
[INFO] [stdout]  --> src/check/mod.rs:4:9
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub use self::unify::*;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/lib.rs:50:20
[INFO] [stdout]    |
[INFO] [stdout] 50 | \newcommand{\Unit}[0]{\texttt{Rec} \\{ \\}}
[INFO] [stdout]    |                    ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout]    = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/lib.rs:51:20
[INFO] [stdout]    |
[INFO] [stdout] 51 | \newcommand{\Bool}[0]{\texttt{Sum} \\{ \texttt{true}: \Unit \mid \texttt{false}: \Unit \\}}
[INFO] [stdout]    |                    ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/lib.rs:63:20
[INFO] [stdout]    |
[INFO] [stdout] 63 | \newcommand{\Unit}[0]{\texttt{Unit}}
[INFO] [stdout]    |                    ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/lib.rs:64:20
[INFO] [stdout]    |
[INFO] [stdout] 64 | \newcommand{\Bool}[0]{\texttt{Bool}}
[INFO] [stdout]    |                    ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/lib.rs:77:18
[INFO] [stdout]    |
[INFO] [stdout] 77 | \newcommand{\xx}[0]{\texttt{X}}
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/lib.rs:78:17
[INFO] [stdout]    |
[INFO] [stdout] 78 | \newcommand{\T}[0]{\texttt{Rec} \\{\xx:A, ...=r\\}}
[INFO] [stdout]    |                 ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `reduce_with_dbi`
[INFO] [stdout]   --> src/syntax/core/redex.rs:13:46
[INFO] [stdout]    |
[INFO] [stdout] 13 |     /// prefer this over [`reduce_with_dbi`](reduce_with_dbi).
[INFO] [stdout]    |                                              ^^^^^^^^^^^^^^^ no item named `reduce_with_dbi` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]  --> src/check/mod.rs:9:20
[INFO] [stdout]   |
[INFO] [stdout] 9 | \\newcommand{\\xx}[0]{\\texttt{x}}
[INFO] [stdout]   |                    ^ no item named `0` in scope
[INFO] [stdout]   |
[INFO] [stdout]   = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/unify.rs:29:22
[INFO] [stdout]    |
[INFO] [stdout] 29 | \newcommand{\Gvdash}[0]{\Gamma \vdash}
[INFO] [stdout]    |                      ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]   --> src/check/unify.rs:30:20
[INFO] [stdout]    |
[INFO] [stdout] 30 | \newcommand{\tyck}[4]{#1 \vdash_\texttt{c} #2 : #3 \Rightarrow #4}
[INFO] [stdout]    |                    ^ no item named `4` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]   --> src/check/unify.rs:31:21
[INFO] [stdout]    |
[INFO] [stdout] 31 | \newcommand{\Gtyck}[3]{\tyck{\Gamma}{#1}{#2}{#3}}
[INFO] [stdout]    |                     ^ no item named `3` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/unify.rs:32:18
[INFO] [stdout]    |
[INFO] [stdout] 32 | \newcommand{\ty}[0]{\tau}
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/unify.rs:33:18
[INFO] [stdout]    |
[INFO] [stdout] 33 | \newcommand{\cA}[0]{\mathcal A}
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/unify.rs:34:18
[INFO] [stdout]    |
[INFO] [stdout] 34 | \newcommand{\cB}[0]{\mathcal B}
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/unify.rs:35:22
[INFO] [stdout]    |
[INFO] [stdout] 35 | \newcommand{\ctyLab}[0]{\gamma}
[INFO] [stdout]    |                      ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/unify.rs:36:23
[INFO] [stdout]    |
[INFO] [stdout] 36 | \newcommand{\clabVal}[0]{\delta}
[INFO] [stdout]    |                       ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/unify.rs:37:23
[INFO] [stdout]    |
[INFO] [stdout] 37 | \newcommand{\variant}[1]{\textbf{Sum}\\ \\{ #1 \\}}
[INFO] [stdout]    |                       ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/unify.rs:38:22
[INFO] [stdout]    |
[INFO] [stdout] 38 | \newcommand{\record}[1]{\textbf{Rec}\\ \\{ #1 \\}}
[INFO] [stdout]    |                      ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/unify.rs:73:22
[INFO] [stdout]    |
[INFO] [stdout] 73 | \newcommand{\Gvdash}[0]{\Gamma \vdash}
[INFO] [stdout]    |                      ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/unify.rs:74:18
[INFO] [stdout]    |
[INFO] [stdout] 74 | \newcommand{\cA}[0]{\mathcal A}
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/unify.rs:75:18
[INFO] [stdout]    |
[INFO] [stdout] 75 | \newcommand{\cB}[0]{\mathcal B}
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/check/unify.rs:76:25
[INFO] [stdout]    |
[INFO] [stdout] 76 | \newcommand{\recordext}[2]{\record{#1 \mid #2}}
[INFO] [stdout]    |                         ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/unify.rs:77:23
[INFO] [stdout]    |
[INFO] [stdout] 77 | \newcommand{\clabVal}[0]{\delta}
[INFO] [stdout]    |                       ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/unify.rs:78:22
[INFO] [stdout]    |
[INFO] [stdout] 78 | \newcommand{\recExt}[1]{\mid #1}
[INFO] [stdout]    |                      ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/check/unify.rs:79:26
[INFO] [stdout]    |
[INFO] [stdout] 79 | \newcommand{\variantext}[2]{\variant{#1 \mid #2}}
[INFO] [stdout]    |                          ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/unify.rs:207:18
[INFO] [stdout]     |
[INFO] [stdout] 207 | \newcommand{\xx}[0]{\texttt{x}}
[INFO] [stdout]     |                  ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/unify.rs:208:22
[INFO] [stdout]     |
[INFO] [stdout] 208 | \newcommand{\Gvdash}[0]{\Gamma \vdash}
[INFO] [stdout]     |                      ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]    --> src/check/unify.rs:260:22
[INFO] [stdout]     |
[INFO] [stdout] 260 | \newcommand{\casevS}[2]{\textbf{split}\\ #1\\ (#2)}
[INFO] [stdout]     |                      ^ no item named `2` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/unify.rs:261:22
[INFO] [stdout]     |
[INFO] [stdout] 261 | \newcommand{\caseTr}[0]{\text{ct}}
[INFO] [stdout]     |                      ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/unify.rs:262:23
[INFO] [stdout]     |
[INFO] [stdout] 262 | \newcommand{\clabVal}[0]{\delta}
[INFO] [stdout]     |                       ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]    --> src/check/unify.rs:263:24
[INFO] [stdout]     |
[INFO] [stdout] 263 | \newcommand{\caseextS}[2]{\textbf{split}\\ (#1)\\ \textbf{or}\\ #2}
[INFO] [stdout]     |                        ^ no item named `2` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/unify.rs:264:22
[INFO] [stdout]     |
[INFO] [stdout] 264 | \newcommand{\Gvdash}[0]{\Gamma \vdash}
[INFO] [stdout]     |                      ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]    --> src/check/unify.rs:265:22
[INFO] [stdout]     |
[INFO] [stdout] 265 | \newcommand{\recExt}[1]{\mid #1}
[INFO] [stdout]     |                      ^ no item named `1` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/mod.rs:29:24
[INFO] [stdout]    |
[INFO] [stdout] 29 | \\newcommand{\\checkD}[0]{\\vdash_\\texttt{d}}
[INFO] [stdout]    |                        ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/mod.rs:30:25
[INFO] [stdout]    |
[INFO] [stdout] 30 | \\newcommand{\\GcheckD}[0]{\\Gamma \\checkD}
[INFO] [stdout]    |                         ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/check/decl.rs:43:21
[INFO] [stdout]    |
[INFO] [stdout] 43 | \newcommand{\cdecl}[2]{#1 \vdash_\texttt{d} #2 \ \textbf{ok}}
[INFO] [stdout]    |                     ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/decl.rs:44:22
[INFO] [stdout]    |
[INFO] [stdout] 44 | \newcommand{\Gcdecl}[1]{\cdecl{\Gamma}{#1}}
[INFO] [stdout]    |                      ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]   --> src/check/decl.rs:45:21
[INFO] [stdout]    |
[INFO] [stdout] 45 | \newcommand{\infer}[3]{#1 \vdash_\texttt{i} #2 \Leftarrow #3}
[INFO] [stdout]    |                     ^ no item named `3` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/decl.rs:46:18
[INFO] [stdout]    |
[INFO] [stdout] 46 | \newcommand{\xx}[0]{\texttt{x}}
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]   --> src/check/decl.rs:47:20
[INFO] [stdout]    |
[INFO] [stdout] 47 | \newcommand{\tyck}[4]{#1 \vdash_\texttt{c} #2 : #3 \Rightarrow #4}
[INFO] [stdout]    |                    ^ no item named `4` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]   --> src/check/decl.rs:48:21
[INFO] [stdout]    |
[INFO] [stdout] 48 | \newcommand{\Gtyck}[3]{\tyck{\Gamma}{#1}{#2}{#3}}
[INFO] [stdout]    |                     ^ no item named `3` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/decl.rs:49:18
[INFO] [stdout]    |
[INFO] [stdout] 49 | \newcommand{\ty}[0]{\tau}
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/decl.rs:50:18
[INFO] [stdout]    |
[INFO] [stdout] 50 | \newcommand{\cA}[0]{\mathcal A}
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/decl.rs:51:18
[INFO] [stdout]    |
[INFO] [stdout] 51 | \newcommand{\cB}[0]{\mathcal B}
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/eval.rs:13:18
[INFO] [stdout]    |
[INFO] [stdout] 13 | \newcommand{\xx}[0]{\texttt{x}}
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/eval.rs:14:18
[INFO] [stdout]    |
[INFO] [stdout] 14 | \newcommand{\ty}[0]{\tau}
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/eval.rs:15:20
[INFO] [stdout]    |
[INFO] [stdout] 15 | \newcommand{\eval}[1]{\llbracket #1 \rrbracket} % {\texttt{eval}(#1)}
[INFO] [stdout]    |                    ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/eval.rs:16:20
[INFO] [stdout]    |
[INFO] [stdout] 16 | \newcommand{\piTy}[1]{\Pi \langle #1 \rangle}
[INFO] [stdout]    |                    ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/eval.rs:17:21
[INFO] [stdout]    |
[INFO] [stdout] 17 | \newcommand{\sigTy}[1]{\Sigma \langle #1 \rangle}
[INFO] [stdout]    |                     ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/eval.rs:18:23
[INFO] [stdout]    |
[INFO] [stdout] 18 | \newcommand{\variant}[1]{\textbf{Sum}\\ \\{ #1 \\}}
[INFO] [stdout]    |                       ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/eval.rs:19:22
[INFO] [stdout]    |
[INFO] [stdout] 19 | \newcommand{\record}[1]{\textbf{Rec}\\ \\{ #1 \\}}
[INFO] [stdout]    |                      ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/eval.rs:20:24
[INFO] [stdout]    |
[INFO] [stdout] 20 | \newcommand{\variantR}[1]{\mathbb{Sum}\\ #1}
[INFO] [stdout]    |                        ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/eval.rs:21:23
[INFO] [stdout]    |
[INFO] [stdout] 21 | \newcommand{\recordR}[1]{\mathbb{Rec}\\  #1}
[INFO] [stdout]    |                       ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/eval.rs:22:18
[INFO] [stdout]    |
[INFO] [stdout] 22 | \newcommand{\cA}[0]{\mathcal A}
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/eval.rs:23:18
[INFO] [stdout]    |
[INFO] [stdout] 23 | \newcommand{\cB}[0]{\mathcal B}
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/eval.rs:24:22
[INFO] [stdout]    |
[INFO] [stdout] 24 | \newcommand{\labels}[1]{\texttt{labels}(#1)}
[INFO] [stdout]    |                      ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/eval.rs:25:22
[INFO] [stdout]    |
[INFO] [stdout] 25 | \newcommand{\fields}[1]{\texttt{fields}(#1)}
[INFO] [stdout]    |                      ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/eval.rs:26:21
[INFO] [stdout]    |
[INFO] [stdout] 26 | \newcommand{\tyLab}[0]{\bar \gamma}
[INFO] [stdout]    |                     ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/eval.rs:27:22
[INFO] [stdout]    |
[INFO] [stdout] 27 | \newcommand{\labVal}[0]{\bar \delta}
[INFO] [stdout]    |                      ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/eval.rs:28:22
[INFO] [stdout]    |
[INFO] [stdout] 28 | \newcommand{\ctyLab}[0]{\gamma}
[INFO] [stdout]    |                      ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/eval.rs:29:23
[INFO] [stdout]    |
[INFO] [stdout] 29 | \newcommand{\clabVal}[0]{\delta}
[INFO] [stdout]    |                       ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/eval.rs:30:22
[INFO] [stdout]    |
[INFO] [stdout] 30 | \newcommand{\caseTr}[0]{\text{ct}}
[INFO] [stdout]    |                      ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/eval.rs:31:21
[INFO] [stdout]    |
[INFO] [stdout] 31 | \newcommand{\caseS}[1]{\langle #1 \rangle}
[INFO] [stdout]    |                     ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]   --> src/check/eval.rs:32:20
[INFO] [stdout]    |
[INFO] [stdout] 32 | \newcommand{\case}[4]{\textbf{case}\\ #1\\ #2: #3\\ \textbf{or}\\ #4}
[INFO] [stdout]    |                    ^ no item named `4` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/check/eval.rs:33:22
[INFO] [stdout]    |
[INFO] [stdout] 33 | \newcommand{\casevS}[2]{\textbf{split}\\ #1\\ (#2)}
[INFO] [stdout]    |                      ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/check/eval.rs:34:23
[INFO] [stdout]    |
[INFO] [stdout] 34 | \newcommand{\oneCase}[2]{#1\\ #2}
[INFO] [stdout]    |                       ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/check/eval.rs:35:24
[INFO] [stdout]    |
[INFO] [stdout] 35 | \newcommand{\oneCaseL}[2]{\oneCase{#1}{\langle #2 \rangle}}
[INFO] [stdout]    |                        ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/check/eval.rs:36:24
[INFO] [stdout]    |
[INFO] [stdout] 36 | \newcommand{\caseextS}[2]{\textbf{split}\\ (#1)\\ \textbf{or}\\ #2}
[INFO] [stdout]    |                        ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/eval.rs:37:23
[INFO] [stdout]    |
[INFO] [stdout] 37 | \newcommand{\nocases}[0]{\textbf{whatever}}
[INFO] [stdout]    |                       ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/check/eval.rs:38:25
[INFO] [stdout]    |
[INFO] [stdout] 38 | \newcommand{\recordext}[2]{\record{#1 \mid #2}}
[INFO] [stdout]    |                         ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/eval.rs:39:22
[INFO] [stdout]    |
[INFO] [stdout] 39 | \newcommand{\recExt}[1]{\mid #1}
[INFO] [stdout]    |                      ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/check/eval.rs:40:27
[INFO] [stdout]    |
[INFO] [stdout] 40 | \newcommand{\variantextS}[2]{\variant{#1, \ldots = #2}}
[INFO] [stdout]    |                           ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/check/eval.rs:41:26
[INFO] [stdout]    |
[INFO] [stdout] 41 | \newcommand{\recordextS}[2]{\record{#1, \ldots = #2}}
[INFO] [stdout]    |                          ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/check/eval.rs:42:26
[INFO] [stdout]    |
[INFO] [stdout] 42 | \newcommand{\variantext}[2]{\variant{#1 \mid #2}}
[INFO] [stdout]    |                          ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `k`
[INFO] [stdout]   --> src/check/eval.rs:51:35
[INFO] [stdout]    |
[INFO] [stdout] 51 |   [k.1] & \text{if} & \eval{a} = [k] \\\\
[INFO] [stdout]    |                                   ^ no item named `k` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `k`
[INFO] [stdout]   --> src/check/eval.rs:55:35
[INFO] [stdout]    |
[INFO] [stdout] 55 |   [k.2] & \text{if} & \eval{a} = [k] \\\\
[INFO] [stdout]    |                                   ^ no item named `k` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `k`
[INFO] [stdout]   --> src/check/eval.rs:61:44
[INFO] [stdout]    |
[INFO] [stdout] 61 |   [k\\ \eval{b}] & \text{if} & \eval{a} = [k] \\\\
[INFO] [stdout]    |                                            ^ no item named `k` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `k`
[INFO] [stdout]   --> src/check/eval.rs:66:80
[INFO] [stdout]    |
[INFO] [stdout] 66 |     [\casevS{k}{\oneCaseL{n}{\xx. \alpha}, \caseTr}] & \text{if} & \eval{b} = [k] \\\\
[INFO] [stdout]    |                                                                                ^ no item named `k` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `k`
[INFO] [stdout]   --> src/check/eval.rs:78:65
[INFO] [stdout]    |
[INFO] [stdout] 78 |   [\variantext{\labels{\tyLab_0}}{k}] & \text{if} & \eval{a} = [k] \\\\
[INFO] [stdout]    |                                                                 ^ no item named `k` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `k`
[INFO] [stdout]   --> src/check/eval.rs:84:64
[INFO] [stdout]    |
[INFO] [stdout] 84 |   [\recordext{\labels{\tyLab_0}}{k}] & \text{if} & \eval{a} = [k] \\\\
[INFO] [stdout]    |                                                                ^ no item named `k` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `k`
[INFO] [stdout]   --> src/check/eval.rs:95:68
[INFO] [stdout]    |
[INFO] [stdout] 95 |   [\\{ \fields{\labVal_0}\recExt{k} \\}] & \text{if} & \eval{a} = [k] \\\\
[INFO] [stdout]    |                                                                    ^ no item named `k` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `k`
[INFO] [stdout]   --> src/check/eval.rs:99:35
[INFO] [stdout]    |
[INFO] [stdout] 99 |   [k.n] & \text{if} & \eval{a} = [k] \\\\
[INFO] [stdout]    |                                   ^ no item named `k` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `k`
[INFO] [stdout]    --> src/check/eval.rs:107:71
[INFO] [stdout]     |
[INFO] [stdout] 107 |   \caseextS{\oneCaseL{n}{\xx. \eval{a}}}{k} & \text{if} & \eval{b} = [k] \\\\
[INFO] [stdout]     |                                                                       ^ no item named `k` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/mod.rs:47:22
[INFO] [stdout]    |
[INFO] [stdout] 47 | \\newcommand{\\tyck}[0]{\\vdash_\\texttt{c}}
[INFO] [stdout]    |                      ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/mod.rs:48:23
[INFO] [stdout]    |
[INFO] [stdout] 48 | \\newcommand{\\Gtyck}[0]{\\Gamma \\tyck}
[INFO] [stdout]    |                       ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/mod.rs:49:23
[INFO] [stdout]    |
[INFO] [stdout] 49 | \\newcommand{\\infer}[0]{\\vdash_\\texttt{i}}
[INFO] [stdout]    |                       ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/mod.rs:50:24
[INFO] [stdout]    |
[INFO] [stdout] 50 | \\newcommand{\\Ginfer}[0]{\\Gamma \\infer}
[INFO] [stdout]    |                        ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]   --> src/check/expr.rs:15:20
[INFO] [stdout]    |
[INFO] [stdout] 15 | \newcommand{\tyck}[4]{#1 \vdash_\texttt{c} #2 : #3 \Rightarrow #4}
[INFO] [stdout]    |                    ^ no item named `4` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]   --> src/check/expr.rs:16:21
[INFO] [stdout]    |
[INFO] [stdout] 16 | \newcommand{\Gtyck}[3]{\tyck{\Gamma}{#1}{#2}{#3}}
[INFO] [stdout]    |                     ^ no item named `3` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/expr.rs:17:20
[INFO] [stdout]    |
[INFO] [stdout] 17 | \newcommand{\eval}[1]{\llbracket #1 \rrbracket} % {\texttt{eval}(#1)}
[INFO] [stdout]    |                    ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]   --> src/check/expr.rs:18:22
[INFO] [stdout]    |
[INFO] [stdout] 18 | \newcommand{\cheval}[3]{#1 \vdash_\texttt{e} #2 \Rightarrow #3}
[INFO] [stdout]    |                      ^ no item named `3` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/check/expr.rs:19:23
[INFO] [stdout]    |
[INFO] [stdout] 19 | \newcommand{\Gcheval}[2]{\cheval{\Gamma}{#1}{#2}}
[INFO] [stdout]    |                       ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/expr.rs:20:20
[INFO] [stdout]    |
[INFO] [stdout] 20 | \newcommand{\subt}[0]{<:}
[INFO] [stdout]    |                    ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/expr.rs:21:18
[INFO] [stdout]    |
[INFO] [stdout] 21 | \newcommand{\xx}[0]{\texttt{x}}
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/expr.rs:22:18
[INFO] [stdout]    |
[INFO] [stdout] 22 | \newcommand{\ty}[0]{\tau}
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/expr.rs:23:20
[INFO] [stdout]    |
[INFO] [stdout] 23 | \newcommand{\piTy}[1]{\Pi \langle #1 \rangle}
[INFO] [stdout]    |                    ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/expr.rs:24:21
[INFO] [stdout]    |
[INFO] [stdout] 24 | \newcommand{\sigTy}[1]{\Sigma \langle #1 \rangle}
[INFO] [stdout]    |                     ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/check/expr.rs:25:25
[INFO] [stdout]    |
[INFO] [stdout] 25 | \newcommand{\recordext}[2]{\record{#1 \mid #2}}
[INFO] [stdout]    |                         ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/expr.rs:26:22
[INFO] [stdout]    |
[INFO] [stdout] 26 | \newcommand{\recExt}[1]{\mid #1}
[INFO] [stdout]    |                      ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/expr.rs:27:23
[INFO] [stdout]    |
[INFO] [stdout] 27 | \newcommand{\variant}[1]{\textbf{Sum}\ \{ #1 \}}
[INFO] [stdout]    |                       ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]   --> src/check/expr.rs:28:22
[INFO] [stdout]    |
[INFO] [stdout] 28 | \newcommand{\record}[1]{\textbf{Rec}\ \{ #1 \}}
[INFO] [stdout]    |                      ^ no item named `1` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/expr.rs:29:23
[INFO] [stdout]    |
[INFO] [stdout] 29 | \newcommand{\nocases}[0]{\textbf{whatever}}
[INFO] [stdout]    |                       ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]   --> src/check/expr.rs:30:20
[INFO] [stdout]    |
[INFO] [stdout] 30 | \newcommand{\case}[4]{\textbf{case}\\ #1\\ #2: #3\\ \textbf{or}\\ #4}
[INFO] [stdout]    |                    ^ no item named `4` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]   --> src/check/expr.rs:31:26
[INFO] [stdout]    |
[INFO] [stdout] 31 | \newcommand{\variantext}[2]{\variant{#1 \mid #2}}
[INFO] [stdout]    |                          ^ no item named `2` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/expr.rs:32:22
[INFO] [stdout]    |
[INFO] [stdout] 32 | \newcommand{\ctyLab}[0]{\gamma}
[INFO] [stdout]    |                      ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/expr.rs:33:18
[INFO] [stdout]    |
[INFO] [stdout] 33 | \newcommand{\cA}[0]{\mathcal A}
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/check/expr.rs:34:18
[INFO] [stdout]    |
[INFO] [stdout] 34 | \newcommand{\cB}[0]{\mathcal B}
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `k`
[INFO] [stdout]   --> src/check/expr.rs:65:18
[INFO] [stdout]    |
[INFO] [stdout] 65 |     \Gcheval{a}{[k]}
[INFO] [stdout]    |                  ^ no item named `k` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `k`
[INFO] [stdout]    --> src/check/expr.rs:102:30
[INFO] [stdout]     |
[INFO] [stdout] 102 |     \Gcheval{a}{\piTy{\xx : [k] . \cB}}
[INFO] [stdout]     |                              ^ no item named `k` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/expr.rs:335:18
[INFO] [stdout]     |
[INFO] [stdout] 335 | \newcommand{\ty}[0]{\tau}
[INFO] [stdout]     |                  ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]    --> src/check/expr.rs:336:20
[INFO] [stdout]     |
[INFO] [stdout] 336 | \newcommand{\tyck}[4]{#1 \vdash_\texttt{c} #2 : #3 \Rightarrow #4}
[INFO] [stdout]     |                    ^ no item named `4` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]    --> src/check/expr.rs:337:21
[INFO] [stdout]     |
[INFO] [stdout] 337 | \newcommand{\Gtyck}[3]{\tyck{\Gamma}{#1}{#2}{#3}}
[INFO] [stdout]     |                     ^ no item named `3` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]    --> src/check/expr.rs:338:22
[INFO] [stdout]     |
[INFO] [stdout] 338 | \newcommand{\cheval}[3]{#1 \vdash_\texttt{e} #2 \Rightarrow #3}
[INFO] [stdout]     |                      ^ no item named `3` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]    --> src/check/expr.rs:339:23
[INFO] [stdout]     |
[INFO] [stdout] 339 | \newcommand{\Gcheval}[2]{\cheval{\Gamma}{#1}{#2}}
[INFO] [stdout]     |                       ^ no item named `2` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]    --> src/check/expr.rs:340:23
[INFO] [stdout]     |
[INFO] [stdout] 340 | \newcommand{\variant}[1]{\textbf{Sum}\\ \\{ #1 \\}}
[INFO] [stdout]     |                       ^ no item named `1` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]    --> src/check/expr.rs:341:22
[INFO] [stdout]     |
[INFO] [stdout] 341 | \newcommand{\record}[1]{\textbf{Rec}\\ \\{ #1 \\}}
[INFO] [stdout]     |                      ^ no item named `1` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]    --> src/check/expr.rs:342:24
[INFO] [stdout]     |
[INFO] [stdout] 342 | \newcommand{\variantR}[1]{\mathbb{Sum}\ #1}
[INFO] [stdout]     |                        ^ no item named `1` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]    --> src/check/expr.rs:343:23
[INFO] [stdout]     |
[INFO] [stdout] 343 | \newcommand{\recordR}[1]{\mathbb{Rec}\  #1}
[INFO] [stdout]     |                       ^ no item named `1` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]    --> src/check/expr.rs:344:27
[INFO] [stdout]     |
[INFO] [stdout] 344 | \newcommand{\variantextS}[2]{\variant{#1, \ldots = #2}}
[INFO] [stdout]     |                           ^ no item named `2` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]    --> src/check/expr.rs:345:26
[INFO] [stdout]     |
[INFO] [stdout] 345 | \newcommand{\recordextS}[2]{\record{#1, \ldots = #2}}
[INFO] [stdout]     |                          ^ no item named `2` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/expr.rs:346:18
[INFO] [stdout]     |
[INFO] [stdout] 346 | \newcommand{\cA}[0]{\mathcal A}
[INFO] [stdout]     |                  ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]    --> src/check/expr.rs:411:20
[INFO] [stdout]     |
[INFO] [stdout] 411 | \newcommand{\tyck}[4]{#1 \vdash_\texttt{c} #2 : #3 \Rightarrow #4}
[INFO] [stdout]     |                    ^ no item named `4` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]    --> src/check/expr.rs:412:21
[INFO] [stdout]     |
[INFO] [stdout] 412 | \newcommand{\Gtyck}[3]{\tyck{\Gamma}{#1}{#2}{#3}}
[INFO] [stdout]     |                     ^ no item named `3` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]    --> src/check/expr.rs:413:20
[INFO] [stdout]     |
[INFO] [stdout] 413 | \newcommand{\eval}[1]{\llbracket #1 \rrbracket} % {\texttt{eval}(#1)}
[INFO] [stdout]     |                    ^ no item named `1` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]    --> src/check/expr.rs:414:21
[INFO] [stdout]     |
[INFO] [stdout] 414 | \newcommand{\infer}[3]{#1 \vdash_\texttt{i} #2 \Leftarrow #3}
[INFO] [stdout]     |                     ^ no item named `3` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]    --> src/check/expr.rs:415:22
[INFO] [stdout]     |
[INFO] [stdout] 415 | \newcommand{\Ginfer}[2]{\infer{\Gamma}{#1}{#2}}
[INFO] [stdout]     |                      ^ no item named `2` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/expr.rs:416:20
[INFO] [stdout]     |
[INFO] [stdout] 416 | \newcommand{\subt}[0]{<:}
[INFO] [stdout]     |                    ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/expr.rs:417:18
[INFO] [stdout]     |
[INFO] [stdout] 417 | \newcommand{\xx}[0]{\texttt{x}}
[INFO] [stdout]     |                  ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/expr.rs:418:18
[INFO] [stdout]     |
[INFO] [stdout] 418 | \newcommand{\ty}[0]{\tau}
[INFO] [stdout]     |                  ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]    --> src/check/expr.rs:419:20
[INFO] [stdout]     |
[INFO] [stdout] 419 | \newcommand{\piTy}[1]{\Pi \langle #1 \rangle}
[INFO] [stdout]     |                    ^ no item named `1` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]    --> src/check/expr.rs:420:21
[INFO] [stdout]     |
[INFO] [stdout] 420 | \newcommand{\sigTy}[1]{\Sigma \langle #1 \rangle}
[INFO] [stdout]     |                     ^ no item named `1` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/expr.rs:421:21
[INFO] [stdout]     |
[INFO] [stdout] 421 | \newcommand{\tyLab}[0]{\bar \gamma}
[INFO] [stdout]     |                     ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/expr.rs:422:22
[INFO] [stdout]     |
[INFO] [stdout] 422 | \newcommand{\ctyLab}[0]{\gamma}
[INFO] [stdout]     |                      ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/expr.rs:423:22
[INFO] [stdout]     |
[INFO] [stdout] 423 | \newcommand{\labVal}[0]{\bar \delta}
[INFO] [stdout]     |                      ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]    --> src/check/expr.rs:424:22
[INFO] [stdout]     |
[INFO] [stdout] 424 | \newcommand{\record}[1]{\textbf{Rec}\\ \\{ #1 \\}}
[INFO] [stdout]     |                      ^ no item named `1` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/expr.rs:425:18
[INFO] [stdout]     |
[INFO] [stdout] 425 | \newcommand{\cA}[0]{\mathcal A}
[INFO] [stdout]     |                  ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/expr.rs:426:18
[INFO] [stdout]     |
[INFO] [stdout] 426 | \newcommand{\cB}[0]{\mathcal B}
[INFO] [stdout]     |                  ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/expr.rs:629:22
[INFO] [stdout]     |
[INFO] [stdout] 629 | \newcommand{\Gvdash}[0]{\Gamma \vdash}
[INFO] [stdout]     |                      ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `4`
[INFO] [stdout]    --> src/check/expr.rs:630:20
[INFO] [stdout]     |
[INFO] [stdout] 630 | \newcommand{\tyck}[4]{#1 \vdash_\texttt{c} #2 : #3 \Rightarrow #4}
[INFO] [stdout]     |                    ^ no item named `4` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `3`
[INFO] [stdout]    --> src/check/expr.rs:631:21
[INFO] [stdout]     |
[INFO] [stdout] 631 | \newcommand{\Gtyck}[3]{\tyck{\Gamma}{#1}{#2}{#3}}
[INFO] [stdout]     |                     ^ no item named `3` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/expr.rs:632:20
[INFO] [stdout]     |
[INFO] [stdout] 632 | \newcommand{\subt}[0]{<:}
[INFO] [stdout]     |                    ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/expr.rs:633:18
[INFO] [stdout]     |
[INFO] [stdout] 633 | \newcommand{\xx}[0]{\texttt{x}}
[INFO] [stdout]     |                  ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/expr.rs:634:18
[INFO] [stdout]     |
[INFO] [stdout] 634 | \newcommand{\ty}[0]{\tau}
[INFO] [stdout]     |                  ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]    --> src/check/expr.rs:635:20
[INFO] [stdout]     |
[INFO] [stdout] 635 | \newcommand{\piTy}[1]{\Pi \langle #1 \rangle}
[INFO] [stdout]     |                    ^ no item named `1` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]    --> src/check/expr.rs:636:21
[INFO] [stdout]     |
[INFO] [stdout] 636 | \newcommand{\sigTy}[1]{\Sigma \langle #1 \rangle}
[INFO] [stdout]     |                     ^ no item named `1` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]    --> src/check/expr.rs:637:23
[INFO] [stdout]     |
[INFO] [stdout] 637 | \newcommand{\variant}[1]{\textbf{Sum}\\ \\{ #1 \\}}
[INFO] [stdout]     |                       ^ no item named `1` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]    --> src/check/expr.rs:638:22
[INFO] [stdout]     |
[INFO] [stdout] 638 | \newcommand{\record}[1]{\textbf{Rec}\\ \\{ #1 \\}}
[INFO] [stdout]     |                      ^ no item named `1` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/expr.rs:639:18
[INFO] [stdout]     |
[INFO] [stdout] 639 | \newcommand{\cA}[0]{\mathcal A}
[INFO] [stdout]     |                  ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/expr.rs:640:18
[INFO] [stdout]     |
[INFO] [stdout] 640 | \newcommand{\cB}[0]{\mathcal B}
[INFO] [stdout]     |                  ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/expr.rs:641:22
[INFO] [stdout]     |
[INFO] [stdout] 641 | \newcommand{\ctyLab}[0]{\gamma}
[INFO] [stdout]     |                      ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]    --> src/check/expr.rs:642:23
[INFO] [stdout]     |
[INFO] [stdout] 642 | \newcommand{\clabVal}[0]{\delta}
[INFO] [stdout]     |                       ^ no item named `0` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]    --> src/check/expr.rs:643:25
[INFO] [stdout]     |
[INFO] [stdout] 643 | \newcommand{\recordext}[2]{\record{#1 \mid #2}}
[INFO] [stdout]     |                         ^ no item named `2` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]    --> src/check/expr.rs:644:22
[INFO] [stdout]     |
[INFO] [stdout] 644 | \newcommand{\recExt}[1]{\mid #1}
[INFO] [stdout]     |                      ^ no item named `1` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `2`
[INFO] [stdout]    --> src/check/expr.rs:645:26
[INFO] [stdout]     |
[INFO] [stdout] 645 | \newcommand{\variantext}[2]{\variant{#1 \mid #2}}
[INFO] [stdout]     |                          ^ no item named `2` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]    --> src/check/expr.rs:646:24
[INFO] [stdout]     |
[INFO] [stdout] 646 | \newcommand{\variantR}[1]{\mathbb{Sum}\ #1}
[INFO] [stdout]     |                        ^ no item named `1` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `1`
[INFO] [stdout]    --> src/check/expr.rs:647:23
[INFO] [stdout]     |
[INFO] [stdout] 647 | \newcommand{\recordR}[1]{\mathbb{Rec}\  #1}
[INFO] [stdout]     |                       ^ no item named `1` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: redundant explicit link target
[INFO] [stdout]  --> src/syntax/core/neut_iter.rs:4:29
[INFO] [stdout]   |
[INFO] [stdout] 4 |     /// Map all [`Neutral`](self::Neutral) values in this expression.
[INFO] [stdout]   |                  ---------  ^^^^^^^^^^^^^ explicit target is redundant
[INFO] [stdout]   |                  |
[INFO] [stdout]   |                  because label contains path that resolves to same destination
[INFO] [stdout]   |
[INFO] [stdout]   = note: when a link's destination is not specified,
[INFO] [stdout]           the label is used to resolve intra-doc links
[INFO] [stdout]   = note: `#[warn(rustdoc::redundant_explicit_links)]` on by default
[INFO] [stdout] help: remove explicit link target
[INFO] [stdout]   |
[INFO] [stdout] 4 -     /// Map all [`Neutral`](self::Neutral) values in this expression.
[INFO] [stdout] 4 +     /// Map all [`Neutral`] values in this expression.
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: redundant explicit link target
[INFO] [stdout]  --> src/syntax/core/neut_iter.rs:7:30
[INFO] [stdout]   |
[INFO] [stdout] 7 |     /// Fold all [`Neutral`](self::Neutral) values in this expression.
[INFO] [stdout]   |                   ---------  ^^^^^^^^^^^^^ explicit target is redundant
[INFO] [stdout]   |                   |
[INFO] [stdout]   |                   because label contains path that resolves to same destination
[INFO] [stdout]   |
[INFO] [stdout]   = note: when a link's destination is not specified,
[INFO] [stdout]           the label is used to resolve intra-doc links
[INFO] [stdout] help: remove explicit link target
[INFO] [stdout]   |
[INFO] [stdout] 7 -     /// Fold all [`Neutral`](self::Neutral) values in this expression.
[INFO] [stdout] 7 +     /// Fold all [`Neutral`] values in this expression.
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: redundant explicit link target
[INFO] [stdout]   --> src/syntax/core/neut_iter.rs:14:34
[INFO] [stdout]    |
[INFO] [stdout] 14 |     /// Traverse all [`Neutral`](self::Neutral) values the AST in a stateful manner.
[INFO] [stdout]    |                       ---------  ^^^^^^^^^^^^^ explicit target is redundant
[INFO] [stdout]    |                       |
[INFO] [stdout]    |                       because label contains path that resolves to same destination
[INFO] [stdout]    |
[INFO] [stdout]    = note: when a link's destination is not specified,
[INFO] [stdout]            the label is used to resolve intra-doc links
[INFO] [stdout] help: remove explicit link target
[INFO] [stdout]    |
[INFO] [stdout] 14 -     /// Traverse all [`Neutral`](self::Neutral) values the AST in a stateful manner.
[INFO] [stdout] 14 +     /// Traverse all [`Neutral`] values the AST in a stateful manner.
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: redundant explicit link target
[INFO] [stdout]   --> src/syntax/core/neut_iter.rs:20:61
[INFO] [stdout]    |
[INFO] [stdout] 20 |     /// Traverse through the AST and change all [`Neutral`](self::Neutral) values.
[INFO] [stdout]    |                                                  ---------  ^^^^^^^^^^^^^ explicit target is redundant
[INFO] [stdout]    |                                                  |
[INFO] [stdout]    |                                                  because label contains path that resolves to same destination
[INFO] [stdout]    |
[INFO] [stdout]    = note: when a link's destination is not specified,
[INFO] [stdout]            the label is used to resolve intra-doc links
[INFO] [stdout] help: remove explicit link target
[INFO] [stdout]    |
[INFO] [stdout] 20 -     /// Traverse through the AST and change all [`Neutral`](self::Neutral) values.
[INFO] [stdout] 20 +     /// Traverse through the AST and change all [`Neutral`] values.
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple lines skipped by escaped newline
[INFO] [stdout]    --> src/cli/repl.rs:191:76
[INFO] [stdout]     |
[INFO] [stdout] 191 |            Issue tracker: https://github.com/owo-lang/voile-rs/issues/new\n\n\
[INFO] [stdout]     |  ____________________________________________________________________________^
[INFO] [stdout] 192 | |
[INFO] [stdout] 193 | |          The REPL has two modes: the RICH mode and the PLAIN mode.\n\
[INFO] [stdout]     | |_________^ skipping everything up to and including this point
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 19.80s
[INFO] [stderr]    Generated /opt/rustwide/target/doc/voile/index.html and 1 other file
[INFO] running `Command { std: "docker" "inspect" "e256c6728f6b2104e93b92fc6acb96052f06e9f99e61dcc21d936ce22f2fb1da", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e256c6728f6b2104e93b92fc6acb96052f06e9f99e61dcc21d936ce22f2fb1da", kill_on_drop: false }`
[INFO] [stdout] e256c6728f6b2104e93b92fc6acb96052f06e9f99e61dcc21d936ce22f2fb1da
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "DOCS_RS=1" "-e" "RUSTC_BOOTSTRAP=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+8afe9ff1caa97654c31fb8c259dac9fdf67d6302" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"--html-in-header\", \"rustdoc/katex-header.html\", \"--document-private-items\", \"-Z\", \"unstable-options\", \"--document-private-items\"]" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] bb71af8df5f389301eeb55c2771ef4caed64a4c83aa3bbbabfe18e02812a15c0
[INFO] running `Command { std: "docker" "start" "-a" "bb71af8df5f389301eeb55c2771ef4caed64a4c83aa3bbbabfe18e02812a15c0", kill_on_drop: false }`
[INFO] [stderr]  Documenting voile v0.2.6 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/lib.rs:50:20
[INFO] [stdout]    |
[INFO] [stdout] 50 | \newcommand{\Unit}[0]{\texttt{Rec} \\{ \\}}
[INFO] [stdout]    |                    ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout]    = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/lib.rs:51:20
[INFO] [stdout]    |
[INFO] [stdout] 51 | \newcommand{\Bool}[0]{\texttt{Sum} \\{ \texttt{true}: \Unit \mid \texttt{false}: \Unit \\}}
[INFO] [stdout]    |                    ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/lib.rs:63:20
[INFO] [stdout]    |
[INFO] [stdout] 63 | \newcommand{\Unit}[0]{\texttt{Unit}}
[INFO] [stdout]    |                    ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/lib.rs:64:20
[INFO] [stdout]    |
[INFO] [stdout] 64 | \newcommand{\Bool}[0]{\texttt{Bool}}
[INFO] [stdout]    |                    ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/lib.rs:77:18
[INFO] [stdout]    |
[INFO] [stdout] 77 | \newcommand{\xx}[0]{\texttt{X}}
[INFO] [stdout]    |                  ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]   --> src/lib.rs:78:17
[INFO] [stdout]    |
[INFO] [stdout] 78 | \newcommand{\T}[0]{\texttt{Rec} \\{\xx:A, ...=r\\}}
[INFO] [stdout]    |                 ^ no item named `0` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `reduce_with_dbi`
[INFO] [stdout]   --> src/syntax/core/redex.rs:13:46
[INFO] [stdout]    |
[INFO] [stdout] 13 |     /// prefer this over [`reduce_with_dbi`](reduce_with_dbi).
[INFO] [stdout]    |                                              ^^^^^^^^^^^^^^^ no item named `reduce_with_dbi` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `0`
[INFO] [stdout]  --> src/check/mod.rs:9:20
[INFO] [stdout]   |
[INFO] [stdout] 9 | \\newcommand{\\xx}[0]{\\texttt{x}}
[INFO] [stdout]   |                    ^ no item named `0` in scope
[INFO] [stdout]   |
[INFO] [stdout]   = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.88s
[INFO] [stderr]    Generated /opt/rustwide/target/doc/voile/index.html
[INFO] running `Command { std: "docker" "inspect" "bb71af8df5f389301eeb55c2771ef4caed64a4c83aa3bbbabfe18e02812a15c0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bb71af8df5f389301eeb55c2771ef4caed64a4c83aa3bbbabfe18e02812a15c0", kill_on_drop: false }`
[INFO] [stdout] bb71af8df5f389301eeb55c2771ef4caed64a4c83aa3bbbabfe18e02812a15c0
