[INFO] cloning repository https://github.com/digama0/coq-rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/digama0/coq-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdigama0%2Fcoq-rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdigama0%2Fcoq-rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 73996f976d2c496ea9ea02ed89cd91ffbb3007d8
[INFO] checking digama0/coq-rs/73996f976d2c496ea9ea02ed89cd91ffbb3007d8 against master#ab869e094a907cc5d19b4080f22eccaf347f1f95 for pr-129604
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdigama0%2Fcoq-rs" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/digama0/coq-rs on toolchain ab869e094a907cc5d19b4080f22eccaf347f1f95
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/digama0/coq-rs
[INFO] finished tweaking git repo https://github.com/digama0/coq-rs
[INFO] tweaked toml for git repo https://github.com/digama0/coq-rs written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/digama0/coq-rs 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" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded syn v2.0.40
[INFO] [stderr]   Downloaded zerocopy-derive v0.7.30
[INFO] [stderr]   Downloaded zerocopy v0.7.30
[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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] e62966d3bb275169373de7fec73b206c95548bd4b6e29484b37ff479cc2382e7
[INFO] running `Command { std: "docker" "start" "-a" "e62966d3bb275169373de7fec73b206c95548bd4b6e29484b37ff479cc2382e7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e62966d3bb275169373de7fec73b206c95548bd4b6e29484b37ff479cc2382e7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e62966d3bb275169373de7fec73b206c95548bd4b6e29484b37ff479cc2382e7", kill_on_drop: false }`
[INFO] [stdout] e62966d3bb275169373de7fec73b206c95548bd4b6e29484b37ff479cc2382e7
[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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 04f93ab4e21308a1e3774d09d7f122af550d349783042883dd389066a815b3ce
[INFO] running `Command { std: "docker" "start" "-a" "04f93ab4e21308a1e3774d09d7f122af550d349783042883dd389066a815b3ce", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.151
[INFO] [stderr]    Compiling proc-macro2 v1.0.70
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]     Checking either v1.9.0
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]     Checking typed-arena v2.0.2
[INFO] [stderr]     Checking itertools v0.12.0
[INFO] [stderr]    Compiling quote v1.0.33
[INFO] [stderr]    Compiling syn v2.0.40
[INFO] [stderr]    Compiling cc v1.0.83
[INFO] [stderr]    Compiling psm v0.1.21
[INFO] [stderr]    Compiling stacker v0.1.15
[INFO] [stderr]    Compiling zerocopy-derive v0.7.30
[INFO] [stderr]     Checking zerocopy v0.7.30
[INFO] [stderr]     Checking coq-rs v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `check`
[INFO] [stdout]   --> src/environment.rs:26:56
[INFO] [stdout]    |
[INFO] [stdout] 26 |   fn add_lib(&mut self, name: &DirPath, lib: &Library, check: bool) {
[INFO] [stdout]    |                                                        ^^^^^ help: if this is intentional, prefix it with an underscore: `_check`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `act`
[INFO] [stdout]   --> src/environment.rs:34:36
[INFO] [stdout]    |
[INFO] [stdout] 34 |   fn add_retroknowledge(&mut self, act: &RetroAction) {
[INFO] [stdout]    |                                    ^^^ help: if this is intentional, prefix it with an underscore: `_act`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `check`
[INFO] [stdout]   --> src/environment.rs:26:56
[INFO] [stdout]    |
[INFO] [stdout] 26 |   fn add_lib(&mut self, name: &DirPath, lib: &Library, check: bool) {
[INFO] [stdout]    |                                                        ^^^^^ help: if this is intentional, prefix it with an underscore: `_check`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `act`
[INFO] [stdout]   --> src/environment.rs:34:36
[INFO] [stdout]    |
[INFO] [stdout] 34 |   fn add_retroknowledge(&mut self, act: &RetroAction) {
[INFO] [stdout]    |                                    ^^^ help: if this is intentional, prefix it with an underscore: `_act`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/marshal.rs:129:8
[INFO] [stdout]     |
[INFO] [stdout] 129 |   Code(usize),
[INFO] [stdout]     |   ---- ^^^^^
[INFO] [stdout]     |   |
[INFO] [stdout]     |   field in this variant
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Data` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 129 |   Code(()),
[INFO] [stdout]     |        ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/parse.rs:284:12
[INFO] [stdout]     |
[INFO] [stdout] 284 |   Unloaded(Data),
[INFO] [stdout]     |   -------- ^^^^
[INFO] [stdout]     |   |
[INFO] [stdout]     |   field in this variant
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Lazy` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 284 |   Unloaded(()),
[INFO] [stdout]     |            ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Loaded` is never constructed
[INFO] [stdout]    --> src/parse.rs:285:3
[INFO] [stdout]     |
[INFO] [stdout] 283 | pub enum Lazy<T> {
[INFO] [stdout]     |          ---- variant in this enum
[INFO] [stdout] 284 |   Unloaded(Data),
[INFO] [stdout] 285 |   Loaded(T),
[INFO] [stdout]     |   ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Lazy` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `get` is never used
[INFO] [stdout]    --> src/parse.rs:291:10
[INFO] [stdout]     |
[INFO] [stdout] 290 | impl<T: FromData> Lazy<T> {
[INFO] [stdout]     | ------------------------- method in this implementation
[INFO] [stdout] 291 |   pub fn get(&mut self, seg: &mut Segment) -> &mut T {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 136 | / from_data_enum! {
[INFO] [stdout] 137 | |   #[derive(Debug)]
[INFO] [stdout] 138 | |   pub enum Name {
[INFO] [stdout] 139 | |     Anonymous = 0,
[INFO] [stdout] 140 | |     Name(a: Id) = 0,
[INFO] [stdout]     | |     ---- field in this variant
[INFO] [stdout] 141 | |   }
[INFO] [stdout] 142 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Name` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 192 | / from_data_enum! {
[INFO] [stdout] 193 | |   #[derive(PartialEq, Eq, PartialOrd, Ord, Hash)]
[INFO] [stdout] 194 | |   pub enum RawLevel {
[INFO] [stdout] 195 | |     Set = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 232 | |     Type(a: Univ) = 0,
[INFO] [stdout]     | |     ---- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 266 | |   }
[INFO] [stdout] 267 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Sort` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/marshal.rs:129:8
[INFO] [stdout]     |
[INFO] [stdout] 129 |   Code(usize),
[INFO] [stdout]     |   ---- ^^^^^
[INFO] [stdout]     |   |
[INFO] [stdout]     |   field in this variant
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Data` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 129 |   Code(()),
[INFO] [stdout]     |        ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/parse.rs:284:12
[INFO] [stdout]     |
[INFO] [stdout] 284 |   Unloaded(Data),
[INFO] [stdout]     |   -------- ^^^^
[INFO] [stdout]     |   |
[INFO] [stdout]     |   field in this variant
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Lazy` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 284 |   Unloaded(()),
[INFO] [stdout]     |            ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Loaded` is never constructed
[INFO] [stdout]    --> src/parse.rs:285:3
[INFO] [stdout]     |
[INFO] [stdout] 283 | pub enum Lazy<T> {
[INFO] [stdout]     |          ---- variant in this enum
[INFO] [stdout] 284 |   Unloaded(Data),
[INFO] [stdout] 285 |   Loaded(T),
[INFO] [stdout]     |   ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Lazy` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `get` is never used
[INFO] [stdout]    --> src/parse.rs:291:10
[INFO] [stdout]     |
[INFO] [stdout] 290 | impl<T: FromData> Lazy<T> {
[INFO] [stdout]     | ------------------------- method in this implementation
[INFO] [stdout] 291 |   pub fn get(&mut self, seg: &mut Segment) -> &mut T {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 192 | / from_data_enum! {
[INFO] [stdout] 193 | |   #[derive(PartialEq, Eq, PartialOrd, Ord, Hash)]
[INFO] [stdout] 194 | |   pub enum RawLevel {
[INFO] [stdout] 195 | |     Set = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 233 | |     QSort(a: QVar, b: Univ) = 0,
[INFO] [stdout]     | |     ----- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 266 | |   }
[INFO] [stdout] 267 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Sort` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 136 | / from_data_enum! {
[INFO] [stdout] 137 | |   #[derive(Debug)]
[INFO] [stdout] 138 | |   pub enum Name {
[INFO] [stdout] 139 | |     Anonymous = 0,
[INFO] [stdout] 140 | |     Name(a: Id) = 0,
[INFO] [stdout]     | |     ---- field in this variant
[INFO] [stdout] 141 | |   }
[INFO] [stdout] 142 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Name` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 192 | / from_data_enum! {
[INFO] [stdout] 193 | |   #[derive(PartialEq, Eq, PartialOrd, Ord, Hash)]
[INFO] [stdout] 194 | |   pub enum RawLevel {
[INFO] [stdout] 195 | |     Set = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 249 | |     Var(a: QVar) = 0,
[INFO] [stdout]     | |     --- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 266 | |   }
[INFO] [stdout] 267 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Relevance` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 192 | / from_data_enum! {
[INFO] [stdout] 193 | |   #[derive(PartialEq, Eq, PartialOrd, Ord, Hash)]
[INFO] [stdout] 194 | |   pub enum RawLevel {
[INFO] [stdout] 195 | |     Set = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 232 | |     Type(a: Univ) = 0,
[INFO] [stdout]     | |     ---- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 266 | |   }
[INFO] [stdout] 267 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Sort` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout]     | |     --- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 192 | / from_data_enum! {
[INFO] [stdout] 193 | |   #[derive(PartialEq, Eq, PartialOrd, Ord, Hash)]
[INFO] [stdout] 194 | |   pub enum RawLevel {
[INFO] [stdout] 195 | |     Set = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 233 | |     QSort(a: QVar, b: Univ) = 0,
[INFO] [stdout]     | |     ----- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 266 | |   }
[INFO] [stdout] 267 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Sort` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] 273 | |     Var(a: Id) = 1,
[INFO] [stdout]     | |     --- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 192 | / from_data_enum! {
[INFO] [stdout] 193 | |   #[derive(PartialEq, Eq, PartialOrd, Ord, Hash)]
[INFO] [stdout] 194 | |   pub enum RawLevel {
[INFO] [stdout] 195 | |     Set = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 249 | |     Var(a: QVar) = 0,
[INFO] [stdout]     | |     --- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 266 | |   }
[INFO] [stdout] 267 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Relevance` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] 273 | |     Var(a: Id) = 1,
[INFO] [stdout] 274 | |     Sort(a: Sort) = 4,
[INFO] [stdout]     | |     ---- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout]     | |     --- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] 273 | |     Var(a: Id) = 1,
[INFO] [stdout]     | |     --- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, and `2` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 275 | |     Cast(a: Expr, b: CastKind, c: Expr) = 5,
[INFO] [stdout]     | |     ---- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] 273 | |     Var(a: Id) = 1,
[INFO] [stdout] 274 | |     Sort(a: Sort) = 4,
[INFO] [stdout]     | |     ---- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, and `2` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 275 | |     Cast(a: Expr, b: CastKind, c: Expr) = 5,
[INFO] [stdout]     | |     ---- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, and `2` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 276 | |     Prod(a: Arc<BinderAnnot<Name>>, b: Type, c: Type) = 6,
[INFO] [stdout]     | |     ---- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, and `2` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 277 | |     Lambda(a: Arc<BinderAnnot<Name>>, b: Type, c: Expr) = 7,
[INFO] [stdout]     | |     ------ fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, `2`, and `3` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 278 | |     LetIn(a: Arc<BinderAnnot<Name>>, b: Expr, c: Type, d: Expr) = 8,
[INFO] [stdout]     | |     ----- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 279 | |     App(a: Expr, args: Arc<[Expr]>) = 9,
[INFO] [stdout]     | |     --- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 280 | |     Const(a: PUniv<Constant>) = 10,
[INFO] [stdout]     | |     ----- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 281 | |     Ind(a: PUniv<IndName>) = 11,
[INFO] [stdout]     | |     --- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 282 | |     Ctor(a: PUniv<CtorName>) = 12,
[INFO] [stdout]     | |     ---- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple fields are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 283 | |     Case(
[INFO] [stdout]     | |     ---- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 287 | |     Fix(a: Fix) = 14,
[INFO] [stdout]     | |     --- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, and `2` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 276 | |     Prod(a: Arc<BinderAnnot<Name>>, b: Type, c: Type) = 6,
[INFO] [stdout]     | |     ---- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 288 | |     CoFix(a: CoFix) = 15,
[INFO] [stdout]     | |     ----- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 289 | |     Proj(a: Proj, c: Expr) = 16,
[INFO] [stdout]     | |     ---- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, and `2` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 277 | |     Lambda(a: Arc<BinderAnnot<Name>>, b: Type, c: Expr) = 7,
[INFO] [stdout]     | |     ------ fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 291 | |     Int(a: i64) = 17,
[INFO] [stdout]     | |     --- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, `2`, and `3` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 278 | |     LetIn(a: Arc<BinderAnnot<Name>>, b: Expr, c: Type, d: Expr) = 8,
[INFO] [stdout]     | |     ----- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 292 | |     Float(a: f64) = 18,
[INFO] [stdout]     | |     ----- field in this variant
[INFO] [stdout] 293 | |     Array(a: Instance, b: Vec<Expr>, c: Expr, d: Type) = 19,
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, `2`, and `3` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 293 | |     Array(a: Instance, b: Vec<Expr>, c: Expr, d: Type) = 19,
[INFO] [stdout]     | |     ----- fields in this variant
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 279 | |     App(a: Expr, args: Arc<[Expr]>) = 9,
[INFO] [stdout]     | |     --- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 280 | |     Const(a: PUniv<Constant>) = 10,
[INFO] [stdout]     | |     ----- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout]     | |     ---------- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `RelDecl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 281 | |     Ind(a: PUniv<IndName>) = 11,
[INFO] [stdout]     | |     --- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, and `2` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] 301 | |     LocalDef(a: Arc<BinderAnnot<Name>>, b: Expr, c: Type) = 1,
[INFO] [stdout]     | |     -------- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `RelDecl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 306 | |     LocalAssum(a: BinderAnnot<Id>, b: Type) = 0,
[INFO] [stdout]     | |     ---------- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `NamedDecl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, and `2` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 307 | |     LocalDef(a: BinderAnnot<Id>, b: Expr, c: Type) = 1,
[INFO] [stdout]     | |     -------- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `NamedDecl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 312 | |     LocalAssum(a: RList<BinderAnnot<Id>>, b: Type) = 0,
[INFO] [stdout]     | |     ---------- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `CompactedDecl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, and `2` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 313 | |     LocalDef(a: RList<BinderAnnot<Id>>, b: Expr, c: Type) = 1,
[INFO] [stdout]     | |     -------- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `CompactedDecl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 282 | |     Ctor(a: PUniv<CtorName>) = 12,
[INFO] [stdout]     | |     ---- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple fields are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 283 | |     Case(
[INFO] [stdout]     | |     ---- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, `2`, and `3` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 324 | |     Indirect(subst: RList<ModSubst>, discharge: RList<CookingInfo>, lib: DirPath, index: u32) = 0,
[INFO] [stdout]     | |     -------- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Opaque` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 287 | |     Fix(a: Fix) = 14,
[INFO] [stdout]     | |     --- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 330 | |     Level(lvl: u32) = 0,
[INFO] [stdout]     | |     ----- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Transparency` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 288 | |     CoFix(a: CoFix) = 15,
[INFO] [stdout]     | |     ----- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 395 | |     Undef(a: Option<u32>) = 0,
[INFO] [stdout]     | |     ----- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ConstDef` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 289 | |     Proj(a: Proj, c: Expr) = 16,
[INFO] [stdout]     | |     ---- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 291 | |     Int(a: i64) = 17,
[INFO] [stdout]     | |     --- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 292 | |     Float(a: f64) = 18,
[INFO] [stdout]     | |     ----- field in this variant
[INFO] [stdout] 293 | |     Array(a: Instance, b: Vec<Expr>, c: Expr, d: Type) = 19,
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, `2`, and `3` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 | / from_data_enum_rec! {
[INFO] [stdout] 270 | |   #[derive(Debug)]
[INFO] [stdout] 271 | |   pub enum ExprKind {
[INFO] [stdout] 272 | |     Rel(a: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 293 | |     Array(a: Instance, b: Vec<Expr>, c: Expr, d: Type) = 19,
[INFO] [stdout]     | |     ----- fields in this variant
[INFO] [stdout] 294 | |   }
[INFO] [stdout] 295 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ExprKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout]     | |     ---------- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `RelDecl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 396 | |     Def(a: Expr) = 1,
[INFO] [stdout]     | |     --- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ConstDef` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, and `2` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] 301 | |     LocalDef(a: Arc<BinderAnnot<Name>>, b: Expr, c: Type) = 1,
[INFO] [stdout]     | |     -------- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `RelDecl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 397 | |     OpaqueDef(a: Opaque) = 2,
[INFO] [stdout]     | |     --------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ConstDef` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 398 | |     Primitive(a: Primitive) = 3,
[INFO] [stdout]     | |     --------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ConstDef` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 404 | |     Polymorphic(a: AbstractContext) = 0,
[INFO] [stdout]     | |     ----------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Universes` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 409 | |     NestedInd(a: IndName) = 0,
[INFO] [stdout]     | |     --------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `NestedType` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 410 | |     NestedPrim(a: Constant) = 1,
[INFO] [stdout]     | |     ---------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `NestedType` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 416 | |     MutRec(a: IndName) = 0,
[INFO] [stdout]     | |     ------ field in this variant
[INFO] [stdout] 417 | |     Nested(a: NestedType) = 1,
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `RecArg` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 417 | |     Nested(a: NestedType) = 1,
[INFO] [stdout]     | |     ------ field in this variant
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `RecArg` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 306 | |     LocalAssum(a: BinderAnnot<Id>, b: Type) = 0,
[INFO] [stdout]     | |     ---------- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `NamedDecl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 421 | / from_data_enum_rec! {
[INFO] [stdout] 422 | |   #[derive(Debug)]
[INFO] [stdout] 423 | |   pub enum WfPaths {
[INFO] [stdout] 424 | |     Var(a: u32, b: u32) = 0,
[INFO] [stdout]     | |     --- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 428 | |   }
[INFO] [stdout] 429 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `WfPaths` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 421 | / from_data_enum_rec! {
[INFO] [stdout] 422 | |   #[derive(Debug)]
[INFO] [stdout] 423 | |   pub enum WfPaths {
[INFO] [stdout] 424 | |     Var(a: u32, b: u32) = 0,
[INFO] [stdout] 425 | |     Node(a: RecArg, b: Vec<WfPaths>) = 1,
[INFO] [stdout]     | |     ---- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 428 | |   }
[INFO] [stdout] 429 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `WfPaths` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 421 | / from_data_enum_rec! {
[INFO] [stdout] 422 | |   #[derive(Debug)]
[INFO] [stdout] 423 | |   pub enum WfPaths {
[INFO] [stdout] 424 | |     Var(a: u32, b: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 427 | |     Rec(a: u32, b: Vec<WfPaths>) = 2,
[INFO] [stdout]     | |     --- fields in this variant
[INFO] [stdout] 428 | |   }
[INFO] [stdout] 429 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `WfPaths` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 431 | / from_data_enum! {
[INFO] [stdout] 432 | |   #[derive(Debug)]
[INFO] [stdout] 433 | |   pub enum IndArity {
[INFO] [stdout] 434 | |     Regular(a: MonoIndArity) = 0,
[INFO] [stdout]     | |     ------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 485 | |   }
[INFO] [stdout] 486 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `IndArity` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 431 | / from_data_enum! {
[INFO] [stdout] 432 | |   #[derive(Debug)]
[INFO] [stdout] 433 | |   pub enum IndArity {
[INFO] [stdout] 434 | |     Regular(a: MonoIndArity) = 0,
[INFO] [stdout] 435 | |     Template(a: TemplateArity) = 1,
[INFO] [stdout]     | |     -------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 485 | |   }
[INFO] [stdout] 486 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `IndArity` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, and `2` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 307 | |     LocalDef(a: BinderAnnot<Id>, b: Expr, c: Type) = 1,
[INFO] [stdout]     | |     -------- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `NamedDecl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 431 | / from_data_enum! {
[INFO] [stdout] 432 | |   #[derive(Debug)]
[INFO] [stdout] 433 | |   pub enum IndArity {
[INFO] [stdout] 434 | |     Regular(a: MonoIndArity) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 441 | |     SometimesSquashed(a: BTreeSet<Quality>) = 0,
[INFO] [stdout]     | |     ----------------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 485 | |   }
[INFO] [stdout] 486 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `SquashInfo` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 431 | / from_data_enum! {
[INFO] [stdout] 432 | |   #[derive(Debug)]
[INFO] [stdout] 433 | |   pub enum IndArity {
[INFO] [stdout] 434 | |     Regular(a: MonoIndArity) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 455 | |     Prim(a: Vec<FieldInfo>) = 0,
[INFO] [stdout]     | |     ---- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 485 | |   }
[INFO] [stdout] 486 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `RecordInfo` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 312 | |     LocalAssum(a: RList<BinderAnnot<Id>>, b: Type) = 0,
[INFO] [stdout]     | |     ---------- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `CompactedDecl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 431 | / from_data_enum! {
[INFO] [stdout] 432 | |   #[derive(Debug)]
[INFO] [stdout] 433 | |   pub enum IndArity {
[INFO] [stdout] 434 | |     Regular(a: MonoIndArity) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 477 | |     RegisterInd(prim: PrimInd, ind: IndName) = 0,
[INFO] [stdout]     | |     ----------- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 485 | |   }
[INFO] [stdout] 486 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `RetroAction` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 431 | / from_data_enum! {
[INFO] [stdout] 432 | |   #[derive(Debug)]
[INFO] [stdout] 433 | |   pub enum IndArity {
[INFO] [stdout] 434 | |     Regular(a: MonoIndArity) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 478 | |     RegisterType(prim: PrimType, cst: Constant) = 1,
[INFO] [stdout]     | |     ------------ fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 485 | |   }
[INFO] [stdout] 486 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `RetroAction` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, and `2` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 313 | |     LocalDef(a: RList<BinderAnnot<Id>>, b: Expr, c: Type) = 1,
[INFO] [stdout]     | |     -------- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `CompactedDecl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 431 | / from_data_enum! {
[INFO] [stdout] 432 | |   #[derive(Debug)]
[INFO] [stdout] 433 | |   pub enum IndArity {
[INFO] [stdout] 434 | |     Regular(a: MonoIndArity) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 483 | |     Mod(a: List<Id>, b: ModPath) = 0,
[INFO] [stdout]     | |     --- fields in this variant
[INFO] [stdout] 484 | |     Def(a: List<Id>, b: (Lazy<Expr>, Option<AbstractContext>)) = 1,
[INFO] [stdout] 485 | |   }
[INFO] [stdout] 486 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `WithDecl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 431 | / from_data_enum! {
[INFO] [stdout] 432 | |   #[derive(Debug)]
[INFO] [stdout] 433 | |   pub enum IndArity {
[INFO] [stdout] 434 | |     Regular(a: MonoIndArity) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 484 | |     Def(a: List<Id>, b: (Lazy<Expr>, Option<AbstractContext>)) = 1,
[INFO] [stdout]     | |     --- fields in this variant
[INFO] [stdout] 485 | |   }
[INFO] [stdout] 486 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `WithDecl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 488 | / from_data_enum_rec! {
[INFO] [stdout] 489 | |   #[derive(Debug)]
[INFO] [stdout] 490 | |   pub enum ModAlgExpr {
[INFO] [stdout] 491 | |     Ident(a: ModPath) = 0,
[INFO] [stdout]     | |     ----- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 514 | |   }
[INFO] [stdout] 515 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModAlgExpr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 488 | / from_data_enum_rec! {
[INFO] [stdout] 489 | |   #[derive(Debug)]
[INFO] [stdout] 490 | |   pub enum ModAlgExpr {
[INFO] [stdout] 491 | |     Ident(a: ModPath) = 0,
[INFO] [stdout] 492 | |     Apply(a: Box<ModAlgExpr>, b: ModPath) = 1,
[INFO] [stdout]     | |     ----- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 514 | |   }
[INFO] [stdout] 515 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModAlgExpr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 488 | / from_data_enum_rec! {
[INFO] [stdout] 489 | |   #[derive(Debug)]
[INFO] [stdout] 490 | |   pub enum ModAlgExpr {
[INFO] [stdout] 491 | |     Ident(a: ModPath) = 0,
[INFO] [stdout] 492 | |     Apply(a: Box<ModAlgExpr>, b: ModPath) = 1,
[INFO] [stdout] 493 | |     With(a: Box<ModAlgExpr>, b: WithDecl) = 2,
[INFO] [stdout]     | |     ---- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 514 | |   }
[INFO] [stdout] 515 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModAlgExpr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, `2`, and `3` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 324 | |     Indirect(subst: RList<ModSubst>, discharge: RList<CookingInfo>, lib: DirPath, index: u32) = 0,
[INFO] [stdout]     | |     -------- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Opaque` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 330 | |     Level(lvl: u32) = 0,
[INFO] [stdout]     | |     ----- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Transparency` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, and `2` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 488 | / from_data_enum_rec! {
[INFO] [stdout] 489 | |   #[derive(Debug)]
[INFO] [stdout] 490 | |   pub enum ModAlgExpr {
[INFO] [stdout] 491 | |     Ident(a: ModPath) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 507 | |     MoreFunctor(a: UId, b: Box<ModTypeBody>, c: Box<ModSig>) = 1,
[INFO] [stdout]     | |     ----------- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 514 | |   }
[INFO] [stdout] 515 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModSig` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 488 | / from_data_enum_rec! {
[INFO] [stdout] 489 | |   #[derive(Debug)]
[INFO] [stdout] 490 | |   pub enum ModAlgExpr {
[INFO] [stdout] 491 | |     Ident(a: ModPath) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 512 | |     NoFunctor(a: Box<ModAlgExpr>) = 0,
[INFO] [stdout]     | |     --------- field in this variant
[INFO] [stdout] 513 | |     MoreFunctor(a: Lazy<Box<ModExpr>>) = 1,
[INFO] [stdout] 514 | |   }
[INFO] [stdout] 515 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModExpr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 488 | / from_data_enum_rec! {
[INFO] [stdout] 489 | |   #[derive(Debug)]
[INFO] [stdout] 490 | |   pub enum ModAlgExpr {
[INFO] [stdout] 491 | |     Ident(a: ModPath) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 513 | |     MoreFunctor(a: Lazy<Box<ModExpr>>) = 1,
[INFO] [stdout]     | |     ----------- field in this variant
[INFO] [stdout] 514 | |   }
[INFO] [stdout] 515 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModExpr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 395 | |     Undef(a: Option<u32>) = 0,
[INFO] [stdout]     | |     ----- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ConstDef` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 396 | |     Def(a: Expr) = 1,
[INFO] [stdout]     | |     --- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ConstDef` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 397 | |     OpaqueDef(a: Opaque) = 2,
[INFO] [stdout]     | |     --------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ConstDef` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 517 | / from_data_enum! {
[INFO] [stdout] 518 | |   #[derive(Debug)]
[INFO] [stdout] 519 | |   pub enum ModImpl {
[INFO] [stdout] 520 | |     Abstract = 0,
[INFO] [stdout] 521 | |     Algebraic(a: ModExpr) = 0,
[INFO] [stdout]     | |     --------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 542 | |   // }
[INFO] [stdout] 543 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModImpl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 517 | / from_data_enum! {
[INFO] [stdout] 518 | |   #[derive(Debug)]
[INFO] [stdout] 519 | |   pub enum ModImpl {
[INFO] [stdout] 520 | |     Abstract = 0,
[INFO] [stdout] 521 | |     Algebraic(a: ModExpr) = 0,
[INFO] [stdout] 522 | |     Struct(a: StructBody) = 1,
[INFO] [stdout]     | |     ------ field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 542 | |   // }
[INFO] [stdout] 543 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModImpl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 517 | / from_data_enum! {
[INFO] [stdout] 518 | |   #[derive(Debug)]
[INFO] [stdout] 519 | |   pub enum ModImpl {
[INFO] [stdout] 520 | |     Abstract = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 535 | |     Filtered(a: Predicate<String>) = 1,
[INFO] [stdout]     | |     -------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 542 | |   // }
[INFO] [stdout] 543 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `OpenFilter` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 398 | |     Primitive(a: Primitive) = 3,
[INFO] [stdout]     | |     --------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ConstDef` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 557 | / from_data_enum! {
[INFO] [stdout] 558 | |   #[derive(Debug)]
[INFO] [stdout] 559 | |   pub enum OrderRequest {
[INFO] [stdout] 560 | |     Equal = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 574 | |     Polymorphic(a: ContextSet) = 1,
[INFO] [stdout]     | |     ----------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 580 | |   }
[INFO] [stdout] 581 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `DelayedUniverses` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 557 | / from_data_enum! {
[INFO] [stdout] 558 | |   #[derive(Debug)]
[INFO] [stdout] 559 | |   pub enum OrderRequest {
[INFO] [stdout] 560 | |     Equal = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 579 | |     Deprecation(since: Option<String>, note: Option<String>) = 0,
[INFO] [stdout]     | |     ----------- fields in this variant
[INFO] [stdout] 580 | |   }
[INFO] [stdout] 581 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `LibraryInfo` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 404 | |     Polymorphic(a: AbstractContext) = 0,
[INFO] [stdout]     | |     ----------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Universes` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `name` and `index` are never read
[INFO] [stdout]    --> src/types.rs:650:9
[INFO] [stdout]     |
[INFO] [stdout] 649 |   pub struct IndNameKind {
[INFO] [stdout]     |              ----------- fields in this struct
[INFO] [stdout] 650 |     pub name: MutIndName,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 651 |     pub index: u32,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `IndNameKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 409 | |     NestedInd(a: IndName) = 0,
[INFO] [stdout]     | |     --------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `NestedType` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `name` and `index` are never read
[INFO] [stdout]    --> src/types.rs:656:9
[INFO] [stdout]     |
[INFO] [stdout] 655 |   pub struct CtorNameKind {
[INFO] [stdout]     |              ------------ fields in this struct
[INFO] [stdout] 656 |     pub name: IndName,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 657 |     pub index: u32,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `CtorNameKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 410 | |     NestedPrim(a: Constant) = 1,
[INFO] [stdout]     | |     ---------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `NestedType` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `base` and `off` are never read
[INFO] [stdout]    --> src/types.rs:675:9
[INFO] [stdout]     |
[INFO] [stdout] 674 |   pub struct LevelExpr {
[INFO] [stdout]     |              --------- fields in this struct
[INFO] [stdout] 675 |     pub base: Level,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 676 |     pub off: u32,
[INFO] [stdout]     |         ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `LevelExpr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 416 | |     MutRec(a: IndName) = 0,
[INFO] [stdout]     | |     ------ field in this variant
[INFO] [stdout] 417 | |     Nested(a: NestedType) = 1,
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `RecArg` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 | / from_data_enum! {
[INFO] [stdout] 298 | |   #[derive(Debug)]
[INFO] [stdout] 299 | |   pub enum RelDecl {
[INFO] [stdout] 300 | |     LocalAssum(a: Arc<BinderAnnot<Name>>, b: Type) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 417 | |     Nested(a: NestedType) = 1,
[INFO] [stdout]     | |     ------ field in this variant
[INFO] [stdout] 418 | |   }
[INFO] [stdout] 419 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `RecArg` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 421 | / from_data_enum_rec! {
[INFO] [stdout] 422 | |   #[derive(Debug)]
[INFO] [stdout] 423 | |   pub enum WfPaths {
[INFO] [stdout] 424 | |     Var(a: u32, b: u32) = 0,
[INFO] [stdout]     | |     --- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 428 | |   }
[INFO] [stdout] 429 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `WfPaths` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 421 | / from_data_enum_rec! {
[INFO] [stdout] 422 | |   #[derive(Debug)]
[INFO] [stdout] 423 | |   pub enum WfPaths {
[INFO] [stdout] 424 | |     Var(a: u32, b: u32) = 0,
[INFO] [stdout] 425 | |     Node(a: RecArg, b: Vec<WfPaths>) = 1,
[INFO] [stdout]     | |     ---- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 428 | |   }
[INFO] [stdout] 429 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `WfPaths` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 421 | / from_data_enum_rec! {
[INFO] [stdout] 422 | |   #[derive(Debug)]
[INFO] [stdout] 423 | |   pub enum WfPaths {
[INFO] [stdout] 424 | |     Var(a: u32, b: u32) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 427 | |     Rec(a: u32, b: Vec<WfPaths>) = 2,
[INFO] [stdout]     | |     --- fields in this variant
[INFO] [stdout] 428 | |   }
[INFO] [stdout] 429 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `WfPaths` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `ind_tags`, `cstr_tags`, and `style` are never read
[INFO] [stdout]    --> src/types.rs:681:9
[INFO] [stdout]     |
[INFO] [stdout] 680 |   pub struct CasePrinting {
[INFO] [stdout]     |              ------------ fields in this struct
[INFO] [stdout] 681 |     pub ind_tags: List<bool>,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 682 |     pub cstr_tags: Vec<List<bool>>,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 683 |     pub style: CaseStyle,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `CasePrinting` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 431 | / from_data_enum! {
[INFO] [stdout] 432 | |   #[derive(Debug)]
[INFO] [stdout] 433 | |   pub enum IndArity {
[INFO] [stdout] 434 | |     Regular(a: MonoIndArity) = 0,
[INFO] [stdout]     | |     ------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 485 | |   }
[INFO] [stdout] 486 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `IndArity` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 431 | / from_data_enum! {
[INFO] [stdout] 432 | |   #[derive(Debug)]
[INFO] [stdout] 433 | |   pub enum IndArity {
[INFO] [stdout] 434 | |     Regular(a: MonoIndArity) = 0,
[INFO] [stdout] 435 | |     Template(a: TemplateArity) = 1,
[INFO] [stdout]     | |     -------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 485 | |   }
[INFO] [stdout] 486 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `IndArity` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 431 | / from_data_enum! {
[INFO] [stdout] 432 | |   #[derive(Debug)]
[INFO] [stdout] 433 | |   pub enum IndArity {
[INFO] [stdout] 434 | |     Regular(a: MonoIndArity) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 441 | |     SometimesSquashed(a: BTreeSet<Quality>) = 0,
[INFO] [stdout]     | |     ----------------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 485 | |   }
[INFO] [stdout] 486 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `SquashInfo` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 431 | / from_data_enum! {
[INFO] [stdout] 432 | |   #[derive(Debug)]
[INFO] [stdout] 433 | |   pub enum IndArity {
[INFO] [stdout] 434 | |     Regular(a: MonoIndArity) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 455 | |     Prim(a: Vec<FieldInfo>) = 0,
[INFO] [stdout]     | |     ---- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 485 | |   }
[INFO] [stdout] 486 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `RecordInfo` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 431 | / from_data_enum! {
[INFO] [stdout] 432 | |   #[derive(Debug)]
[INFO] [stdout] 433 | |   pub enum IndArity {
[INFO] [stdout] 434 | |     Regular(a: MonoIndArity) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 477 | |     RegisterInd(prim: PrimInd, ind: IndName) = 0,
[INFO] [stdout]     | |     ----------- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 485 | |   }
[INFO] [stdout] 486 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `RetroAction` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 431 | / from_data_enum! {
[INFO] [stdout] 432 | |   #[derive(Debug)]
[INFO] [stdout] 433 | |   pub enum IndArity {
[INFO] [stdout] 434 | |     Regular(a: MonoIndArity) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 478 | |     RegisterType(prim: PrimType, cst: Constant) = 1,
[INFO] [stdout]     | |     ------------ fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 485 | |   }
[INFO] [stdout] 486 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `RetroAction` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 431 | / from_data_enum! {
[INFO] [stdout] 432 | |   #[derive(Debug)]
[INFO] [stdout] 433 | |   pub enum IndArity {
[INFO] [stdout] 434 | |     Regular(a: MonoIndArity) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 483 | |     Mod(a: List<Id>, b: ModPath) = 0,
[INFO] [stdout]     | |     --- fields in this variant
[INFO] [stdout] 484 | |     Def(a: List<Id>, b: (Lazy<Expr>, Option<AbstractContext>)) = 1,
[INFO] [stdout] 485 | |   }
[INFO] [stdout] 486 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `WithDecl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 431 | / from_data_enum! {
[INFO] [stdout] 432 | |   #[derive(Debug)]
[INFO] [stdout] 433 | |   pub enum IndArity {
[INFO] [stdout] 434 | |     Regular(a: MonoIndArity) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 484 | |     Def(a: List<Id>, b: (Lazy<Expr>, Option<AbstractContext>)) = 1,
[INFO] [stdout]     | |     --- fields in this variant
[INFO] [stdout] 485 | |   }
[INFO] [stdout] 486 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `WithDecl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `ind`, `npar`, `cstr_ndecls`, `cstr_nargs`, `relevance`, and `pp_info` are never read
[INFO] [stdout]    --> src/types.rs:688:9
[INFO] [stdout]     |
[INFO] [stdout] 687 |   pub struct CaseInfo {
[INFO] [stdout]     |              -------- fields in this struct
[INFO] [stdout] 688 |     pub ind: IndName,
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 689 |     pub npar: u32,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 690 |     pub cstr_ndecls: Arc<[u32]>,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 691 |     pub cstr_nargs: Arc<[u32]>,
[INFO] [stdout]     |         ^^^^^^^^^^
[INFO] [stdout] 692 |     pub relevance: Relevance, // removed in 8.20
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 693 |     pub pp_info: CasePrinting,
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `CaseInfo` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `ind`, `relevant`, `npars`, `arg`, and `name` are never read
[INFO] [stdout]    --> src/types.rs:698:9
[INFO] [stdout]     |
[INFO] [stdout] 697 |   pub struct ProjRepr {
[INFO] [stdout]     |              -------- fields in this struct
[INFO] [stdout] 698 |     pub ind: IndName,
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 699 |     pub relevant: bool, // removed in 8.20
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 700 |     pub npars: u32,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 701 |     pub arg: u32,
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 702 |     pub name: Label,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ProjRepr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `binders`, `types`, and `exprs` are never read
[INFO] [stdout]    --> src/types.rs:708:9
[INFO] [stdout]     |
[INFO] [stdout] 707 |   pub struct RecDecl {
[INFO] [stdout]     |              ------- fields in this struct
[INFO] [stdout] 708 |     pub binders: Vec<Arc<BinderAnnot<Name>>>,
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout] 709 |     pub types: Vec<Type>,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 710 |     pub exprs: Vec<Expr>,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `RecDecl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 488 | / from_data_enum_rec! {
[INFO] [stdout] 489 | |   #[derive(Debug)]
[INFO] [stdout] 490 | |   pub enum ModAlgExpr {
[INFO] [stdout] 491 | |     Ident(a: ModPath) = 0,
[INFO] [stdout]     | |     ----- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 514 | |   }
[INFO] [stdout] 515 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModAlgExpr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 488 | / from_data_enum_rec! {
[INFO] [stdout] 489 | |   #[derive(Debug)]
[INFO] [stdout] 490 | |   pub enum ModAlgExpr {
[INFO] [stdout] 491 | |     Ident(a: ModPath) = 0,
[INFO] [stdout] 492 | |     Apply(a: Box<ModAlgExpr>, b: ModPath) = 1,
[INFO] [stdout]     | |     ----- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 514 | |   }
[INFO] [stdout] 515 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModAlgExpr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 488 | / from_data_enum_rec! {
[INFO] [stdout] 489 | |   #[derive(Debug)]
[INFO] [stdout] 490 | |   pub enum ModAlgExpr {
[INFO] [stdout] 491 | |     Ident(a: ModPath) = 0,
[INFO] [stdout] 492 | |     Apply(a: Box<ModAlgExpr>, b: ModPath) = 1,
[INFO] [stdout] 493 | |     With(a: Box<ModAlgExpr>, b: WithDecl) = 2,
[INFO] [stdout]     | |     ---- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 514 | |   }
[INFO] [stdout] 515 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModAlgExpr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0`, `1`, and `2` are never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 488 | / from_data_enum_rec! {
[INFO] [stdout] 489 | |   #[derive(Debug)]
[INFO] [stdout] 490 | |   pub enum ModAlgExpr {
[INFO] [stdout] 491 | |     Ident(a: ModPath) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 507 | |     MoreFunctor(a: UId, b: Box<ModTypeBody>, c: Box<ModSig>) = 1,
[INFO] [stdout]     | |     ----------- fields in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 514 | |   }
[INFO] [stdout] 515 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModSig` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 488 | / from_data_enum_rec! {
[INFO] [stdout] 489 | |   #[derive(Debug)]
[INFO] [stdout] 490 | |   pub enum ModAlgExpr {
[INFO] [stdout] 491 | |     Ident(a: ModPath) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 512 | |     NoFunctor(a: Box<ModAlgExpr>) = 0,
[INFO] [stdout]     | |     --------- field in this variant
[INFO] [stdout] 513 | |     MoreFunctor(a: Lazy<Box<ModExpr>>) = 1,
[INFO] [stdout] 514 | |   }
[INFO] [stdout] 515 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModExpr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `ctx`, `au_ctx`, and `au_subst` are never read
[INFO] [stdout]    --> src/types.rs:715:9
[INFO] [stdout]     |
[INFO] [stdout] 714 |   pub struct AbstrInfo {
[INFO] [stdout]     |              --------- fields in this struct
[INFO] [stdout] 715 |     pub ctx: NamedContext,
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 716 |     pub au_ctx: AbstractContext,
[INFO] [stdout]     |         ^^^^^^
[INFO] [stdout] 717 |     pub au_subst: Instance,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `AbstrInfo` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:26:45
[INFO] [stdout]     |
[INFO] [stdout] 26  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 488 | / from_data_enum_rec! {
[INFO] [stdout] 489 | |   #[derive(Debug)]
[INFO] [stdout] 490 | |   pub enum ModAlgExpr {
[INFO] [stdout] 491 | |     Ident(a: ModPath) = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 513 | |     MoreFunctor(a: Lazy<Box<ModExpr>>) = 1,
[INFO] [stdout]     | |     ----------- field in this variant
[INFO] [stdout] 514 | |   }
[INFO] [stdout] 515 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModExpr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum_rec` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 26  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 517 | / from_data_enum! {
[INFO] [stdout] 518 | |   #[derive(Debug)]
[INFO] [stdout] 519 | |   pub enum ModImpl {
[INFO] [stdout] 520 | |     Abstract = 0,
[INFO] [stdout] 521 | |     Algebraic(a: ModExpr) = 0,
[INFO] [stdout]     | |     --------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 542 | |   // }
[INFO] [stdout] 543 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModImpl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 517 | / from_data_enum! {
[INFO] [stdout] 518 | |   #[derive(Debug)]
[INFO] [stdout] 519 | |   pub enum ModImpl {
[INFO] [stdout] 520 | |     Abstract = 0,
[INFO] [stdout] 521 | |     Algebraic(a: ModExpr) = 0,
[INFO] [stdout] 522 | |     Struct(a: StructBody) = 1,
[INFO] [stdout]     | |     ------ field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 542 | |   // }
[INFO] [stdout] 543 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModImpl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 517 | / from_data_enum! {
[INFO] [stdout] 518 | |   #[derive(Debug)]
[INFO] [stdout] 519 | |   pub enum ModImpl {
[INFO] [stdout] 520 | |     Abstract = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 535 | |     Filtered(a: Predicate<String>) = 1,
[INFO] [stdout]     | |     -------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 542 | |   // }
[INFO] [stdout] 543 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `OpenFilter` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 557 | / from_data_enum! {
[INFO] [stdout] 558 | |   #[derive(Debug)]
[INFO] [stdout] 559 | |   pub enum OrderRequest {
[INFO] [stdout] 560 | |     Equal = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 574 | |     Polymorphic(a: ContextSet) = 1,
[INFO] [stdout]     | |     ----------- field in this variant
[INFO] [stdout] ...   |
[INFO] [stdout] 580 | |   }
[INFO] [stdout] 581 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `DelayedUniverses` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]    --> src/types.rs:10:45
[INFO] [stdout]     |
[INFO] [stdout] 10  |         $(#[$doc])* pub enum $name { $($a$(($($ty),*))?),* }
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 557 | / from_data_enum! {
[INFO] [stdout] 558 | |   #[derive(Debug)]
[INFO] [stdout] 559 | |   pub enum OrderRequest {
[INFO] [stdout] 560 | |     Equal = 0,
[INFO] [stdout] ...   |
[INFO] [stdout] 579 | |     Deprecation(since: Option<String>, note: Option<String>) = 0,
[INFO] [stdout]     | |     ----------- fields in this variant
[INFO] [stdout] 580 | |   }
[INFO] [stdout] 581 | | }
[INFO] [stdout]     | |_- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: `LibraryInfo` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_enum` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields
[INFO] [stdout]     |
[INFO] [stdout] 10  |       $(#[$doc])* pub enum $name { $($a$(($(()),*))?),* }
[INFO] [stdout]     |                                             ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `inst` and `uinst` are never read
[INFO] [stdout]    --> src/types.rs:722:9
[INFO] [stdout]     |
[INFO] [stdout] 721 |   pub struct AbstrInstInfo {
[INFO] [stdout]     |              ------------- fields in this struct
[INFO] [stdout] 722 |     pub inst: RList<Id>,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 723 |     pub uinst: Instance,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `AbstrInstInfo` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `expand` and `abstr` are never read
[INFO] [stdout]    --> src/types.rs:728:9
[INFO] [stdout]     |
[INFO] [stdout] 727 |   pub struct CookingInfo {
[INFO] [stdout]     |              ----------- fields in this struct
[INFO] [stdout] 728 |     pub expand: ExpandInfo,
[INFO] [stdout]     |         ^^^^^^
[INFO] [stdout] 729 |     pub abstr: AbstrInfo,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `CookingInfo` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `name` and `index` are never read
[INFO] [stdout]    --> src/types.rs:650:9
[INFO] [stdout]     |
[INFO] [stdout] 649 |   pub struct IndNameKind {
[INFO] [stdout]     |              ----------- fields in this struct
[INFO] [stdout] 650 |     pub name: MutIndName,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 651 |     pub index: u32,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `IndNameKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `name` and `index` are never read
[INFO] [stdout]    --> src/types.rs:656:9
[INFO] [stdout]     |
[INFO] [stdout] 655 |   pub struct CtorNameKind {
[INFO] [stdout]     |              ------------ fields in this struct
[INFO] [stdout] 656 |     pub name: IndName,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 657 |     pub index: u32,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `CtorNameKind` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `base` and `off` are never read
[INFO] [stdout]    --> src/types.rs:675:9
[INFO] [stdout]     |
[INFO] [stdout] 674 |   pub struct LevelExpr {
[INFO] [stdout]     |              --------- fields in this struct
[INFO] [stdout] 675 |     pub base: Level,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 676 |     pub off: u32,
[INFO] [stdout]     |         ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `LevelExpr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `ind_tags`, `cstr_tags`, and `style` are never read
[INFO] [stdout]    --> src/types.rs:681:9
[INFO] [stdout]     |
[INFO] [stdout] 680 |   pub struct CasePrinting {
[INFO] [stdout]     |              ------------ fields in this struct
[INFO] [stdout] 681 |     pub ind_tags: List<bool>,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 682 |     pub cstr_tags: Vec<List<bool>>,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 683 |     pub style: CaseStyle,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `CasePrinting` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `var_opacity`, `cst_opacity`, `var_trstate`, and `cst_trstate` are never read
[INFO] [stdout]    --> src/types.rs:734:9
[INFO] [stdout]     |
[INFO] [stdout] 733 |   pub struct ConvOracle {
[INFO] [stdout]     |              ---------- fields in this struct
[INFO] [stdout] 734 |     pub var_opacity: BTreeMap<Id, Transparency>,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 735 |     pub cst_opacity: Lazy<HashMap<Constant, Transparency>>,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 736 |     pub var_trstate: Predicate<Id>,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 737 |     pub cst_trstate: Predicate<Constant>,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ConvOracle` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `level` is never read
[INFO] [stdout]    --> src/types.rs:742:9
[INFO] [stdout]     |
[INFO] [stdout] 741 |   pub struct TemplateArity {
[INFO] [stdout]     |              ------------- field in this struct
[INFO] [stdout] 742 |     pub level: Sort,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `TemplateArity` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `param_levels` and `context` are never read
[INFO] [stdout]    --> src/types.rs:747:9
[INFO] [stdout]     |
[INFO] [stdout] 746 |   pub struct TemplateUnivs {
[INFO] [stdout]     |              ------------- fields in this struct
[INFO] [stdout] 747 |     pub param_levels: RList<Option<Level>>,
[INFO] [stdout]     |         ^^^^^^^^^^^^
[INFO] [stdout] 748 |     pub context: ContextSet,
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `TemplateUnivs` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `ind`, `npar`, `cstr_ndecls`, `cstr_nargs`, `relevance`, and `pp_info` are never read
[INFO] [stdout]    --> src/types.rs:688:9
[INFO] [stdout]     |
[INFO] [stdout] 687 |   pub struct CaseInfo {
[INFO] [stdout]     |              -------- fields in this struct
[INFO] [stdout] 688 |     pub ind: IndName,
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 689 |     pub npar: u32,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 690 |     pub cstr_ndecls: Arc<[u32]>,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 691 |     pub cstr_nargs: Arc<[u32]>,
[INFO] [stdout]     |         ^^^^^^^^^^
[INFO] [stdout] 692 |     pub relevance: Relevance, // removed in 8.20
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 693 |     pub pp_info: CasePrinting,
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `CaseInfo` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `ind`, `relevant`, `npars`, `arg`, and `name` are never read
[INFO] [stdout]    --> src/types.rs:698:9
[INFO] [stdout]     |
[INFO] [stdout] 697 |   pub struct ProjRepr {
[INFO] [stdout]     |              -------- fields in this struct
[INFO] [stdout] 698 |     pub ind: IndName,
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 699 |     pub relevant: bool, // removed in 8.20
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 700 |     pub npars: u32,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 701 |     pub arg: u32,
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 702 |     pub name: Label,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ProjRepr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple fields are never read
[INFO] [stdout]    --> src/types.rs:753:9
[INFO] [stdout]     |
[INFO] [stdout] 752 |   pub struct TypingFlags {
[INFO] [stdout]     |              ----------- fields in this struct
[INFO] [stdout] 753 |     pub check_guarded: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^^
[INFO] [stdout] 754 |     pub check_positive: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 755 |     pub check_universes: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 756 |     pub conv_oracle: ConvOracle,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 757 |     pub share_reduction: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 758 |     pub enable_vm: bool,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 759 |     pub enable_native_compiler: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 760 |     pub indices_matter: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 761 |     pub impredicative_set: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 762 |     pub sprop_allowed: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^^
[INFO] [stdout] 763 |     pub allow_uip: bool,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `TypingFlags` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `binders`, `types`, and `exprs` are never read
[INFO] [stdout]    --> src/types.rs:708:9
[INFO] [stdout]     |
[INFO] [stdout] 707 |   pub struct RecDecl {
[INFO] [stdout]     |              ------- fields in this struct
[INFO] [stdout] 708 |     pub binders: Vec<Arc<BinderAnnot<Name>>>,
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout] 709 |     pub types: Vec<Type>,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 710 |     pub exprs: Vec<Expr>,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `RecDecl` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `ctx`, `au_ctx`, and `au_subst` are never read
[INFO] [stdout]    --> src/types.rs:715:9
[INFO] [stdout]     |
[INFO] [stdout] 714 |   pub struct AbstrInfo {
[INFO] [stdout]     |              --------- fields in this struct
[INFO] [stdout] 715 |     pub ctx: NamedContext,
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 716 |     pub au_ctx: AbstractContext,
[INFO] [stdout]     |         ^^^^^^
[INFO] [stdout] 717 |     pub au_subst: Instance,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `AbstrInfo` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `inst` and `uinst` are never read
[INFO] [stdout]    --> src/types.rs:722:9
[INFO] [stdout]     |
[INFO] [stdout] 721 |   pub struct AbstrInstInfo {
[INFO] [stdout]     |              ------------- fields in this struct
[INFO] [stdout] 722 |     pub inst: RList<Id>,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 723 |     pub uinst: Instance,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `AbstrInstInfo` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `expand` and `abstr` are never read
[INFO] [stdout]    --> src/types.rs:728:9
[INFO] [stdout]     |
[INFO] [stdout] 727 |   pub struct CookingInfo {
[INFO] [stdout]     |              ----------- fields in this struct
[INFO] [stdout] 728 |     pub expand: ExpandInfo,
[INFO] [stdout]     |         ^^^^^^
[INFO] [stdout] 729 |     pub abstr: AbstrInfo,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `CookingInfo` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple fields are never read
[INFO] [stdout]    --> src/types.rs:768:9
[INFO] [stdout]     |
[INFO] [stdout] 767 |   pub struct ConstBody {
[INFO] [stdout]     |              --------- fields in this struct
[INFO] [stdout] 768 |     pub hyps: (),
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 769 |     pub univ_hyps: Instance,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 770 |     pub body: Lazy<ConstDef>,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 771 |     pub ty: Lazy<Type>,
[INFO] [stdout]     |         ^^
[INFO] [stdout] 772 |     pub relevance: Relevance,
[INFO] [stdout] 773 |     pub code: Option<Any>, // Option<BodyCode>
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 774 |     pub univs: Universes,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 775 |     pub inline_code: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 776 |     pub typing_flags: Arc<TypingFlags>,
[INFO] [stdout]     |         ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ConstBody` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `var_opacity`, `cst_opacity`, `var_trstate`, and `cst_trstate` are never read
[INFO] [stdout]    --> src/types.rs:734:9
[INFO] [stdout]     |
[INFO] [stdout] 733 |   pub struct ConvOracle {
[INFO] [stdout]     |              ---------- fields in this struct
[INFO] [stdout] 734 |     pub var_opacity: BTreeMap<Id, Transparency>,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 735 |     pub cst_opacity: Lazy<HashMap<Constant, Transparency>>,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 736 |     pub var_trstate: Predicate<Id>,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 737 |     pub cst_trstate: Predicate<Constant>,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ConvOracle` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `user_arity` and `sort` are never read
[INFO] [stdout]    --> src/types.rs:781:9
[INFO] [stdout]     |
[INFO] [stdout] 780 |   pub struct MonoIndArity {
[INFO] [stdout]     |              ------------ fields in this struct
[INFO] [stdout] 781 |     pub user_arity: Type,
[INFO] [stdout]     |         ^^^^^^^^^^
[INFO] [stdout] 782 |     pub sort: Sort,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `MonoIndArity` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `level` is never read
[INFO] [stdout]    --> src/types.rs:742:9
[INFO] [stdout]     |
[INFO] [stdout] 741 |   pub struct TemplateArity {
[INFO] [stdout]     |              ------------- field in this struct
[INFO] [stdout] 742 |     pub level: Sort,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `TemplateArity` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `param_levels` and `context` are never read
[INFO] [stdout]    --> src/types.rs:747:9
[INFO] [stdout]     |
[INFO] [stdout] 746 |   pub struct TemplateUnivs {
[INFO] [stdout]     |              ------------- fields in this struct
[INFO] [stdout] 747 |     pub param_levels: RList<Option<Level>>,
[INFO] [stdout]     |         ^^^^^^^^^^^^
[INFO] [stdout] 748 |     pub context: ContextSet,
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `TemplateUnivs` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple fields are never read
[INFO] [stdout]    --> src/types.rs:753:9
[INFO] [stdout]     |
[INFO] [stdout] 752 |   pub struct TypingFlags {
[INFO] [stdout]     |              ----------- fields in this struct
[INFO] [stdout] 753 |     pub check_guarded: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^^
[INFO] [stdout] 754 |     pub check_positive: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 755 |     pub check_universes: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 756 |     pub conv_oracle: ConvOracle,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 757 |     pub share_reduction: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^
[INFO] [stdout] 758 |     pub enable_vm: bool,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 759 |     pub enable_native_compiler: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 760 |     pub indices_matter: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^
[INFO] [stdout] 761 |     pub impredicative_set: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 762 |     pub sprop_allowed: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^^^
[INFO] [stdout] 763 |     pub allow_uip: bool,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `TypingFlags` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple fields are never read
[INFO] [stdout]    --> src/types.rs:787:9
[INFO] [stdout]     |
[INFO] [stdout] 786 |   pub struct OneIndBody {
[INFO] [stdout]     |              ---------- fields in this struct
[INFO] [stdout] 787 |     pub name: Id,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 788 |     pub arity_ctx: RelContext,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 789 |     pub arity: IndArity,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 790 |     pub ctor_names: Vec<Id>,
[INFO] [stdout]     |         ^^^^^^^^^^
[INFO] [stdout] 791 |     pub user_lc: Vec<Type>,
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout] 792 |     pub n_real_args: u32,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 793 |     pub n_real_decls: u32,
[INFO] [stdout]     |         ^^^^^^^^^^^^
[INFO] [stdout] 794 |     pub kelim: SortFamily, // removed in 8.20
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 795 |     // pub squashed: Option<SquashInfo>, // added in 8.20
[INFO] [stdout] 796 |     pub nf_lc: Vec<(RelContext, Type)>,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 797 |     pub cons_n_real_args: Vec<u32>,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^
[INFO] [stdout] 798 |     pub cons_n_real_decls: Vec<u32>,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 799 |     pub rec_args: WfPaths,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 800 |     pub relevance: Relevance,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 801 |     pub nb_constant: u32,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 802 |     pub nb_args: u32,
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout] 803 |     pub reloc_tbl: Any,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `OneIndBody` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple fields are never read
[INFO] [stdout]    --> src/types.rs:768:9
[INFO] [stdout]     |
[INFO] [stdout] 767 |   pub struct ConstBody {
[INFO] [stdout]     |              --------- fields in this struct
[INFO] [stdout] 768 |     pub hyps: (),
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 769 |     pub univ_hyps: Instance,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 770 |     pub body: Lazy<ConstDef>,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 771 |     pub ty: Lazy<Type>,
[INFO] [stdout]     |         ^^
[INFO] [stdout] 772 |     pub relevance: Relevance,
[INFO] [stdout] 773 |     pub code: Option<Any>, // Option<BodyCode>
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 774 |     pub univs: Universes,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 775 |     pub inline_code: bool,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 776 |     pub typing_flags: Arc<TypingFlags>,
[INFO] [stdout]     |         ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ConstBody` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `user_arity` and `sort` are never read
[INFO] [stdout]    --> src/types.rs:781:9
[INFO] [stdout]     |
[INFO] [stdout] 780 |   pub struct MonoIndArity {
[INFO] [stdout]     |              ------------ fields in this struct
[INFO] [stdout] 781 |     pub user_arity: Type,
[INFO] [stdout]     |         ^^^^^^^^^^
[INFO] [stdout] 782 |     pub sort: Sort,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `MonoIndArity` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple fields are never read
[INFO] [stdout]    --> src/types.rs:808:9
[INFO] [stdout]     |
[INFO] [stdout] 807 |   pub struct MutIndBody {
[INFO] [stdout]     |              ---------- fields in this struct
[INFO] [stdout] 808 |     pub packets: Vec<OneIndBody>,
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout] 809 |     pub record: RecordInfo,
[INFO] [stdout]     |         ^^^^^^
[INFO] [stdout] 810 |     pub recursivity: RecursivityKind,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 811 |     pub ntypes: u32,
[INFO] [stdout]     |         ^^^^^^
[INFO] [stdout] 812 |     pub hyps: (),
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 813 |     pub univ_hyps: Instance,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 814 |     pub n_params: u32,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 815 |     pub n_params_rec: u32,
[INFO] [stdout]     |         ^^^^^^^^^^^^
[INFO] [stdout] 816 |     pub params_ctx: RelContext,
[INFO] [stdout]     |         ^^^^^^^^^^
[INFO] [stdout] 817 |     pub univs: Universes,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 818 |     pub template: Option<TemplateUnivs>,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 819 |     pub variance: Option<Vec<Variance>>,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 820 |     pub sec_variance: Option<Vec<Variance>>,
[INFO] [stdout]     |         ^^^^^^^^^^^^
[INFO] [stdout] 821 |     pub private: Option<bool>,
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout] 822 |     pub flags: Arc<TypingFlags>,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `MutIndBody` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `expr` and `ty_alg` are never read
[INFO] [stdout]    --> src/types.rs:871:9
[INFO] [stdout]     |
[INFO] [stdout] 869 |   pub struct ModBody {
[INFO] [stdout]     |              ------- fields in this struct
[INFO] [stdout] 870 |     pub path: ModPath,
[INFO] [stdout] 871 |     pub expr: ModImpl,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 872 |     pub ty: ModSig,
[INFO] [stdout] 873 |     pub ty_alg: Option<ModExpr>,
[INFO] [stdout]     |         ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModBody` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `path`, `expr`, `ty`, `ty_alg`, `delta`, and `retro` are never read
[INFO] [stdout]    --> src/types.rs:880:9
[INFO] [stdout]     |
[INFO] [stdout] 879 |   pub struct ModTypeBody {
[INFO] [stdout]     |              ----------- fields in this struct
[INFO] [stdout] 880 |     pub path: ModPath,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 881 |     pub expr: (),
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 882 |     pub ty: ModSig,
[INFO] [stdout]     |         ^^
[INFO] [stdout] 883 |     pub ty_alg: Option<ModExpr>,
[INFO] [stdout]     |         ^^^^^^
[INFO] [stdout] 884 |     pub delta: DeltaResolver,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 885 |     pub retro: (),
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModTypeBody` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `name`, `univs`, and `deps` are never read
[INFO] [stdout]    --> src/types.rs:890:9
[INFO] [stdout]     |
[INFO] [stdout] 889 |   pub struct CompiledLibrary {
[INFO] [stdout]     |              --------------- fields in this struct
[INFO] [stdout] 890 |     pub name: DirPath,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 891 |     pub mod_: Arc<ModBody>,
[INFO] [stdout] 892 |     pub univs: ContextSet,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 893 |     pub deps: Vec<(CompilationUnitName, VoDigest)>,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `CompiledLibrary` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `ocaml` is never read
[INFO] [stdout]    --> src/types.rs:900:9
[INFO] [stdout]     |
[INFO] [stdout] 897 |   pub struct Summary {
[INFO] [stdout]     |              ------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 900 |     pub ocaml: String,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Summary` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `opaques` is never read
[INFO] [stdout]    --> src/types.rs:909:7
[INFO] [stdout]     |
[INFO] [stdout] 907 | pub struct Library {
[INFO] [stdout]     |            ------- field in this struct
[INFO] [stdout] 908 |   pub compiled: CompiledLibrary,
[INFO] [stdout] 909 |   pub opaques: Vec<Option<OpaqueProof>>,
[INFO] [stdout]     |       ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: using `.clone()` on a double reference, which returns `&str` instead of cloning the inner type
[INFO] [stdout]    --> src/types.rs:838:62
[INFO] [stdout]     |
[INFO] [stdout] 838 |       Some(Arc::new(ModPathKind::Dot(self.find_prefix(mp)?, n.clone())))
[INFO] [stdout]     |                                                              ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(suspicious_double_ref_op)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/types.rs:850:43
[INFO] [stdout]     |
[INFO] [stdout] 850 |           Ok(KerNameKind::new(mp, kn.label.clone()))
[INFO] [stdout]     |                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout]     = note: `#[warn(noop_method_call)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 92 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple fields are never read
[INFO] [stdout]    --> src/types.rs:787:9
[INFO] [stdout]     |
[INFO] [stdout] 786 |   pub struct OneIndBody {
[INFO] [stdout]     |              ---------- fields in this struct
[INFO] [stdout] 787 |     pub name: Id,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 788 |     pub arity_ctx: RelContext,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 789 |     pub arity: IndArity,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 790 |     pub ctor_names: Vec<Id>,
[INFO] [stdout]     |         ^^^^^^^^^^
[INFO] [stdout] 791 |     pub user_lc: Vec<Type>,
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout] 792 |     pub n_real_args: u32,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 793 |     pub n_real_decls: u32,
[INFO] [stdout]     |         ^^^^^^^^^^^^
[INFO] [stdout] 794 |     pub kelim: SortFamily, // removed in 8.20
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 795 |     // pub squashed: Option<SquashInfo>, // added in 8.20
[INFO] [stdout] 796 |     pub nf_lc: Vec<(RelContext, Type)>,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 797 |     pub cons_n_real_args: Vec<u32>,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^
[INFO] [stdout] 798 |     pub cons_n_real_decls: Vec<u32>,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 799 |     pub rec_args: WfPaths,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 800 |     pub relevance: Relevance,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 801 |     pub nb_constant: u32,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 802 |     pub nb_args: u32,
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout] 803 |     pub reloc_tbl: Any,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `OneIndBody` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple fields are never read
[INFO] [stdout]    --> src/types.rs:808:9
[INFO] [stdout]     |
[INFO] [stdout] 807 |   pub struct MutIndBody {
[INFO] [stdout]     |              ---------- fields in this struct
[INFO] [stdout] 808 |     pub packets: Vec<OneIndBody>,
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout] 809 |     pub record: RecordInfo,
[INFO] [stdout]     |         ^^^^^^
[INFO] [stdout] 810 |     pub recursivity: RecursivityKind,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 811 |     pub ntypes: u32,
[INFO] [stdout]     |         ^^^^^^
[INFO] [stdout] 812 |     pub hyps: (),
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 813 |     pub univ_hyps: Instance,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] 814 |     pub n_params: u32,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 815 |     pub n_params_rec: u32,
[INFO] [stdout]     |         ^^^^^^^^^^^^
[INFO] [stdout] 816 |     pub params_ctx: RelContext,
[INFO] [stdout]     |         ^^^^^^^^^^
[INFO] [stdout] 817 |     pub univs: Universes,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 818 |     pub template: Option<TemplateUnivs>,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 819 |     pub variance: Option<Vec<Variance>>,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 820 |     pub sec_variance: Option<Vec<Variance>>,
[INFO] [stdout]     |         ^^^^^^^^^^^^
[INFO] [stdout] 821 |     pub private: Option<bool>,
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout] 822 |     pub flags: Arc<TypingFlags>,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `MutIndBody` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `expr` and `ty_alg` are never read
[INFO] [stdout]    --> src/types.rs:871:9
[INFO] [stdout]     |
[INFO] [stdout] 869 |   pub struct ModBody {
[INFO] [stdout]     |              ------- fields in this struct
[INFO] [stdout] 870 |     pub path: ModPath,
[INFO] [stdout] 871 |     pub expr: ModImpl,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 872 |     pub ty: ModSig,
[INFO] [stdout] 873 |     pub ty_alg: Option<ModExpr>,
[INFO] [stdout]     |         ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModBody` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `path`, `expr`, `ty`, `ty_alg`, `delta`, and `retro` are never read
[INFO] [stdout]    --> src/types.rs:880:9
[INFO] [stdout]     |
[INFO] [stdout] 879 |   pub struct ModTypeBody {
[INFO] [stdout]     |              ----------- fields in this struct
[INFO] [stdout] 880 |     pub path: ModPath,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 881 |     pub expr: (),
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 882 |     pub ty: ModSig,
[INFO] [stdout]     |         ^^
[INFO] [stdout] 883 |     pub ty_alg: Option<ModExpr>,
[INFO] [stdout]     |         ^^^^^^
[INFO] [stdout] 884 |     pub delta: DeltaResolver,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 885 |     pub retro: (),
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ModTypeBody` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `name`, `univs`, and `deps` are never read
[INFO] [stdout]    --> src/types.rs:890:9
[INFO] [stdout]     |
[INFO] [stdout] 889 |   pub struct CompiledLibrary {
[INFO] [stdout]     |              --------------- fields in this struct
[INFO] [stdout] 890 |     pub name: DirPath,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout] 891 |     pub mod_: Arc<ModBody>,
[INFO] [stdout] 892 |     pub univs: ContextSet,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 893 |     pub deps: Vec<(CompilationUnitName, VoDigest)>,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `CompiledLibrary` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `ocaml` is never read
[INFO] [stdout]    --> src/types.rs:900:9
[INFO] [stdout]     |
[INFO] [stdout] 897 |   pub struct Summary {
[INFO] [stdout]     |              ------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 900 |     pub ocaml: String,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Summary` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: this warning originates in the macro `from_data_struct` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `opaques` is never read
[INFO] [stdout]    --> src/types.rs:909:7
[INFO] [stdout]     |
[INFO] [stdout] 907 | pub struct Library {
[INFO] [stdout]     |            ------- field in this struct
[INFO] [stdout] 908 |   pub compiled: CompiledLibrary,
[INFO] [stdout] 909 |   pub opaques: Vec<Option<OpaqueProof>>,
[INFO] [stdout]     |       ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: using `.clone()` on a double reference, which returns `&str` instead of cloning the inner type
[INFO] [stdout]    --> src/types.rs:838:62
[INFO] [stdout]     |
[INFO] [stdout] 838 |       Some(Arc::new(ModPathKind::Dot(self.find_prefix(mp)?, n.clone())))
[INFO] [stdout]     |                                                              ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(suspicious_double_ref_op)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/types.rs:850:43
[INFO] [stdout]     |
[INFO] [stdout] 850 |           Ok(KerNameKind::new(mp, kn.label.clone()))
[INFO] [stdout]     |                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout]     = note: `#[warn(noop_method_call)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 92 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 8.24s
[INFO] running `Command { std: "docker" "inspect" "04f93ab4e21308a1e3774d09d7f122af550d349783042883dd389066a815b3ce", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "04f93ab4e21308a1e3774d09d7f122af550d349783042883dd389066a815b3ce", kill_on_drop: false }`
[INFO] [stdout] 04f93ab4e21308a1e3774d09d7f122af550d349783042883dd389066a815b3ce