[INFO] fetching crate hax-driver 0.1.0-alpha.1...
[INFO] checking hax-driver-0.1.0-alpha.1 against master#3f1be1ec7ec3d8e80beb381ee82164a0aa3ca777 for pr-132289
[INFO] extracting crate hax-driver 0.1.0-alpha.1 into /workspace/builds/worker-1-tc1/source
[INFO] validating manifest of crates.io crate hax-driver 0.1.0-alpha.1 on toolchain 3f1be1ec7ec3d8e80beb381ee82164a0aa3ca777
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3f1be1ec7ec3d8e80beb381ee82164a0aa3ca777" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate hax-driver 0.1.0-alpha.1
[INFO] finished tweaking crates.io crate hax-driver 0.1.0-alpha.1
[INFO] tweaked toml for crates.io crate hax-driver 0.1.0-alpha.1 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] crate crates.io crate hax-driver 0.1.0-alpha.1 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" "+3f1be1ec7ec3d8e80beb381ee82164a0aa3ca777" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded hax-types v0.1.0-alpha.1
[INFO] [stderr]   Downloaded hax-frontend-exporter-options v0.1.0-alpha.1
[INFO] [stderr]   Downloaded tracing-tree v0.2.5
[INFO] [stderr]   Downloaded ext-trait v1.0.1
[INFO] [stderr]   Downloaded path-clean v1.0.1
[INFO] [stderr]   Downloaded extension-traits v1.0.1
[INFO] [stderr]   Downloaded hax-lib-macros-types v0.1.0-alpha.1
[INFO] [stderr]   Downloaded ext-trait-proc_macros v1.0.1
[INFO] [stderr]   Downloaded hax-adt-into v0.1.0-alpha.1
[INFO] [stderr]   Downloaded annotate-snippets v0.11.4
[INFO] [stderr]   Downloaded hax-frontend-exporter v0.1.0-alpha.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+3f1be1ec7ec3d8e80beb381ee82164a0aa3ca777" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0f3b64197496704395cef490c9a7d3c7832eb32364fb42321a977846962923e4
[INFO] running `Command { std: "docker" "start" "-a" "0f3b64197496704395cef490c9a7d3c7832eb32364fb42321a977846962923e4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0f3b64197496704395cef490c9a7d3c7832eb32364fb42321a977846962923e4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0f3b64197496704395cef490c9a7d3c7832eb32364fb42321a977846962923e4", kill_on_drop: false }`
[INFO] [stdout] 0f3b64197496704395cef490c9a7d3c7832eb32364fb42321a977846962923e4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+3f1be1ec7ec3d8e80beb381ee82164a0aa3ca777" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 96f3db508922f39e49b3058a612279676e57b8b7c18e9c93517c3fa9d9ceb28c
[INFO] running `Command { std: "docker" "start" "-a" "96f3db508922f39e49b3058a612279676e57b8b7c18e9c93517c3fa9d9ceb28c", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.86
[INFO] [stderr]     Checking once_cell v1.20.1
[INFO] [stderr]    Compiling serde v1.0.210
[INFO] [stderr]     Checking utf8parse v0.2.2
[INFO] [stderr]    Compiling schemars v0.8.21
[INFO] [stderr]    Compiling libc v0.2.159
[INFO] [stderr]    Compiling either v1.13.0
[INFO] [stderr]     Checking anstyle v1.0.8
[INFO] [stderr]    Compiling virtue v0.0.13
[INFO] [stderr]     Checking dyn-clone v1.0.17
[INFO] [stderr]     Checking is_terminal_polyfill v1.70.1
[INFO] [stderr]     Checking regex-syntax v0.8.5
[INFO] [stderr]     Checking colorchoice v1.0.2
[INFO] [stderr]     Checking anstyle-query v1.1.1
[INFO] [stderr]     Checking regex-automata v0.1.10
[INFO] [stderr]     Checking anstyle-parse v0.2.5
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]     Checking unicode-ident v1.0.13
[INFO] [stderr]     Checking clap_lex v0.7.2
[INFO] [stderr]     Checking itertools v0.11.0
[INFO] [stderr]     Checking tracing-core v0.1.32
[INFO] [stderr]     Checking thread_local v1.1.8
[INFO] [stderr]     Checking sharded-slab v0.1.7
[INFO] [stderr]    Compiling hax-types v0.1.0-alpha.1
[INFO] [stderr]     Checking anstream v0.6.15
[INFO] [stderr]     Checking annotate-snippets v0.11.4
[INFO] [stderr]     Checking colored v2.1.0
[INFO] [stderr]     Checking path-clean v1.0.1
[INFO] [stderr]     Checking clap_builder v4.5.19
[INFO] [stderr]    Compiling bincode_derive v2.0.0-rc.3
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]     Checking tracing-log v0.1.4
[INFO] [stderr]    Compiling jobserver v0.1.32
[INFO] [stderr]     Checking quote v1.0.37
[INFO] [stderr]     Checking matchers v0.1.0
[INFO] [stderr]     Checking bincode v2.0.0-rc.3
[INFO] [stderr]    Compiling cc v1.1.24
[INFO] [stderr]    Compiling syn v2.0.79
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking uuid v1.10.0
[INFO] [stderr]     Checking regex-automata v0.4.8
[INFO] [stderr]    Compiling zstd-sys v2.0.13+zstd.1.5.6
[INFO] [stderr]     Checking regex v1.11.0
[INFO] [stderr]    Compiling serde_derive_internals v0.29.1
[INFO] [stderr]    Compiling ext-trait-proc_macros v1.0.1
[INFO] [stderr]    Compiling hax-adt-into v0.1.0-alpha.1
[INFO] [stderr]    Compiling serde_derive v1.0.210
[INFO] [stderr]    Compiling tracing-attributes v0.1.27
[INFO] [stderr]    Compiling clap_derive v4.5.18
[INFO] [stderr]    Compiling schemars_derive v0.8.21
[INFO] [stderr]    Compiling zstd-safe v7.2.1
[INFO] [stderr]     Checking ext-trait v1.0.1
[INFO] [stderr]     Checking extension-traits v1.0.1
[INFO] [stderr]     Checking zstd v0.13.2
[INFO] [stderr]     Checking tracing v0.1.40
[INFO] [stderr]     Checking tracing-subscriber v0.3.18
[INFO] [stderr]     Checking clap v4.5.19
[INFO] [stderr]     Checking tracing-tree v0.2.5
[INFO] [stderr]     Checking serde_json v1.0.128
[INFO] [stderr]     Checking hax-lib-macros-types v0.1.0-alpha.1
[INFO] [stderr]     Checking hax-frontend-exporter-options v0.1.0-alpha.1
[INFO] [stderr]     Checking hax-frontend-exporter v0.1.0-alpha.1
[INFO] [stdout] error[E0463]: can't find crate for `rustc_abi`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:22:5
[INFO] [stdout]    |
[INFO] [stdout] 22 |     extern crate rustc_abi;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_ast`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 |     extern crate rustc_ast;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_ast_pretty`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 |     extern crate rustc_ast_pretty;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_attr`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:25:5
[INFO] [stdout]    |
[INFO] [stdout] 25 |     extern crate rustc_attr;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_data_structures`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:26:5
[INFO] [stdout]    |
[INFO] [stdout] 26 |     extern crate rustc_data_structures;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_driver`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:27:5
[INFO] [stdout]    |
[INFO] [stdout] 27 |     extern crate rustc_driver;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_errors`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:28:5
[INFO] [stdout]    |
[INFO] [stdout] 28 |     extern crate rustc_errors;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_hir`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:29:5
[INFO] [stdout]    |
[INFO] [stdout] 29 |     extern crate rustc_hir;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_hir_analysis`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:30:5
[INFO] [stdout]    |
[INFO] [stdout] 30 |     extern crate rustc_hir_analysis;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_index`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 |     extern crate rustc_index;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_infer`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:32:5
[INFO] [stdout]    |
[INFO] [stdout] 32 |     extern crate rustc_infer;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_interface`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:33:5
[INFO] [stdout]    |
[INFO] [stdout] 33 |     extern crate rustc_interface;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_middle`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:34:5
[INFO] [stdout]    |
[INFO] [stdout] 34 |     extern crate rustc_middle;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_mir_build`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:35:5
[INFO] [stdout]    |
[INFO] [stdout] 35 |     extern crate rustc_mir_build;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_session`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 36 |     extern crate rustc_session;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_span`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:37:5
[INFO] [stdout]    |
[INFO] [stdout] 37 |     extern crate rustc_span;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_target`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:38:5
[INFO] [stdout]    |
[INFO] [stdout] 38 |     extern crate rustc_target;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_trait_selection`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:39:5
[INFO] [stdout]    |
[INFO] [stdout] 39 |     extern crate rustc_trait_selection;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_type_ir`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:40:5
[INFO] [stdout]    |
[INFO] [stdout] 40 |     extern crate rustc_type_ir;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_lexer`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/lib.rs:41:5
[INFO] [stdout]    |
[INFO] [stdout] 41 |     extern crate rustc_lexer;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `super::AnnotatedTraitPred`, `super::Path`, `super::PathChunk`, `super::TyCtxtExtPredOrAbove`, `ty::ClosureArgs`, `ty::Upcast`, `DefKind::*`
[INFO] [stdout]     --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/copied.rs:3812:10
[INFO] [stdout]      |
[INFO] [stdout] 3812 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]     ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:82:17
[INFO] [stdout]      |
[INFO] [stdout] 82   |             use ty::Upcast;
[INFO] [stdout]      |                 ^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]     ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:148:17
[INFO] [stdout]      |
[INFO] [stdout] 148  |             use DefKind::*;
[INFO] [stdout]      |                 ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 246  |         use super::{AnnotatedTraitPred, Path, PathChunk, TyCtxtExtPredOrAbove};
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^^  ^^^^  ^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: this error originates in the derive macro `AdtInto` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocFn` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:337:9
[INFO] [stdout]     |
[INFO] [stdout] 337 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 338 |         | AssocFn
[INFO] [stdout]     |           ------- variable not in all patterns
[INFO] [stdout] 339 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 340 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 341 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 342 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 343 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 344 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 345 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 346 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 347 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 348 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 349 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 350 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 351 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 352 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 353 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::AssocFn`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:338:11
[INFO] [stdout]     |
[INFO] [stdout] 338 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Const` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:337:9
[INFO] [stdout]     |
[INFO] [stdout] 337 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 338 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 339 |         | Const
[INFO] [stdout]     |           ----- variable not in all patterns
[INFO] [stdout] 340 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 341 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 342 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Const`
[INFO] [stdout] 343 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 344 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 345 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Const`
[INFO] [stdout] 346 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 347 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 348 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 349 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 350 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 351 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 352 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Const`
[INFO] [stdout] 353 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 339 |         | crate::AssocItemKind::Const
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 339 |         | crate::AssocKind::Const
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 339 |         | crate::BoundVariableKind::Const
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 339 |         | crate::Constness::Const
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout]       and 1 other candidate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Enum` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:337:9
[INFO] [stdout]     |
[INFO] [stdout] 337 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 338 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 339 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 340 |         | Enum
[INFO] [stdout]     |           ---- variable not in all patterns
[INFO] [stdout] 341 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 342 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Enum`
[INFO] [stdout] 343 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 344 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 345 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 346 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 347 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 348 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 349 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 350 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 351 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 352 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 353 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 340 |         | crate::AdtKind::Enum
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 340 |         | serde::de::Unexpected::Enum
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Field` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:337:9
[INFO] [stdout]     |
[INFO] [stdout] 337 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 338 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 339 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 340 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 341 |         | Field
[INFO] [stdout]     |           ----- variable not in all patterns
[INFO] [stdout] 342 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Field`
[INFO] [stdout] 343 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 344 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 345 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Field`
[INFO] [stdout] 346 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 347 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 348 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 349 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 350 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 351 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 352 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Field`
[INFO] [stdout] 353 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::FullDefKind::Field`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 341 |         | crate::FullDefKind::Field
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Fn` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:337:9
[INFO] [stdout]     |
[INFO] [stdout] 337 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 338 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 339 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 340 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 341 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 342 |         | Fn
[INFO] [stdout]     |           -- variable not in all patterns
[INFO] [stdout] 343 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 344 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 345 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 346 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 347 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 348 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 349 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 350 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 351 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 352 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 353 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 342 |         | crate::AssocKind::Fn
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 342 |         | crate::ClosureKind::Fn
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 342 |         | crate::CtorKind::Fn
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `ForeignTy` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:337:9
[INFO] [stdout]     |
[INFO] [stdout] 337 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 338 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 339 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 340 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 341 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 342 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 343 |         | ForeignTy
[INFO] [stdout]     |           --------- variable not in all patterns
[INFO] [stdout] 344 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 345 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 346 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 347 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 348 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 349 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 350 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 351 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 352 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 353 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::FullDefKind::ForeignTy`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 343 |         | crate::FullDefKind::ForeignTy
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Mod` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:337:9
[INFO] [stdout]     |
[INFO] [stdout] 337 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 338 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 339 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 340 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 341 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 342 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Mod`
[INFO] [stdout] 343 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 344 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 345 |         | Mod
[INFO] [stdout]     |           --- variable not in all patterns
[INFO] [stdout] 346 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 347 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 348 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 349 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 350 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 351 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 352 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 353 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::FullDefKind::Mod`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 345 |         | crate::FullDefKind::Mod
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Struct` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:337:9
[INFO] [stdout]     |
[INFO] [stdout] 337 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 338 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 339 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 340 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 341 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 342 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Struct`
[INFO] [stdout] 343 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 344 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 345 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 346 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 347 |         | Struct
[INFO] [stdout]     |           ------ variable not in all patterns
[INFO] [stdout] 348 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 349 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 350 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 351 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 352 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 353 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 347 |         | crate::AdtKind::Struct
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 347 |         | crate::CtorOf::Struct
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Trait` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:337:9
[INFO] [stdout]     |
[INFO] [stdout] 337 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 338 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 339 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 340 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 341 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 342 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Trait`
[INFO] [stdout] 343 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 344 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 345 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 346 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 347 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 348 |         | Trait
[INFO] [stdout]     |           ----- variable not in all patterns
[INFO] [stdout] 349 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 350 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 351 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 352 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 353 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::Trait`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:348:11
[INFO] [stdout]     |
[INFO] [stdout] 348 |         | Trait
[INFO] [stdout]     |           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `TraitAlias` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:337:9
[INFO] [stdout]     |
[INFO] [stdout] 337 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 338 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 339 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 340 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 341 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 342 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 343 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 344 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 345 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 346 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 347 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 348 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 349 |         | TraitAlias
[INFO] [stdout]     |           ---------- variable not in all patterns
[INFO] [stdout] 350 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 351 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 352 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 353 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::FullDefKind::TraitAlias`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 349 |         | crate::FullDefKind::TraitAlias
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Union` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:337:9
[INFO] [stdout]     |
[INFO] [stdout] 337 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 338 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 339 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 340 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 341 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 342 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Union`
[INFO] [stdout] 343 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 344 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 345 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Union`
[INFO] [stdout] 346 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 347 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 348 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 349 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 350 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 351 |         | Union
[INFO] [stdout]     |           ----- variable not in all patterns
[INFO] [stdout] 352 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Union`
[INFO] [stdout] 353 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::AdtKind::Union`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 351 |         | crate::AdtKind::Union
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Use` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:337:9
[INFO] [stdout]     |
[INFO] [stdout] 337 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 338 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 339 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 340 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 341 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 342 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Use`
[INFO] [stdout] 343 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 344 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 345 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Use`
[INFO] [stdout] 346 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 347 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 348 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 349 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 350 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 351 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 352 |         | Use
[INFO] [stdout]     |           --- variable not in all patterns
[INFO] [stdout] 353 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 352 |         | crate::DefPathItem::Use
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 352 |         | crate::FullDefKind::Use
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Variant` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:337:9
[INFO] [stdout]     |
[INFO] [stdout] 337 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 338 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 339 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 340 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 341 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 342 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Variant`
[INFO] [stdout] 343 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 344 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 345 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 346 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 347 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 348 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 349 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 350 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 351 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 352 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 353 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ------- variable not in all patterns
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 353 |         | crate::CtorOf::Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 353 |         | crate::FullDefKind::Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocConst` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:338:11
[INFO] [stdout]     |
[INFO] [stdout] 337 |         AssocConst
[INFO] [stdout]     |         ---------- variable not in all patterns
[INFO] [stdout] 338 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 339 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 340 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 341 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 342 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 343 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 344 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 345 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 346 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 347 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 348 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 349 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 350 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 351 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 352 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 353 |         | Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::AssocConst`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:337:9
[INFO] [stdout]     |
[INFO] [stdout] 337 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocTy` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:355:9
[INFO] [stdout]     |
[INFO] [stdout] 355 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 356 |         | AssocTy
[INFO] [stdout]     |           ------- variable not in all patterns
[INFO] [stdout] 357 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 358 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 359 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 360 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 361 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 362 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 363 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 364 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 365 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 366 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 367 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::AssocTy`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:356:11
[INFO] [stdout]     |
[INFO] [stdout] 356 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Closure` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:355:9
[INFO] [stdout]     |
[INFO] [stdout] 355 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 356 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 357 |         | Closure
[INFO] [stdout]     |           ------- variable not in all patterns
[INFO] [stdout] 358 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 359 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 360 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 361 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 362 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 363 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 364 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 365 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 366 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 367 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefPathItem::Closure`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 357 |         | crate::DefPathItem::Closure
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `ConstParam` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:355:9
[INFO] [stdout]     |
[INFO] [stdout] 355 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 356 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 357 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 358 |         | ConstParam
[INFO] [stdout]     |           ---------- variable not in all patterns
[INFO] [stdout] 359 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 360 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 361 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 362 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 363 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 364 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 365 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 366 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 367 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::FullDefKind::ConstParam`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 358 |         | crate::FullDefKind::ConstParam
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `ExternCrate` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:355:9
[INFO] [stdout]     |
[INFO] [stdout] 355 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 356 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 357 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 358 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 359 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 360 |         | ExternCrate
[INFO] [stdout]     |           ----------- variable not in all patterns
[INFO] [stdout] 361 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 362 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 363 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 364 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 365 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 366 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 367 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::FullDefKind::ExternCrate`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 360 |         | crate::FullDefKind::ExternCrate
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `ForeignMod` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:355:9
[INFO] [stdout]     |
[INFO] [stdout] 355 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 356 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 357 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 358 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 359 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 360 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 361 |         | ForeignMod
[INFO] [stdout]     |           ---------- variable not in all patterns
[INFO] [stdout] 362 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 363 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 364 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 365 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 366 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 367 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 361 |         | crate::DefPathItem::ForeignMod
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 361 |         | crate::FullDefKind::ForeignMod
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `GlobalAsm` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:355:9
[INFO] [stdout]     |
[INFO] [stdout] 355 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 356 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 357 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 358 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 359 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 360 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 361 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 362 |         | GlobalAsm
[INFO] [stdout]     |           --------- variable not in all patterns
[INFO] [stdout] 363 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 364 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 365 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 366 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 367 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 362 |         | crate::DefPathItem::GlobalAsm
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 362 |         | crate::FullDefKind::GlobalAsm
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `InlineConst` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:355:9
[INFO] [stdout]     |
[INFO] [stdout] 355 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 356 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 357 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 358 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 359 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 360 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 361 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 362 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 363 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 364 |         | InlineConst
[INFO] [stdout]     |           ----------- variable not in all patterns
[INFO] [stdout] 365 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 366 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 367 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::FullDefKind::InlineConst`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 364 |         | crate::FullDefKind::InlineConst
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `LifetimeParam` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:355:9
[INFO] [stdout]     |
[INFO] [stdout] 355 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 356 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 357 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 358 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 359 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 360 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 361 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 362 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 363 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 364 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 365 |         | LifetimeParam
[INFO] [stdout]     |           ------------- variable not in all patterns
[INFO] [stdout] 366 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 367 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::FullDefKind::LifetimeParam`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 365 |         | crate::FullDefKind::LifetimeParam
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `OpaqueTy` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:355:9
[INFO] [stdout]     |
[INFO] [stdout] 355 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 356 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 357 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 358 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 359 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 360 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 361 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 362 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 363 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 364 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 365 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 366 |         | OpaqueTy
[INFO] [stdout]     |           -------- variable not in all patterns
[INFO] [stdout] 367 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 366 |         | crate::DefPathItem::OpaqueTy
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 366 |         | crate::DesugaringKind::OpaqueTy
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 366 |         | crate::FullDefKind::OpaqueTy
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `TyParam` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:355:9
[INFO] [stdout]     |
[INFO] [stdout] 355 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 356 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 357 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 358 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 359 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 360 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 361 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 362 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 363 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 364 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 365 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 366 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 367 |         | TyParam => None,
[INFO] [stdout]     |           ------- variable not in all patterns
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::FullDefKind::TyParam`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 367 |         | crate::FullDefKind::TyParam => None,
[INFO] [stdout]     |           ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AnonConst` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:356:11
[INFO] [stdout]     |
[INFO] [stdout] 355 |         AnonConst
[INFO] [stdout]     |         --------- variable not in all patterns
[INFO] [stdout] 356 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 357 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 358 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 359 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 360 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 361 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 362 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 363 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 364 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 365 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 366 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 367 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 355 |         crate::DefPathItem::AnonConst
[INFO] [stdout]     |
[INFO] [stdout] 355 |         crate::FullDefKind::AnonConst
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocFn` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:154:17
[INFO] [stdout]     |
[INFO] [stdout] 154 |                 AssocTy | AssocFn | AssocConst | Closure => {
[INFO] [stdout]     |                 ^^^^^^^   -------   ^^^^^^^^^^   ^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout]     |                 |         |         |
[INFO] [stdout]     |                 |         |         pattern doesn't bind `AssocFn`
[INFO] [stdout]     |                 |         variable not in all patterns
[INFO] [stdout]     |                 pattern doesn't bind `AssocFn`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::AssocFn`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:154:27
[INFO] [stdout]     |
[INFO] [stdout] 154 |                 AssocTy | AssocFn | AssocConst | Closure => {
[INFO] [stdout]     |                           ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocConst` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:154:17
[INFO] [stdout]     |
[INFO] [stdout] 154 |                 AssocTy | AssocFn | AssocConst | Closure => {
[INFO] [stdout]     |                 ^^^^^^^   ^^^^^^^   ----------   ^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout]     |                 |         |         |
[INFO] [stdout]     |                 |         |         variable not in all patterns
[INFO] [stdout]     |                 |         pattern doesn't bind `AssocConst`
[INFO] [stdout]     |                 pattern doesn't bind `AssocConst`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::AssocConst`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:154:37
[INFO] [stdout]     |
[INFO] [stdout] 154 |                 AssocTy | AssocFn | AssocConst | Closure => {
[INFO] [stdout]     |                                     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Closure` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:154:17
[INFO] [stdout]     |
[INFO] [stdout] 154 |                 AssocTy | AssocFn | AssocConst | Closure => {
[INFO] [stdout]     |                 ^^^^^^^   ^^^^^^^   ^^^^^^^^^^   ------- variable not in all patterns
[INFO] [stdout]     |                 |         |         |
[INFO] [stdout]     |                 |         |         pattern doesn't bind `Closure`
[INFO] [stdout]     |                 |         pattern doesn't bind `Closure`
[INFO] [stdout]     |                 pattern doesn't bind `Closure`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefPathItem::Closure`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 154 |                 AssocTy | AssocFn | AssocConst | crate::DefPathItem::Closure => {
[INFO] [stdout]     |                                                  ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocTy` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:154:27
[INFO] [stdout]     |
[INFO] [stdout] 154 |                 AssocTy | AssocFn | AssocConst | Closure => {
[INFO] [stdout]     |                 -------   ^^^^^^^   ^^^^^^^^^^   ^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout]     |                 |         |         |
[INFO] [stdout]     |                 |         |         pattern doesn't bind `AssocTy`
[INFO] [stdout]     |                 |         pattern doesn't bind `AssocTy`
[INFO] [stdout]     |                 variable not in all patterns
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::AssocTy`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:154:17
[INFO] [stdout]     |
[INFO] [stdout] 154 |                 AssocTy | AssocFn | AssocConst | Closure => {
[INFO] [stdout]     |                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocFn` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:165:17
[INFO] [stdout]     |
[INFO] [stdout] 165 |                 AssocConst
[INFO] [stdout]     |                 ^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 166 |                 | AssocFn
[INFO] [stdout]     |                   ------- variable not in all patterns
[INFO] [stdout] 167 |                 | AssocTy
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 168 |                 | Const
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 169 |                 | Enum
[INFO] [stdout]     |                   ^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 170 |                 | Fn
[INFO] [stdout]     |                   ^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 171 |                 | ForeignTy
[INFO] [stdout]     |                   ^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 172 |                 | Impl { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 173 |                 | OpaqueTy
[INFO] [stdout]     |                   ^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 174 |                 | Static { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 175 |                 | Struct
[INFO] [stdout]     |                   ^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 176 |                 | TraitAlias
[INFO] [stdout]     |                   ^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 177 |                 | TyAlias
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 178 |                 | Union => {
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::AssocFn`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:166:19
[INFO] [stdout]     |
[INFO] [stdout] 166 |                 | AssocFn
[INFO] [stdout]     |                   ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocTy` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:165:17
[INFO] [stdout]     |
[INFO] [stdout] 165 |                 AssocConst
[INFO] [stdout]     |                 ^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 166 |                 | AssocFn
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 167 |                 | AssocTy
[INFO] [stdout]     |                   ------- variable not in all patterns
[INFO] [stdout] 168 |                 | Const
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 169 |                 | Enum
[INFO] [stdout]     |                   ^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 170 |                 | Fn
[INFO] [stdout]     |                   ^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 171 |                 | ForeignTy
[INFO] [stdout]     |                   ^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 172 |                 | Impl { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 173 |                 | OpaqueTy
[INFO] [stdout]     |                   ^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 174 |                 | Static { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 175 |                 | Struct
[INFO] [stdout]     |                   ^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 176 |                 | TraitAlias
[INFO] [stdout]     |                   ^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 177 |                 | TyAlias
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 178 |                 | Union => {
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::AssocTy`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:167:19
[INFO] [stdout]     |
[INFO] [stdout] 167 |                 | AssocTy
[INFO] [stdout]     |                   ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Const` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:165:17
[INFO] [stdout]     |
[INFO] [stdout] 165 |                 AssocConst
[INFO] [stdout]     |                 ^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 166 |                 | AssocFn
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 167 |                 | AssocTy
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 168 |                 | Const
[INFO] [stdout]     |                   ----- variable not in all patterns
[INFO] [stdout] 169 |                 | Enum
[INFO] [stdout]     |                   ^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 170 |                 | Fn
[INFO] [stdout]     |                   ^^ pattern doesn't bind `Const`
[INFO] [stdout] 171 |                 | ForeignTy
[INFO] [stdout]     |                   ^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 172 |                 | Impl { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 173 |                 | OpaqueTy
[INFO] [stdout]     |                   ^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 174 |                 | Static { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 175 |                 | Struct
[INFO] [stdout]     |                   ^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 176 |                 | TraitAlias
[INFO] [stdout]     |                   ^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 177 |                 | TyAlias
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 178 |                 | Union => {
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `Const`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 168 |                 | crate::AssocItemKind::Const
[INFO] [stdout]     |                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 168 |                 | crate::AssocKind::Const
[INFO] [stdout]     |                   ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 168 |                 | crate::BoundVariableKind::Const
[INFO] [stdout]     |                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 168 |                 | crate::Constness::Const
[INFO] [stdout]     |                   ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout]       and 1 other candidate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Enum` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:165:17
[INFO] [stdout]     |
[INFO] [stdout] 165 |                 AssocConst
[INFO] [stdout]     |                 ^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 166 |                 | AssocFn
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 167 |                 | AssocTy
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 168 |                 | Const
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 169 |                 | Enum
[INFO] [stdout]     |                   ---- variable not in all patterns
[INFO] [stdout] 170 |                 | Fn
[INFO] [stdout]     |                   ^^ pattern doesn't bind `Enum`
[INFO] [stdout] 171 |                 | ForeignTy
[INFO] [stdout]     |                   ^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 172 |                 | Impl { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 173 |                 | OpaqueTy
[INFO] [stdout]     |                   ^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 174 |                 | Static { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 175 |                 | Struct
[INFO] [stdout]     |                   ^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 176 |                 | TraitAlias
[INFO] [stdout]     |                   ^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 177 |                 | TyAlias
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 178 |                 | Union => {
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 169 |                 | crate::AdtKind::Enum
[INFO] [stdout]     |                   ~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 169 |                 | serde::de::Unexpected::Enum
[INFO] [stdout]     |                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Fn` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:165:17
[INFO] [stdout]     |
[INFO] [stdout] 165 |                 AssocConst
[INFO] [stdout]     |                 ^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 166 |                 | AssocFn
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 167 |                 | AssocTy
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 168 |                 | Const
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 169 |                 | Enum
[INFO] [stdout]     |                   ^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 170 |                 | Fn
[INFO] [stdout]     |                   -- variable not in all patterns
[INFO] [stdout] 171 |                 | ForeignTy
[INFO] [stdout]     |                   ^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 172 |                 | Impl { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 173 |                 | OpaqueTy
[INFO] [stdout]     |                   ^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 174 |                 | Static { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 175 |                 | Struct
[INFO] [stdout]     |                   ^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 176 |                 | TraitAlias
[INFO] [stdout]     |                   ^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 177 |                 | TyAlias
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 178 |                 | Union => {
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 170 |                 | crate::AssocKind::Fn
[INFO] [stdout]     |                   ~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 170 |                 | crate::ClosureKind::Fn
[INFO] [stdout]     |                   ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 170 |                 | crate::CtorKind::Fn
[INFO] [stdout]     |                   ~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `ForeignTy` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:165:17
[INFO] [stdout]     |
[INFO] [stdout] 165 |                 AssocConst
[INFO] [stdout]     |                 ^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 166 |                 | AssocFn
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 167 |                 | AssocTy
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 168 |                 | Const
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 169 |                 | Enum
[INFO] [stdout]     |                   ^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 170 |                 | Fn
[INFO] [stdout]     |                   ^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 171 |                 | ForeignTy
[INFO] [stdout]     |                   --------- variable not in all patterns
[INFO] [stdout] 172 |                 | Impl { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 173 |                 | OpaqueTy
[INFO] [stdout]     |                   ^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 174 |                 | Static { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 175 |                 | Struct
[INFO] [stdout]     |                   ^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 176 |                 | TraitAlias
[INFO] [stdout]     |                   ^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 177 |                 | TyAlias
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 178 |                 | Union => {
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::FullDefKind::ForeignTy`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 171 |                 | crate::FullDefKind::ForeignTy
[INFO] [stdout]     |                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `OpaqueTy` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:165:17
[INFO] [stdout]     |
[INFO] [stdout] 165 |                 AssocConst
[INFO] [stdout]     |                 ^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 166 |                 | AssocFn
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 167 |                 | AssocTy
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 168 |                 | Const
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 169 |                 | Enum
[INFO] [stdout]     |                   ^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 170 |                 | Fn
[INFO] [stdout]     |                   ^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 171 |                 | ForeignTy
[INFO] [stdout]     |                   ^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 172 |                 | Impl { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 173 |                 | OpaqueTy
[INFO] [stdout]     |                   -------- variable not in all patterns
[INFO] [stdout] 174 |                 | Static { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 175 |                 | Struct
[INFO] [stdout]     |                   ^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 176 |                 | TraitAlias
[INFO] [stdout]     |                   ^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 177 |                 | TyAlias
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 178 |                 | Union => {
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 173 |                 | crate::DefPathItem::OpaqueTy
[INFO] [stdout]     |                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 173 |                 | crate::DesugaringKind::OpaqueTy
[INFO] [stdout]     |                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 173 |                 | crate::FullDefKind::OpaqueTy
[INFO] [stdout]     |                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Struct` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:165:17
[INFO] [stdout]     |
[INFO] [stdout] 165 |                 AssocConst
[INFO] [stdout]     |                 ^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 166 |                 | AssocFn
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 167 |                 | AssocTy
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 168 |                 | Const
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 169 |                 | Enum
[INFO] [stdout]     |                   ^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 170 |                 | Fn
[INFO] [stdout]     |                   ^^ pattern doesn't bind `Struct`
[INFO] [stdout] 171 |                 | ForeignTy
[INFO] [stdout]     |                   ^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 172 |                 | Impl { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 173 |                 | OpaqueTy
[INFO] [stdout]     |                   ^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 174 |                 | Static { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 175 |                 | Struct
[INFO] [stdout]     |                   ------ variable not in all patterns
[INFO] [stdout] 176 |                 | TraitAlias
[INFO] [stdout]     |                   ^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 177 |                 | TyAlias
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 178 |                 | Union => {
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 175 |                 | crate::AdtKind::Struct
[INFO] [stdout]     |                   ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 175 |                 | crate::CtorOf::Struct
[INFO] [stdout]     |                   ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `TraitAlias` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:165:17
[INFO] [stdout]     |
[INFO] [stdout] 165 |                 AssocConst
[INFO] [stdout]     |                 ^^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 166 |                 | AssocFn
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 167 |                 | AssocTy
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 168 |                 | Const
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 169 |                 | Enum
[INFO] [stdout]     |                   ^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 170 |                 | Fn
[INFO] [stdout]     |                   ^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 171 |                 | ForeignTy
[INFO] [stdout]     |                   ^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 172 |                 | Impl { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 173 |                 | OpaqueTy
[INFO] [stdout]     |                   ^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 174 |                 | Static { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 175 |                 | Struct
[INFO] [stdout]     |                   ^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 176 |                 | TraitAlias
[INFO] [stdout]     |                   ---------- variable not in all patterns
[INFO] [stdout] 177 |                 | TyAlias
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 178 |                 | Union => {
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::FullDefKind::TraitAlias`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 176 |                 | crate::FullDefKind::TraitAlias
[INFO] [stdout]     |                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `TyAlias` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:165:17
[INFO] [stdout]     |
[INFO] [stdout] 165 |                 AssocConst
[INFO] [stdout]     |                 ^^^^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 166 |                 | AssocFn
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 167 |                 | AssocTy
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 168 |                 | Const
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 169 |                 | Enum
[INFO] [stdout]     |                   ^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 170 |                 | Fn
[INFO] [stdout]     |                   ^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 171 |                 | ForeignTy
[INFO] [stdout]     |                   ^^^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 172 |                 | Impl { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 173 |                 | OpaqueTy
[INFO] [stdout]     |                   ^^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 174 |                 | Static { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 175 |                 | Struct
[INFO] [stdout]     |                   ^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 176 |                 | TraitAlias
[INFO] [stdout]     |                   ^^^^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 177 |                 | TyAlias
[INFO] [stdout]     |                   ------- variable not in all patterns
[INFO] [stdout] 178 |                 | Union => {
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::TyAlias`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:177:19
[INFO] [stdout]     |
[INFO] [stdout] 177 |                 | TyAlias
[INFO] [stdout]     |                   ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `Union` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:165:17
[INFO] [stdout]     |
[INFO] [stdout] 165 |                 AssocConst
[INFO] [stdout]     |                 ^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 166 |                 | AssocFn
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 167 |                 | AssocTy
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 168 |                 | Const
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 169 |                 | Enum
[INFO] [stdout]     |                   ^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 170 |                 | Fn
[INFO] [stdout]     |                   ^^ pattern doesn't bind `Union`
[INFO] [stdout] 171 |                 | ForeignTy
[INFO] [stdout]     |                   ^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 172 |                 | Impl { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 173 |                 | OpaqueTy
[INFO] [stdout]     |                   ^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 174 |                 | Static { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 175 |                 | Struct
[INFO] [stdout]     |                   ^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 176 |                 | TraitAlias
[INFO] [stdout]     |                   ^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 177 |                 | TyAlias
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 178 |                 | Union => {
[INFO] [stdout]     |                   ----- variable not in all patterns
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::AdtKind::Union`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 178 |                 | crate::AdtKind::Union => {
[INFO] [stdout]     |                   ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `AssocConst` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:166:19
[INFO] [stdout]     |
[INFO] [stdout] 165 |                 AssocConst
[INFO] [stdout]     |                 ---------- variable not in all patterns
[INFO] [stdout] 166 |                 | AssocFn
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 167 |                 | AssocTy
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 168 |                 | Const
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 169 |                 | Enum
[INFO] [stdout]     |                   ^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 170 |                 | Fn
[INFO] [stdout]     |                   ^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 171 |                 | ForeignTy
[INFO] [stdout]     |                   ^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 172 |                 | Impl { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 173 |                 | OpaqueTy
[INFO] [stdout]     |                   ^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 174 |                 | Static { .. }
[INFO] [stdout]     |                   ^^^^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 175 |                 | Struct
[INFO] [stdout]     |                   ^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 176 |                 | TraitAlias
[INFO] [stdout]     |                   ^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 177 |                 | TyAlias
[INFO] [stdout]     |                   ^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 178 |                 | Union => {
[INFO] [stdout]     |                   ^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::AssocConst`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:165:17
[INFO] [stdout]     |
[INFO] [stdout] 165 |                 AssocConst
[INFO] [stdout]     |                 ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Downcast` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/mir.rs:835:18
[INFO] [stdout]     |
[INFO] [stdout] 835 |                 [Downcast(_, variant_idx), Field(index, ty), rest @ ..] => {
[INFO] [stdout]     |                  ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::ProjectionElem::Downcast;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Field` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/mir.rs:835:44
[INFO] [stdout]     |
[INFO] [stdout] 835 |                 [Downcast(_, variant_idx), Field(index, ty), rest @ ..] => {
[INFO] [stdout]     |                                            ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::ProjectionElem::Field;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Field` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/mir.rs:856:25
[INFO] [stdout]     |
[INFO] [stdout] 856 |                         Field(index, ty) => {
[INFO] [stdout]     |                         ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::ProjectionElem::Field;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Index` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/mir.rs:873:25
[INFO] [stdout]     |
[INFO] [stdout] 873 |                         Index(local) => {
[INFO] [stdout]     |                         ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::ProjectionElem::Index;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ConstantIndex` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/mir.rs:885:25
[INFO] [stdout]     |
[INFO] [stdout] 885 |                         ConstantIndex {
[INFO] [stdout]     |                         ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/copied.rs:256:1
[INFO] [stdout]     |
[INFO] [stdout] 256 | pub type ConstantKind = ConstantExpr;
[INFO] [stdout]     | ------------------------------------- similarly named type alias `ConstantKind` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a type alias with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 885 |                         ConstantKind {
[INFO] [stdout]     |                         ~~~~~~~~~~~~
[INFO] [stdout] help: consider importing this variant
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::ProjectionElem::ConstantIndex;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Subslice` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/mir.rs:904:25
[INFO] [stdout]     |
[INFO] [stdout] 904 |                         Subslice { from, to, from_end } =>
[INFO] [stdout]     |                         ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this variant
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::ProjectionElem::Subslice;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `OpaqueCast` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/mir.rs:913:25
[INFO] [stdout]     |
[INFO] [stdout] 913 |                         OpaqueCast(ty) => {
[INFO] [stdout]     |                         ^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Subtype` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/mir.rs:919:25
[INFO] [stdout]     |
[INFO] [stdout] 919 |                         Subtype { .. } => panic!("unexpected Subtype"),
[INFO] [stdout]     |                         ^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these variants
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::AliasRelationDirection::Subtype;
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::PredicateKind::Subtype;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Downcast` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/mir.rs:920:25
[INFO] [stdout]     |
[INFO] [stdout] 920 |                         Downcast { .. } => panic!("unexpected Downcast"),
[INFO] [stdout]     |                         ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this variant
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::ProjectionElem::Downcast;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Macro` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:344:11
[INFO] [stdout]     |
[INFO] [stdout] 344 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these variants
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::ExpnKind::Macro;
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::FullDefKind::Macro;
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::ItemKind::Macro;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Static` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:346:11
[INFO] [stdout]     |
[INFO] [stdout] 346 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/state.rs:72:13
[INFO] [stdout]     |
[INFO] [stdout] 72  |             pub struct $state<$([<$field:camel>],)*>{
[INFO] [stdout]     |             ---------------------------------------- similarly named struct `State` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 346 |         | State { .. }
[INFO] [stdout]     |           ~~~~~
[INFO] [stdout] help: consider importing one of these variants
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::ForeignItemKind::Static;
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::FullDefKind::Static;
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::ItemKind::Static;
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::LifetimeName::Static;
[INFO] [stdout]     |
[INFO] [stdout]       and 1 other candidate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `TyAlias` in this scope
[INFO] [stdout]     --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:350:11
[INFO] [stdout]      |
[INFO] [stdout] 350  |         | TyAlias { .. }
[INFO] [stdout]      |           ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]     ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/copied.rs:1750:1
[INFO] [stdout]      |
[INFO] [stdout] 1750 | pub struct Alias {
[INFO] [stdout]      | ---------------- similarly named struct `Alias` defined here
[INFO] [stdout]      |
[INFO] [stdout] help: a struct with a similar name exists
[INFO] [stdout]      |
[INFO] [stdout] 350  |         | Alias { .. }
[INFO] [stdout]      |           ~~~~~
[INFO] [stdout] help: consider importing one of these variants
[INFO] [stdout]      |
[INFO] [stdout] 1    + use crate::FullDefKind::TyAlias;
[INFO] [stdout]      |
[INFO] [stdout] 1    + use crate::ItemKind::TyAlias;
[INFO] [stdout]      |
[INFO] [stdout] 1    + use crate::OpaqueTyOrigin::TyAlias;
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Ctor` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/types/new/full_def.rs:359:11
[INFO] [stdout]     |
[INFO] [stdout] 359 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these variants
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::DefPathItem::Ctor;
[INFO] [stdout]     |
[INFO] [stdout] 1   + use crate::FullDefKind::Ctor;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:133:21
[INFO] [stdout]     |
[INFO] [stdout] 133 |         pub clause: PolyTraitPredicate<'tcx>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:145:17
[INFO] [stdout]     |
[INFO] [stdout] 145 |             Vec<PolyTraitPredicate<'tcx>>,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:146:20
[INFO] [stdout]     |
[INFO] [stdout] 146 |             Option<PolyTraitPredicate<'tcx>>,
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:137:16
[INFO] [stdout]     |
[INFO] [stdout] 137 |     impl<'tcx> TyCtxt<'tcx> {
[INFO] [stdout]     |                ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Impl` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:172:19
[INFO] [stdout]     |
[INFO] [stdout] 172 |                 | Impl { .. }
[INFO] [stdout]     |                   ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these items
[INFO] [stdout]     |
[INFO] [stdout] 90  +     use crate::DefPathItem::Impl;
[INFO] [stdout]     |
[INFO] [stdout] 90  +     use crate::FullDefKind::Impl;
[INFO] [stdout]     |
[INFO] [stdout] 90  +     use crate::Impl;
[INFO] [stdout]     |
[INFO] [stdout] 90  +     use crate::ImplTraitInTraitData::Impl;
[INFO] [stdout]     |
[INFO] [stdout]       and 1 other candidate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Static` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:174:19
[INFO] [stdout]     |
[INFO] [stdout] 174 |                 | Static { .. }
[INFO] [stdout]     |                   ^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these variants
[INFO] [stdout]     |
[INFO] [stdout] 90  +     use crate::ForeignItemKind::Static;
[INFO] [stdout]     |
[INFO] [stdout] 90  +     use crate::FullDefKind::Static;
[INFO] [stdout]     |
[INFO] [stdout] 90  +     use crate::ItemKind::Static;
[INFO] [stdout]     |
[INFO] [stdout] 90  +     use crate::LifetimeName::Static;
[INFO] [stdout]     |
[INFO] [stdout]       and 1 other candidate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Clause` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:207:38
[INFO] [stdout]     |
[INFO] [stdout] 207 |                     let self_clause: Clause<'_> = TraitRef::identity(tcx, did).upcast(tcx);
[INFO] [stdout]     |                                      ^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 90  +     use crate::Clause;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TraitRef`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:207:51
[INFO] [stdout]     |
[INFO] [stdout] 207 |                     let self_clause: Clause<'_> = TraitRef::identity(tcx, did).upcast(tcx);
[INFO] [stdout]     |                                                   ^^^^^^^^ use of undeclared type `TraitRef`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 90  +     use crate::TraitRef;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:268:18
[INFO] [stdout]     |
[INFO] [stdout] 268 |             tcx: TyCtxt<'tcx>,
[INFO] [stdout]     |                  ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Predicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:269:16
[INFO] [stdout]     |
[INFO] [stdout] 269 |             x: Predicate<'tcx>,
[INFO] [stdout]     |                ^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 246 +         use crate::Predicate;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Predicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:270:16
[INFO] [stdout]     |
[INFO] [stdout] 270 |             y: Predicate<'tcx>,
[INFO] [stdout]     |                ^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 246 +         use crate::Predicate;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:305:52
[INFO] [stdout]     |
[INFO] [stdout] 305 |             fn parents_trait_predicates(self, tcx: TyCtxt<'tcx>) -> Vec<PolyTraitPredicate<'tcx>> {
[INFO] [stdout]     |                                                    ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:305:73
[INFO] [stdout]     |
[INFO] [stdout] 305 |             fn parents_trait_predicates(self, tcx: TyCtxt<'tcx>) -> Vec<PolyTraitPredicate<'tcx>> {
[INFO] [stdout]     |                                                                         ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:319:22
[INFO] [stdout]     |
[INFO] [stdout] 319 |                 tcx: TyCtxt<'tcx>,
[INFO] [stdout]     |                      ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `AssocItem` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:320:23
[INFO] [stdout]     |
[INFO] [stdout] 320 |             ) -> Vec<(AssocItem, EarlyBinder<'tcx, Vec<PolyTraitPredicate<'tcx>>>)> {
[INFO] [stdout]     |                       ^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 246 +         use crate::AssocItem;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `EarlyBinder` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:320:34
[INFO] [stdout]     |
[INFO] [stdout] 320 |             ) -> Vec<(AssocItem, EarlyBinder<'tcx, Vec<PolyTraitPredicate<'tcx>>>)> {
[INFO] [stdout]     |                                  ^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:320:56
[INFO] [stdout]     |
[INFO] [stdout] 320 |             ) -> Vec<(AssocItem, EarlyBinder<'tcx, Vec<PolyTraitPredicate<'tcx>>>)> {
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:303:20
[INFO] [stdout]     |
[INFO] [stdout] 303 |         impl<'tcx> PolyTraitPredicate<'tcx> {
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `AssocKind`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:324:49
[INFO] [stdout]     |
[INFO] [stdout] 324 |                     .filter(|item| item.kind == AssocKind::Type)
[INFO] [stdout]     |                                                 ^^^^^^^^^ use of undeclared type `AssocKind`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 246 +         use crate::AssocKind;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:344:18
[INFO] [stdout]     |
[INFO] [stdout] 344 |             tcx: TyCtxt<'tcx>,
[INFO] [stdout]     |                  ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:347:21
[INFO] [stdout]     |
[INFO] [stdout] 347 |             target: PolyTraitRef<'tcx>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:355:23
[INFO] [stdout]     |
[INFO] [stdout] 355 |                 pred: PolyTraitPredicate<'tcx>,
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:377:53
[INFO] [stdout]     |
[INFO] [stdout] 377 |                     if seen.iter().any(|seen_pred: &PolyTraitPredicate<'tcx>| {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `AssocItem` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:437:19
[INFO] [stdout]     |
[INFO] [stdout] 437 |             item: AssocItem,
[INFO] [stdout]     |                   ^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 90  +     use crate::AssocItem;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:438:24
[INFO] [stdout]     |
[INFO] [stdout] 438 |             predicate: PolyTraitPredicate<'tcx>,
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:443:24
[INFO] [stdout]     |
[INFO] [stdout] 443 |             predicate: PolyTraitPredicate<'tcx>,
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `GenericArgsRef` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:455:23
[INFO] [stdout]     |
[INFO] [stdout] 455 |             generics: GenericArgsRef<'tcx>,
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Predicate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:459:24
[INFO] [stdout]     |
[INFO] [stdout] 459 |             predicate: Predicate<'tcx>,
[INFO] [stdout]     |                        ^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 90  +     use crate::Predicate;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:465:22
[INFO] [stdout]     |
[INFO] [stdout] 465 |             r#trait: PolyTraitRef<'tcx>,
[INFO] [stdout]     |                      ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:470:22
[INFO] [stdout]     |
[INFO] [stdout] 470 |             r#trait: PolyTraitRef<'tcx>,
[INFO] [stdout]     |                      ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:481:28
[INFO] [stdout]     |
[INFO] [stdout] 481 |         Builtin { r#trait: PolyTraitRef<'tcx> },
[INFO] [stdout]     |                            ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:489:22
[INFO] [stdout]     |
[INFO] [stdout] 489 |         pub r#trait: PolyTraitRef<'tcx>,
[INFO] [stdout]     |                      ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:498:14
[INFO] [stdout]     |
[INFO] [stdout] 498 |         tcx: TyCtxt<'tcx>,
[INFO] [stdout]     |              ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:524:14
[INFO] [stdout]     |
[INFO] [stdout] 524 |         tcx: TyCtxt<'tcx>,
[INFO] [stdout]     |              ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0581]: return type references lifetime `'tcx`, which is not constrained by the fn input types
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:505:10
[INFO] [stdout]     |
[INFO] [stdout] 505 |     ) -> Result<Vec<ImplExpr<'tcx>>, String> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0581]: return type references lifetime `'tcx`, which is not constrained by the fn input types
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:530:10
[INFO] [stdout]     |
[INFO] [stdout] 530 |     ) -> Result<ImplExpr<'tcx>, String> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0581]: return type references lifetime `'tcx`, which is not constrained by the fn input types
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-alpha.1/src/traits.rs:348:14
[INFO] [stdout]     |
[INFO] [stdout] 348 |         ) -> Option<(Path<'tcx>, AnnotatedTraitPred<'tcx>)> {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0408, E0412, E0422, E0432, E0433, E0463, E0531, E0581.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0408`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `hax-frontend-exporter` (lib) due to 112 previous errors
[INFO] running `Command { std: "docker" "inspect" "96f3db508922f39e49b3058a612279676e57b8b7c18e9c93517c3fa9d9ceb28c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "96f3db508922f39e49b3058a612279676e57b8b7c18e9c93517c3fa9d9ceb28c", kill_on_drop: false }`
[INFO] [stdout] 96f3db508922f39e49b3058a612279676e57b8b7c18e9c93517c3fa9d9ceb28c
