[INFO] fetching crate hax-driver 0.3.4...
[INFO] testing hax-driver-0.3.4 against beta-2025-09-21 for beta-1.91-3
[INFO] extracting crate hax-driver 0.3.4 into /workspace/builds/worker-3-tc2/source
[INFO] started tweaking crates.io crate hax-driver 0.3.4
[INFO] finished tweaking crates.io crate hax-driver 0.3.4
[INFO] tweaked toml for crates.io crate hax-driver 0.3.4 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate hax-driver 0.3.4 on toolchain beta-2025-09-21
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-09-21" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate hax-driver 0.3.4 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" "+beta-2025-09-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 187ddd794439ef25ee97476b19b900aa0ddeacae0be67fbe8e69b3ab614ef5a5
[INFO] running `Command { std: "docker" "start" "-a" "187ddd794439ef25ee97476b19b900aa0ddeacae0be67fbe8e69b3ab614ef5a5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "187ddd794439ef25ee97476b19b900aa0ddeacae0be67fbe8e69b3ab614ef5a5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "187ddd794439ef25ee97476b19b900aa0ddeacae0be67fbe8e69b3ab614ef5a5", kill_on_drop: false }`
[INFO] [stdout] 187ddd794439ef25ee97476b19b900aa0ddeacae0be67fbe8e69b3ab614ef5a5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2aff08858713fbb89fb7abf9bf70462f6a9897d26a31d53b1d1359017f7ffc35
[INFO] running `Command { std: "docker" "start" "-a" "2aff08858713fbb89fb7abf9bf70462f6a9897d26a31d53b1d1359017f7ffc35", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.95
[INFO] [stderr]    Compiling serde_json v1.0.141
[INFO] [stderr]    Compiling libc v0.2.174
[INFO] [stderr]    Compiling zstd-safe v7.2.4
[INFO] [stderr]    Compiling regex-syntax v0.8.5
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling anstyle-query v1.1.3
[INFO] [stderr]    Compiling tracing-log v0.2.0
[INFO] [stderr]    Compiling nu-ansi-term v0.50.1
[INFO] [stderr]    Compiling hax-types v0.3.4
[INFO] [stderr]    Compiling tracing-log v0.1.4
[INFO] [stderr]    Compiling colored v2.2.0
[INFO] [stderr]    Compiling annotate-snippets v0.11.5
[INFO] [stderr]    Compiling path-clean v1.0.1
[INFO] [stderr]    Compiling anstream v0.6.19
[INFO] [stderr]    Compiling clap_builder v4.5.42
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling syn v2.0.104
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling regex-automata v0.4.9
[INFO] [stderr]    Compiling jobserver v0.1.33
[INFO] [stderr]    Compiling cc v1.2.30
[INFO] [stderr]    Compiling getrandom v0.3.3
[INFO] [stderr]    Compiling uuid v1.17.0
[INFO] [stderr]    Compiling zstd-sys v2.0.15+zstd.1.5.7
[INFO] [stderr]    Compiling matchers v0.2.0
[INFO] [stderr]    Compiling serde_derive_internals v0.29.1
[INFO] [stderr]    Compiling serde_derive v1.0.219
[INFO] [stderr]    Compiling tracing-attributes v0.1.30
[INFO] [stderr]    Compiling schemars_derive v0.8.22
[INFO] [stderr]    Compiling clap_derive v4.5.41
[INFO] [stderr]    Compiling miette-derive v7.6.0
[INFO] [stderr]    Compiling ext-trait-proc_macros v1.0.1
[INFO] [stderr]    Compiling hax-adt-into v0.3.4
[INFO] [stderr]    Compiling ext-trait v1.0.1
[INFO] [stderr]    Compiling extension-traits v1.0.1
[INFO] [stderr]    Compiling tracing v0.1.41
[INFO] [stderr]    Compiling tracing-subscriber v0.3.20
[INFO] [stderr]    Compiling miette v7.6.0
[INFO] [stderr]    Compiling clap v4.5.42
[INFO] [stderr]    Compiling zstd v0.13.3
[INFO] [stderr]    Compiling tracing-tree v0.2.5
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]    Compiling serde-brief v0.1.1
[INFO] [stderr]    Compiling schemars v0.8.22
[INFO] [stderr]    Compiling hax-lib-macros-types v0.3.4
[INFO] [stderr]    Compiling hax-frontend-exporter-options v0.3.4
[INFO] [stderr]    Compiling hax-frontend-exporter v0.3.4
[INFO] [stdout] error[E0463]: can't find crate for `rustc_abi`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 |     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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 |     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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:25:5
[INFO] [stdout]    |
[INFO] [stdout] 25 |     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_data_structures`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:26:5
[INFO] [stdout]    |
[INFO] [stdout] 26 |     extern crate rustc_attr_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_apfloat`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:27:5
[INFO] [stdout]    |
[INFO] [stdout] 27 |     extern crate rustc_apfloat;
[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_const_eval`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:28:5
[INFO] [stdout]    |
[INFO] [stdout] 28 |     extern crate rustc_const_eval;
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:29:5
[INFO] [stdout]    |
[INFO] [stdout] 29 |     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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:30:5
[INFO] [stdout]    |
[INFO] [stdout] 30 |     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_hashes`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 |     extern crate rustc_hashes;
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:32:5
[INFO] [stdout]    |
[INFO] [stdout] 32 |     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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:33:5
[INFO] [stdout]    |
[INFO] [stdout] 33 |     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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:34:5
[INFO] [stdout]    |
[INFO] [stdout] 34 |     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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:35:5
[INFO] [stdout]    |
[INFO] [stdout] 35 |     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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 36 |     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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:37:5
[INFO] [stdout]    |
[INFO] [stdout] 37 |     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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:38:5
[INFO] [stdout]    |
[INFO] [stdout] 38 |     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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:39:5
[INFO] [stdout]    |
[INFO] [stdout] 39 |     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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:40:5
[INFO] [stdout]    |
[INFO] [stdout] 40 |     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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:41:5
[INFO] [stdout]    |
[INFO] [stdout] 41 |     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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:42:5
[INFO] [stdout]    |
[INFO] [stdout] 42 |     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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:43:5
[INFO] [stdout]    |
[INFO] [stdout] 43 |     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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:44:5
[INFO] [stdout]    |
[INFO] [stdout] 44 |     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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:45:5
[INFO] [stdout]    |
[INFO] [stdout] 45 |     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 `mir::Operand`, `RDefKind::*`, `RDefKind::*`, `ty::Upcast`, `ty::Visibility`, `ty::TermKind`, `DefKind::*`, `DefKind::*`, `DefKind::*`, `ast::LitFloatType`, `ast::MacroDef`, `mir::UnOp`, `mir::BinOp`, `mir::AssignOp`, `mir::BorrowKind`, `thir::LogicalOp`, `thir::LintLevel`, `thir::FruInfo`, `thir::AdtExprBase`, `thir::BlockSafety`, `thir::Block`, `thir::Stmt`, `thir::StmtKind`, `thir::Ascription`, `thir::PatRange`, `thir::PatRangeBoundary`, `thir::PatKind`, `thir::Arm`, `thir::Param`, `thir::ExprKind`, `ty::ParamTy`, `ty::ParamConst`, `ty::ExistentialPredicate`, `ty::DynKind`, `ty::BoundTyKind`, `ty::BoundTy`, `ty::BoundRegionKind`, `ty::BoundRegion`, `ty::UserSelfTy`, `ty::UserArgs`, `ty::UserType`, `ty::VariantDiscr`, `ty::util::Discr`, `ty::EarlyParamRegion`, `ty::LateParamRegion`, `ty::LateParamRegionKind`, `ty::RegionKind`, `ty::Region`, `ty::GenericArgKind`, `ty::InferTy`, `ty::TypeAndMut`, `ty::GenericParamDef`, `ty::Generics`, `ty::TyKind`, `ty::Variance`, `ty::CanonicalUserTypeAnnotation`, `ty::AdtKind`, `ty::adjustment::PointerCoercion`, `ty::FnSig`, `ty::TraitPredicate`, `ty::ClauseKind`, `ty::BoundVariableKind`, `ty::GenericPredicates`, `ty::SubtypePredicate`, `ty::CoercePredicate`, `ty::AliasRelationDirection`, `ty::ClosureKind`, `ty::PredicateKind`, `ty::AssocItem`, `ty::AssocKind`, `ty::AssocTypeData`, `ty::ImplTraitInTraitData`
[INFO] [stdout]     --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/hir.rs:35:10
[INFO] [stdout]      |
[INFO] [stdout]   35 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  893 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]     ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/mir.rs:391:13
[INFO] [stdout]      |
[INFO] [stdout]  391 |         use mir::Operand;
[INFO] [stdout]      |             ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  953 | #[derive(AdtInto, Copy, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  963 | #[derive(AdtInto, Copy, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  996 | #[derive(AdtInto, Copy, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1012 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]     ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:645:9
[INFO] [stdout]      |
[INFO] [stdout]  645 |     use RDefKind::*;
[INFO] [stdout]      |         ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  689 |     use RDefKind::*;
[INFO] [stdout]      |         ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  746 |     use ty::Upcast;
[INFO] [stdout]      |         ^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]     ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/thir.rs:10:10
[INFO] [stdout]      |
[INFO] [stdout]   10 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]   19 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]   27 | #[derive(AdtInto, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]   37 | #[derive(AdtInto, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  118 | #[derive(AdtInto, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  156 | #[derive(AdtInto, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  168 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  395 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  418 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  428 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  439 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  460 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  554 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  570 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  591 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]     ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/ty.rs:37:10
[INFO] [stdout]      |
[INFO] [stdout]   37 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]   46 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]   56 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]   93 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  101 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  111 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  122 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  134 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  207 | #[derive(AdtInto, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  216 | #[derive(AdtInto, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  227 | #[derive(AdtInto, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  258 | #[derive(AdtInto, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  267 | #[derive(AdtInto, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  285 |         use ty::Visibility as T;
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  374 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  383 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  392 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  404 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  422 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  431 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  575 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  700 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  717 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  749 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  901 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  976 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  988 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1000 | #[derive(AdtInto, Copy, Clone, Debug, JsonSchema)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1075 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1090 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1120 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1172 |         use ty::TermKind;
[INFO] [stdout]      |             ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1219 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1282 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1333 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1364 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1375 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1385 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1439 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1452 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1468 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1487 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1498 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1567 | #[derive(AdtInto)]
[INFO] [stdout]      |          ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]     ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:165:13
[INFO] [stdout]      |
[INFO] [stdout]  165 |         use DefKind::*;
[INFO] [stdout]      |             ^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]     ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:71:9
[INFO] [stdout]      |
[INFO] [stdout]   71 |     use DefKind::*;
[INFO] [stdout]      |         ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  142 |     use DefKind::*;
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:647:9
[INFO] [stdout]     |
[INFO] [stdout] 647 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 648 |         | AssocFn
[INFO] [stdout]     |           ------- variable not in all patterns
[INFO] [stdout] 649 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 650 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 651 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 652 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 653 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 654 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 655 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 656 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 657 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 658 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 659 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 660 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 661 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 662 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 663 |         | 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 unit variant `crate::DefKind::AssocFn`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 648 |         | crate::DefKind::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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:647:9
[INFO] [stdout]     |
[INFO] [stdout] 647 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 648 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 649 |         | Const
[INFO] [stdout]     |           ----- variable not in all patterns
[INFO] [stdout] 650 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 651 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 652 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Const`
[INFO] [stdout] 653 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 654 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 655 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Const`
[INFO] [stdout] 656 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 657 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 658 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 659 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 660 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 661 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 662 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Const`
[INFO] [stdout] 663 |         | 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] 649 |         | crate::BoundVariableKind::Const
[INFO] [stdout]     |           ++++++++++++++++++++++++++
[INFO] [stdout] 649 |         | crate::Constness::Const
[INFO] [stdout]     |           ++++++++++++++++++
[INFO] [stdout] 649 |         | crate::CtorKind::Const
[INFO] [stdout]     |           +++++++++++++++++
[INFO] [stdout] 649 |         | crate::DefKind::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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:647:9
[INFO] [stdout]     |
[INFO] [stdout] 647 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 648 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 649 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 650 |         | Enum
[INFO] [stdout]     |           ---- variable not in all patterns
[INFO] [stdout] 651 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 652 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Enum`
[INFO] [stdout] 653 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 654 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 655 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 656 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 657 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 658 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 659 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 660 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 661 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 662 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 663 |         | 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] 650 |         | crate::AdtKind::Enum
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 650 |         | crate::DefKind::Enum
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 650 |         | 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:647:9
[INFO] [stdout]     |
[INFO] [stdout] 647 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 648 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 649 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 650 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 651 |         | Field
[INFO] [stdout]     |           ----- variable not in all patterns
[INFO] [stdout] 652 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Field`
[INFO] [stdout] 653 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 654 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 655 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Field`
[INFO] [stdout] 656 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 657 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 658 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 659 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 660 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 661 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Field`
[INFO] [stdout] 662 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Field`
[INFO] [stdout] 663 |         | 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 variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 651 |         | crate::DefKind::Field
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 651 |         | 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:647:9
[INFO] [stdout]     |
[INFO] [stdout] 647 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 648 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 649 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 650 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 651 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 652 |         | Fn
[INFO] [stdout]     |           -- variable not in all patterns
[INFO] [stdout] 653 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 654 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 655 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 656 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 657 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 658 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 659 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 660 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 661 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 662 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 663 |         | 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] 652 |         | crate::ClosureKind::Fn
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 652 |         | crate::CtorKind::Fn
[INFO] [stdout]     |           +++++++++++++++++
[INFO] [stdout] 652 |         | crate::DefKind::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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:647:9
[INFO] [stdout]     |
[INFO] [stdout] 647 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 648 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 649 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 650 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 651 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 652 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 653 |         | ForeignTy
[INFO] [stdout]     |           --------- variable not in all patterns
[INFO] [stdout] 654 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 655 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 656 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 657 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 658 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 659 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 660 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 661 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 662 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 663 |         | 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 variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 653 |         | crate::DefKind::ForeignTy
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 653 |         | 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:647:9
[INFO] [stdout]     |
[INFO] [stdout] 647 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 648 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 649 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 650 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 651 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 652 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Mod`
[INFO] [stdout] 653 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 654 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 655 |         | Mod
[INFO] [stdout]     |           --- variable not in all patterns
[INFO] [stdout] 656 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 657 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 658 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 659 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 660 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 661 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 662 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Mod`
[INFO] [stdout] 663 |         | 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::DefKind::Mod`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 655 |         | crate::DefKind::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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:647:9
[INFO] [stdout]     |
[INFO] [stdout] 647 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 648 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 649 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 650 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 651 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 652 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Struct`
[INFO] [stdout] 653 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 654 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 655 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 656 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 657 |         | Struct
[INFO] [stdout]     |           ------ variable not in all patterns
[INFO] [stdout] 658 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 659 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 660 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 661 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 662 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 663 |         | 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] 657 |         | crate::AdtKind::Struct
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 657 |         | crate::CtorOf::Struct
[INFO] [stdout]     |           +++++++++++++++
[INFO] [stdout] 657 |         | crate::DefKind::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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:647:9
[INFO] [stdout]     |
[INFO] [stdout] 647 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 648 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 649 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 650 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 651 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 652 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Trait`
[INFO] [stdout] 653 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 654 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 655 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 656 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 657 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 658 |         | Trait
[INFO] [stdout]     |           ----- variable not in all patterns
[INFO] [stdout] 659 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 660 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 661 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 662 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Trait`
[INFO] [stdout] 663 |         | 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 unit variant `crate::DefKind::Trait`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 658 |         | crate::DefKind::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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:647:9
[INFO] [stdout]     |
[INFO] [stdout] 647 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 648 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 649 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 650 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 651 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 652 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 653 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 654 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 655 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 656 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 657 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 658 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 659 |         | TraitAlias
[INFO] [stdout]     |           ---------- variable not in all patterns
[INFO] [stdout] 660 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 661 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 662 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `TraitAlias`
[INFO] [stdout] 663 |         | 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::DefKind::TraitAlias`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 659 |         | crate::DefKind::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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:647:9
[INFO] [stdout]     |
[INFO] [stdout] 647 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 648 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 649 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 650 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 651 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 652 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Union`
[INFO] [stdout] 653 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 654 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 655 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Union`
[INFO] [stdout] 656 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 657 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 658 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 659 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 660 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 661 |         | Union
[INFO] [stdout]     |           ----- variable not in all patterns
[INFO] [stdout] 662 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Union`
[INFO] [stdout] 663 |         | 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 variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 661 |         | crate::AdtKind::Union
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 661 |         | crate::DefKind::Union
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 661 |         | crate::VariantKind::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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:647:9
[INFO] [stdout]     |
[INFO] [stdout] 647 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 648 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 649 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 650 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 651 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 652 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Use`
[INFO] [stdout] 653 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 654 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 655 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Use`
[INFO] [stdout] 656 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 657 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 658 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 659 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 660 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 661 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Use`
[INFO] [stdout] 662 |         | Use
[INFO] [stdout]     |           --- variable not in all patterns
[INFO] [stdout] 663 |         | 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] 662 |         | crate::DefKind::Use
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 662 |         | crate::DefPathItem::Use
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 662 |         | 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:647:9
[INFO] [stdout]     |
[INFO] [stdout] 647 |         AssocConst
[INFO] [stdout]     |         ^^^^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 648 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 649 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 650 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 651 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 652 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `Variant`
[INFO] [stdout] 653 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 654 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 655 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 656 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 657 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 658 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 659 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 660 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 661 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 662 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `Variant`
[INFO] [stdout] 663 |         | 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] 663 |         | crate::CtorOf::Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           +++++++++++++++
[INFO] [stdout] 663 |         | crate::DefKind::Variant => Some(tcx.visibility(def_id).is_public()),
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 663 |         | 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:648:11
[INFO] [stdout]     |
[INFO] [stdout] 647 |         AssocConst
[INFO] [stdout]     |         ---------- variable not in all patterns
[INFO] [stdout] 648 |         | AssocFn
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 649 |         | Const
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 650 |         | Enum
[INFO] [stdout]     |           ^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 651 |         | Field
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 652 |         | Fn
[INFO] [stdout]     |           ^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 653 |         | ForeignTy
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 654 |         | Macro { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 655 |         | Mod
[INFO] [stdout]     |           ^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 656 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 657 |         | Struct
[INFO] [stdout]     |           ^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 658 |         | Trait
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 659 |         | TraitAlias
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 660 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 661 |         | Union
[INFO] [stdout]     |           ^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 662 |         | Use
[INFO] [stdout]     |           ^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 663 |         | 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 unit variant `crate::DefKind::AssocConst`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 647 |         crate::DefKind::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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:665:9
[INFO] [stdout]     |
[INFO] [stdout] 665 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 666 |         | AssocTy
[INFO] [stdout]     |           ------- variable not in all patterns
[INFO] [stdout] 667 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 668 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 669 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 670 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 671 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 672 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 673 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 674 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 675 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 676 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 677 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 678 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::AssocTy`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 666 |         | crate::DefKind::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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:665:9
[INFO] [stdout]     |
[INFO] [stdout] 665 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 666 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 667 |         | Closure
[INFO] [stdout]     |           ------- variable not in all patterns
[INFO] [stdout] 668 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 669 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 670 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 671 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 672 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 673 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 674 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 675 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 676 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 677 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout] 678 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 667 |         | crate::DefKind::Closure
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 667 |         | 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:665:9
[INFO] [stdout]     |
[INFO] [stdout] 665 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 666 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 667 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 668 |         | ConstParam
[INFO] [stdout]     |           ---------- variable not in all patterns
[INFO] [stdout] 669 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 670 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 671 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 672 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 673 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 674 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 675 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 676 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 677 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout] 678 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 668 |         | crate::DefKind::ConstParam
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 668 |         | 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:665:9
[INFO] [stdout]     |
[INFO] [stdout] 665 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 666 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 667 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 668 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 669 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 670 |         | ExternCrate
[INFO] [stdout]     |           ----------- variable not in all patterns
[INFO] [stdout] 671 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 672 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 673 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 674 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 675 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 676 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 677 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout] 678 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ExternCrate`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 670 |         | crate::DefKind::ExternCrate
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 670 |         | 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:665:9
[INFO] [stdout]     |
[INFO] [stdout] 665 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 666 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 667 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 668 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 669 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 670 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 671 |         | ForeignMod
[INFO] [stdout]     |           ---------- variable not in all patterns
[INFO] [stdout] 672 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 673 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 674 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 675 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 676 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 677 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `ForeignMod`
[INFO] [stdout] 678 |         | 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] 671 |         | crate::DefKind::ForeignMod
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 671 |         | crate::DefPathItem::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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:665:9
[INFO] [stdout]     |
[INFO] [stdout] 665 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 666 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 667 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 668 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 669 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 670 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 671 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 672 |         | GlobalAsm
[INFO] [stdout]     |           --------- variable not in all patterns
[INFO] [stdout] 673 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 674 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 675 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 676 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 677 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `GlobalAsm`
[INFO] [stdout] 678 |         | 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] 672 |         | crate::DefKind::GlobalAsm
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 672 |         | crate::DefPathItem::GlobalAsm
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 672 |         | 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:665:9
[INFO] [stdout]     |
[INFO] [stdout] 665 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 666 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 667 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 668 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 669 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 670 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 671 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 672 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 673 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 674 |         | InlineConst
[INFO] [stdout]     |           ----------- variable not in all patterns
[INFO] [stdout] 675 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 676 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 677 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout] 678 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `InlineConst`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::InlineConst`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 674 |         | crate::DefKind::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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:665:9
[INFO] [stdout]     |
[INFO] [stdout] 665 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 666 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 667 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 668 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 669 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 670 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 671 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 672 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 673 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 674 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 675 |         | LifetimeParam
[INFO] [stdout]     |           ------------- variable not in all patterns
[INFO] [stdout] 676 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 677 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout] 678 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 675 |         | crate::DefKind::LifetimeParam
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 675 |         | 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:665:9
[INFO] [stdout]     |
[INFO] [stdout] 665 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 666 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 667 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 668 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 669 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 670 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 671 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 672 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 673 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 674 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 675 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 676 |         | OpaqueTy
[INFO] [stdout]     |           -------- variable not in all patterns
[INFO] [stdout] 677 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 678 |         | 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] 676 |         | crate::DefKind::OpaqueTy
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 676 |         | crate::DefPathItem::OpaqueTy
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 676 |         | crate::FullDefKind::OpaqueTy
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0408]: variable `SyntheticCoroutineBody` is not bound in all patterns
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:665:9
[INFO] [stdout]     |
[INFO] [stdout] 665 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 666 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 667 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 668 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 669 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 670 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 671 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 672 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 673 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 674 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 675 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 676 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout] 677 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ---------------------- variable not in all patterns
[INFO] [stdout] 678 |         | TyParam => None,
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 677 |         | crate::DefKind::SyntheticCoroutineBody
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 677 |         | crate::DefPathItem::SyntheticCoroutineBody
[INFO] [stdout]     |           ++++++++++++++++++++
[INFO] [stdout] 677 |         | crate::FullDefKind::SyntheticCoroutineBody
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:665:9
[INFO] [stdout]     |
[INFO] [stdout] 665 |         AnonConst
[INFO] [stdout]     |         ^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 666 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 667 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 668 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 669 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 670 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 671 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 672 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 673 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 674 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 675 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 676 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 677 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout] 678 |         | TyParam => None,
[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] 678 |         | crate::DefKind::TyParam => None,
[INFO] [stdout]     |           ++++++++++++++++
[INFO] [stdout] 678 |         | 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:666:11
[INFO] [stdout]     |
[INFO] [stdout] 665 |         AnonConst
[INFO] [stdout]     |         --------- variable not in all patterns
[INFO] [stdout] 666 |         | AssocTy
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 667 |         | Closure
[INFO] [stdout]     |           ^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 668 |         | ConstParam
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 669 |         | Ctor { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 670 |         | ExternCrate
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 671 |         | ForeignMod
[INFO] [stdout]     |           ^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 672 |         | GlobalAsm
[INFO] [stdout]     |           ^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 673 |         | Impl { .. }
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 674 |         | InlineConst
[INFO] [stdout]     |           ^^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 675 |         | LifetimeParam
[INFO] [stdout]     |           ^^^^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 676 |         | OpaqueTy
[INFO] [stdout]     |           ^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 677 |         | SyntheticCoroutineBody
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `AnonConst`
[INFO] [stdout] 678 |         | 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] 665 |         crate::DefKind::AnonConst
[INFO] [stdout]     |         ++++++++++++++++
[INFO] [stdout] 665 |         crate::DefPathItem::AnonConst
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:692:9
[INFO] [stdout]     |
[INFO] [stdout] 692 |         ConstParam | LifetimeParam | TyParam | ForeignMod => &[],
[INFO] [stdout]     |         ^^^^^^^^^^   -------------   ^^^^^^^   ^^^^^^^^^^ pattern doesn't bind `LifetimeParam`
[INFO] [stdout]     |         |            |               |
[INFO] [stdout]     |         |            |               pattern doesn't bind `LifetimeParam`
[INFO] [stdout]     |         |            variable not in all patterns
[INFO] [stdout]     |         pattern doesn't bind `LifetimeParam`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 692 |         ConstParam | crate::DefKind::LifetimeParam | TyParam | ForeignMod => &[],
[INFO] [stdout]     |                      ++++++++++++++++
[INFO] [stdout] 692 |         ConstParam | crate::FullDefKind::LifetimeParam | TyParam | ForeignMod => &[],
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:692:9
[INFO] [stdout]     |
[INFO] [stdout] 692 |         ConstParam | LifetimeParam | TyParam | ForeignMod => &[],
[INFO] [stdout]     |         ^^^^^^^^^^   ^^^^^^^^^^^^^   -------   ^^^^^^^^^^ pattern doesn't bind `TyParam`
[INFO] [stdout]     |         |            |               |
[INFO] [stdout]     |         |            |               variable not in all patterns
[INFO] [stdout]     |         |            pattern doesn't bind `TyParam`
[INFO] [stdout]     |         pattern doesn't bind `TyParam`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 692 |         ConstParam | LifetimeParam | crate::DefKind::TyParam | ForeignMod => &[],
[INFO] [stdout]     |                                      ++++++++++++++++
[INFO] [stdout] 692 |         ConstParam | LifetimeParam | crate::FullDefKind::TyParam | ForeignMod => &[],
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:692:9
[INFO] [stdout]     |
[INFO] [stdout] 692 |         ConstParam | LifetimeParam | TyParam | ForeignMod => &[],
[INFO] [stdout]     |         ^^^^^^^^^^   ^^^^^^^^^^^^^   ^^^^^^^   ---------- variable not in all patterns
[INFO] [stdout]     |         |            |               |
[INFO] [stdout]     |         |            |               pattern doesn't bind `ForeignMod`
[INFO] [stdout]     |         |            pattern doesn't bind `ForeignMod`
[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] 692 |         ConstParam | LifetimeParam | TyParam | crate::DefKind::ForeignMod => &[],
[INFO] [stdout]     |                                                ++++++++++++++++
[INFO] [stdout] 692 |         ConstParam | LifetimeParam | TyParam | crate::DefPathItem::ForeignMod => &[],
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:692:22
[INFO] [stdout]     |
[INFO] [stdout] 692 |         ConstParam | LifetimeParam | TyParam | ForeignMod => &[],
[INFO] [stdout]     |         ----------   ^^^^^^^^^^^^^   ^^^^^^^   ^^^^^^^^^^ pattern doesn't bind `ConstParam`
[INFO] [stdout]     |         |            |               |
[INFO] [stdout]     |         |            |               pattern doesn't bind `ConstParam`
[INFO] [stdout]     |         |            pattern doesn't bind `ConstParam`
[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] 692 |         crate::DefKind::ConstParam | LifetimeParam | TyParam | ForeignMod => &[],
[INFO] [stdout]     |         ++++++++++++++++
[INFO] [stdout] 692 |         crate::FullDefKind::ConstParam | LifetimeParam | TyParam | ForeignMod => &[],
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:168:13
[INFO] [stdout]     |
[INFO] [stdout] 168 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             ^^^^^^^   -------   ^^^^^^^^^^   ^^^^^^^   ^^^^^^^^   ^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout]     |             |         |         |            |         |
[INFO] [stdout]     |             |         |         |            |         pattern doesn't bind `AssocFn`
[INFO] [stdout]     |             |         |         |            pattern doesn't bind `AssocFn`
[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 unit variant `crate::DefKind::AssocFn`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 168 |             AssocTy | crate::DefKind::AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:168:13
[INFO] [stdout]     |
[INFO] [stdout] 168 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             ^^^^^^^   ^^^^^^^   ----------   ^^^^^^^   ^^^^^^^^   ^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout]     |             |         |         |            |         |
[INFO] [stdout]     |             |         |         |            |         pattern doesn't bind `AssocConst`
[INFO] [stdout]     |             |         |         |            pattern doesn't bind `AssocConst`
[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 unit variant `crate::DefKind::AssocConst`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 168 |             AssocTy | AssocFn | crate::DefKind::AssocConst | Closure | Ctor(..) | Variant => {
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:168:13
[INFO] [stdout]     |
[INFO] [stdout] 168 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             ^^^^^^^   ^^^^^^^   ^^^^^^^^^^   -------   ^^^^^^^^   ^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout]     |             |         |         |            |         |
[INFO] [stdout]     |             |         |         |            |         pattern doesn't bind `Closure`
[INFO] [stdout]     |             |         |         |            variable not in all patterns
[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 variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 168 |             AssocTy | AssocFn | AssocConst | crate::DefKind::Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |                                              ++++++++++++++++
[INFO] [stdout] 168 |             AssocTy | AssocFn | AssocConst | crate::DefPathItem::Closure | Ctor(..) | Variant => {
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:168:13
[INFO] [stdout]     |
[INFO] [stdout] 168 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             ^^^^^^^   ^^^^^^^   ^^^^^^^^^^   ^^^^^^^   ^^^^^^^^   ------- variable not in all patterns
[INFO] [stdout]     |             |         |         |            |         |
[INFO] [stdout]     |             |         |         |            |         pattern doesn't bind `Variant`
[INFO] [stdout]     |             |         |         |            pattern doesn't bind `Variant`
[INFO] [stdout]     |             |         |         pattern doesn't bind `Variant`
[INFO] [stdout]     |             |         pattern doesn't bind `Variant`
[INFO] [stdout]     |             pattern doesn't bind `Variant`
[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 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | crate::CtorOf::Variant => {
[INFO] [stdout]     |                                                                   +++++++++++++++
[INFO] [stdout] 168 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | crate::DefKind::Variant => {
[INFO] [stdout]     |                                                                   ++++++++++++++++
[INFO] [stdout] 168 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | crate::FullDefKind::Variant => {
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:168:23
[INFO] [stdout]     |
[INFO] [stdout] 168 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[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]     |             |         |         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 unit variant `crate::DefKind::AssocTy`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 168 |             crate::DefKind::AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:172:13
[INFO] [stdout]     |
[INFO] [stdout] 172 |             Trait | TraitAlias => {
[INFO] [stdout]     |             ^^^^^   ---------- variable not in all patterns
[INFO] [stdout]     |             |
[INFO] [stdout]     |             pattern doesn't bind `TraitAlias`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::TraitAlias`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 172 |             Trait | crate::DefKind::TraitAlias => {
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:172:21
[INFO] [stdout]     |
[INFO] [stdout] 172 |             Trait | TraitAlias => {
[INFO] [stdout]     |             -----   ^^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout]     |             |
[INFO] [stdout]     |             variable not in all patterns
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::Trait`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 172 |             crate::DefKind::Trait | TraitAlias => {
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:74:9
[INFO] [stdout]    |
[INFO] [stdout] 74 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 75 |         | AssocFn
[INFO] [stdout]    |           ------- variable not in all patterns
[INFO] [stdout] 76 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 77 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 78 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 79 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 80 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 81 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 82 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 83 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 84 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 85 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout] 86 |         | Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout]    |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::AssocFn`, use the full path in the pattern
[INFO] [stdout]    |
[INFO] [stdout] 75 |         | crate::DefKind::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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:74:9
[INFO] [stdout]    |
[INFO] [stdout] 74 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 75 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 76 |         | AssocTy
[INFO] [stdout]    |           ------- variable not in all patterns
[INFO] [stdout] 77 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 78 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 79 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 80 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 81 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 82 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 83 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 84 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 85 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout] 86 |         | Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `AssocTy`
[INFO] [stdout]    |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::AssocTy`, use the full path in the pattern
[INFO] [stdout]    |
[INFO] [stdout] 76 |         | crate::DefKind::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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:74:9
[INFO] [stdout]    |
[INFO] [stdout] 74 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 75 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 76 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 77 |         | Const
[INFO] [stdout]    |           ----- variable not in all patterns
[INFO] [stdout] 78 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 79 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `Const`
[INFO] [stdout] 80 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 81 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 82 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 83 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 84 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 85 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Const`
[INFO] [stdout] 86 |         | Union => predicates_defined_on(tcx, def_id),
[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] 77 |         | crate::BoundVariableKind::Const
[INFO] [stdout]    |           ++++++++++++++++++++++++++
[INFO] [stdout] 77 |         | crate::Constness::Const
[INFO] [stdout]    |           ++++++++++++++++++
[INFO] [stdout] 77 |         | crate::CtorKind::Const
[INFO] [stdout]    |           +++++++++++++++++
[INFO] [stdout] 77 |         | crate::DefKind::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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:74:9
[INFO] [stdout]    |
[INFO] [stdout] 74 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 75 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 76 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 77 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 78 |         | Enum
[INFO] [stdout]    |           ---- variable not in all patterns
[INFO] [stdout] 79 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `Enum`
[INFO] [stdout] 80 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 81 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 82 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 83 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 84 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 85 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Enum`
[INFO] [stdout] 86 |         | Union => predicates_defined_on(tcx, def_id),
[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] 78 |         | crate::AdtKind::Enum
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 78 |         | crate::DefKind::Enum
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 78 |         | 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:74:9
[INFO] [stdout]    |
[INFO] [stdout] 74 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 75 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 76 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 77 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 78 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 79 |         | Fn
[INFO] [stdout]    |           -- variable not in all patterns
[INFO] [stdout] 80 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 81 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 82 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 83 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 84 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 85 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Fn`
[INFO] [stdout] 86 |         | Union => predicates_defined_on(tcx, def_id),
[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] 79 |         | crate::ClosureKind::Fn
[INFO] [stdout]    |           ++++++++++++++++++++
[INFO] [stdout] 79 |         | crate::CtorKind::Fn
[INFO] [stdout]    |           +++++++++++++++++
[INFO] [stdout] 79 |         | crate::DefKind::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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:74:9
[INFO] [stdout]    |
[INFO] [stdout] 74 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 75 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 76 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 77 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 78 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 79 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 80 |         | ForeignTy
[INFO] [stdout]    |           --------- variable not in all patterns
[INFO] [stdout] 81 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 82 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 83 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 84 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 85 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout] 86 |         | Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `ForeignTy`
[INFO] [stdout]    |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]    |
[INFO] [stdout] 80 |         | crate::DefKind::ForeignTy
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 80 |         | 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:74:9
[INFO] [stdout]    |
[INFO] [stdout] 74 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 75 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 76 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 77 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 78 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 79 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 80 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 81 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 82 |         | OpaqueTy
[INFO] [stdout]    |           -------- variable not in all patterns
[INFO] [stdout] 83 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 84 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 85 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `OpaqueTy`
[INFO] [stdout] 86 |         | Union => predicates_defined_on(tcx, def_id),
[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] 82 |         | crate::DefKind::OpaqueTy
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 82 |         | crate::DefPathItem::OpaqueTy
[INFO] [stdout]    |           ++++++++++++++++++++
[INFO] [stdout] 82 |         | 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:74:9
[INFO] [stdout]    |
[INFO] [stdout] 74 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 75 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 76 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 77 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 78 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 79 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `Struct`
[INFO] [stdout] 80 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 81 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 82 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 83 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 84 |         | Struct
[INFO] [stdout]    |           ------ variable not in all patterns
[INFO] [stdout] 85 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Struct`
[INFO] [stdout] 86 |         | Union => predicates_defined_on(tcx, def_id),
[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] 84 |         | crate::AdtKind::Struct
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 84 |         | crate::CtorOf::Struct
[INFO] [stdout]    |           +++++++++++++++
[INFO] [stdout] 84 |         | crate::DefKind::Struct
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:74:9
[INFO] [stdout]    |
[INFO] [stdout] 74 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 75 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 76 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 77 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 78 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 79 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 80 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 81 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 82 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 83 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 84 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout] 85 |         | TyAlias
[INFO] [stdout]    |           ------- variable not in all patterns
[INFO] [stdout] 86 |         | Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `TyAlias`
[INFO] [stdout]    |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::TyAlias`, use the full path in the pattern
[INFO] [stdout]    |
[INFO] [stdout] 85 |         | crate::DefKind::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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:74:9
[INFO] [stdout]    |
[INFO] [stdout] 74 |         AssocConst
[INFO] [stdout]    |         ^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 75 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 76 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 77 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 78 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 79 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `Union`
[INFO] [stdout] 80 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 81 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 82 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 83 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 84 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 85 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `Union`
[INFO] [stdout] 86 |         | Union => predicates_defined_on(tcx, def_id),
[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] 86 |         | crate::AdtKind::Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 86 |         | crate::DefKind::Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ++++++++++++++++
[INFO] [stdout] 86 |         | crate::VariantKind::Union => predicates_defined_on(tcx, def_id),
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:75:11
[INFO] [stdout]    |
[INFO] [stdout] 74 |         AssocConst
[INFO] [stdout]    |         ---------- variable not in all patterns
[INFO] [stdout] 75 |         | AssocFn
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 76 |         | AssocTy
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 77 |         | Const
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 78 |         | Enum
[INFO] [stdout]    |           ^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 79 |         | Fn
[INFO] [stdout]    |           ^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 80 |         | ForeignTy
[INFO] [stdout]    |           ^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 81 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 82 |         | OpaqueTy
[INFO] [stdout]    |           ^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 83 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 84 |         | Struct
[INFO] [stdout]    |           ^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 85 |         | TyAlias
[INFO] [stdout]    |           ^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout] 86 |         | Union => predicates_defined_on(tcx, def_id),
[INFO] [stdout]    |           ^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout]    |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::AssocConst`, use the full path in the pattern
[INFO] [stdout]    |
[INFO] [stdout] 74 |         crate::DefKind::AssocConst
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:88:9
[INFO] [stdout]    |
[INFO] [stdout] 88 |         Trait | TraitAlias => Default::default(),
[INFO] [stdout]    |         ^^^^^   ---------- variable not in all patterns
[INFO] [stdout]    |         |
[INFO] [stdout]    |         pattern doesn't bind `TraitAlias`
[INFO] [stdout]    |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::TraitAlias`, use the full path in the pattern
[INFO] [stdout]    |
[INFO] [stdout] 88 |         Trait | crate::DefKind::TraitAlias => Default::default(),
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:88:17
[INFO] [stdout]    |
[INFO] [stdout] 88 |         Trait | TraitAlias => Default::default(),
[INFO] [stdout]    |         -----   ^^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout]    |         |
[INFO] [stdout]    |         variable not in all patterns
[INFO] [stdout]    |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::Trait`, use the full path in the pattern
[INFO] [stdout]    |
[INFO] [stdout] 88 |         crate::DefKind::Trait | TraitAlias => Default::default(),
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:146:9
[INFO] [stdout]     |
[INFO] [stdout] 146 |         Trait | TraitAlias => predicates_defined_on(tcx, def_id),
[INFO] [stdout]     |         ^^^^^   ---------- variable not in all patterns
[INFO] [stdout]     |         |
[INFO] [stdout]     |         pattern doesn't bind `TraitAlias`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::TraitAlias`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 146 |         Trait | crate::DefKind::TraitAlias => predicates_defined_on(tcx, def_id),
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:146:17
[INFO] [stdout]     |
[INFO] [stdout] 146 |         Trait | TraitAlias => predicates_defined_on(tcx, def_id),
[INFO] [stdout]     |         -----   ^^^^^^^^^^ pattern doesn't bind `Trait`
[INFO] [stdout]     |         |
[INFO] [stdout]     |         variable not in all patterns
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variant `crate::DefKind::Trait`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 146 |         crate::DefKind::Trait | TraitAlias => predicates_defined_on(tcx, def_id),
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits.rs:328:13
[INFO] [stdout]     |
[INFO] [stdout] 328 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             ^^^^^^^   -------   ^^^^^^^^^^   ^^^^^^^   ^^^^^^^^   ^^^^^^^ pattern doesn't bind `AssocFn`
[INFO] [stdout]     |             |         |         |            |         |
[INFO] [stdout]     |             |         |         |            |         pattern doesn't bind `AssocFn`
[INFO] [stdout]     |             |         |         |            pattern doesn't bind `AssocFn`
[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 unit variant `crate::DefKind::AssocFn`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 328 |             AssocTy | crate::DefKind::AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits.rs:328:13
[INFO] [stdout]     |
[INFO] [stdout] 328 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             ^^^^^^^   ^^^^^^^   ----------   ^^^^^^^   ^^^^^^^^   ^^^^^^^ pattern doesn't bind `AssocConst`
[INFO] [stdout]     |             |         |         |            |         |
[INFO] [stdout]     |             |         |         |            |         pattern doesn't bind `AssocConst`
[INFO] [stdout]     |             |         |         |            pattern doesn't bind `AssocConst`
[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 unit variant `crate::DefKind::AssocConst`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 328 |             AssocTy | AssocFn | crate::DefKind::AssocConst | Closure | Ctor(..) | Variant => {
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits.rs:328:13
[INFO] [stdout]     |
[INFO] [stdout] 328 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             ^^^^^^^   ^^^^^^^   ^^^^^^^^^^   -------   ^^^^^^^^   ^^^^^^^ pattern doesn't bind `Closure`
[INFO] [stdout]     |             |         |         |            |         |
[INFO] [stdout]     |             |         |         |            |         pattern doesn't bind `Closure`
[INFO] [stdout]     |             |         |         |            variable not in all patterns
[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 variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 328 |             AssocTy | AssocFn | AssocConst | crate::DefKind::Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |                                              ++++++++++++++++
[INFO] [stdout] 328 |             AssocTy | AssocFn | AssocConst | crate::DefPathItem::Closure | Ctor(..) | Variant => {
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits.rs:328:13
[INFO] [stdout]     |
[INFO] [stdout] 328 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             ^^^^^^^   ^^^^^^^   ^^^^^^^^^^   ^^^^^^^   ^^^^^^^^   ------- variable not in all patterns
[INFO] [stdout]     |             |         |         |            |         |
[INFO] [stdout]     |             |         |         |            |         pattern doesn't bind `Variant`
[INFO] [stdout]     |             |         |         |            pattern doesn't bind `Variant`
[INFO] [stdout]     |             |         |         pattern doesn't bind `Variant`
[INFO] [stdout]     |             |         pattern doesn't bind `Variant`
[INFO] [stdout]     |             pattern doesn't bind `Variant`
[INFO] [stdout]     |
[INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 328 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | crate::CtorOf::Variant => {
[INFO] [stdout]     |                                                                   +++++++++++++++
[INFO] [stdout] 328 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | crate::DefKind::Variant => {
[INFO] [stdout]     |                                                                   ++++++++++++++++
[INFO] [stdout] 328 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | crate::FullDefKind::Variant => {
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits.rs:328:23
[INFO] [stdout]     |
[INFO] [stdout] 328 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[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]     |             |         |         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 unit variant `crate::DefKind::AssocTy`, use the full path in the pattern
[INFO] [stdout]     |
[INFO] [stdout] 328 |             crate::DefKind::AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |             ++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `ExternCrate` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/hir.rs:922:13
[INFO] [stdout]     |
[INFO] [stdout] 922 |             ExternCrate(_, i)
[INFO] [stdout]     |             ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ItemKind::ExternCrate;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Use` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/hir.rs:923:15
[INFO] [stdout]     |
[INFO] [stdout] 923 |             | Use(_, hir::UseKind::Single(i))
[INFO] [stdout]     |               ^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these tuple variants
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ItemKind::Use;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::Rvalue::Use;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Static` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/hir.rs:924:15
[INFO] [stdout]     |
[INFO] [stdout] 924 |             | Static(_, i, ..)
[INFO] [stdout]     |               ^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these tuple variants
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ForeignItemKind::Static;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::FunOperand::Static;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ItemKind::Static;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Const` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/hir.rs:925:15
[INFO] [stdout]     |
[INFO] [stdout] 925 |             | Const(i, ..)
[INFO] [stdout]     |               ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these tuple variants
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::CanonicalVarInfo::Const;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::GenericArg::Const;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ImplItemKind::Const;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ItemKind::Const;
[INFO] [stdout]     |
[INFO] [stdout]     = and 2 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0574]: expected struct, variant or union type, found trait `Fn`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/hir.rs:926:15
[INFO] [stdout]     |
[INFO] [stdout] 926 |             | Fn { ident: i, .. }
[INFO] [stdout]     |               ^^ not a struct, variant or union type
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these variants instead
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::AssocKind::Fn;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ClosureKind::Fn;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::CtorKind::Fn;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::DefKind::Fn;
[INFO] [stdout]     |
[INFO] [stdout]     = and 4 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Macro` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/hir.rs:927:15
[INFO] [stdout]     |
[INFO] [stdout] 927 |             | Macro(i, ..)
[INFO] [stdout]     |               ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these tuple variants
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::DefKind::Macro;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::FullDefKind::Macro;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ItemKind::Macro;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Mod` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/hir.rs:928:15
[INFO] [stdout]     |
[INFO] [stdout] 928 |             | Mod(i, ..)
[INFO] [stdout]     |               ^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ItemKind::Mod;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `TyAlias` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/hir.rs:929:15
[INFO] [stdout]     |
[INFO] [stdout] 929 |             | TyAlias(i, ..)
[INFO] [stdout]     |               ^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ItemKind::TyAlias;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Enum` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/hir.rs:930:15
[INFO] [stdout]     |
[INFO] [stdout] 930 |             | Enum(i, ..)
[INFO] [stdout]     |               ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ItemKind::Enum;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Struct` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/hir.rs:931:15
[INFO] [stdout]     |
[INFO] [stdout] 931 |             | Struct(i, ..)
[INFO] [stdout]     |               ^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ItemKind::Struct;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Union` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/hir.rs:932:15
[INFO] [stdout]     |
[INFO] [stdout] 932 |             | Union(i, ..)
[INFO] [stdout]     |               ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ItemKind::Union;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Trait` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/hir.rs:933:15
[INFO] [stdout]     |
[INFO] [stdout] 933 |             | Trait(_, _, _, i, ..)
[INFO] [stdout]     |               ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these tuple variants
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ClauseKind::Trait;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ExistentialPredicate::Trait;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ItemKind::Trait;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `TraitAlias` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/hir.rs:934:15
[INFO] [stdout]     |
[INFO] [stdout] 934 |             | TraitAlias(i, ..) => i.name.to_ident_string(),
[INFO] [stdout]     |               ^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ItemKind::TraitAlias;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Use` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/hir.rs:935:13
[INFO] [stdout]     |
[INFO] [stdout] 935 |             Use(..) | ForeignMod { .. } | GlobalAsm { .. } | Impl { .. } => String::new(),
[INFO] [stdout]     |             ^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these tuple variants
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ItemKind::Use;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::Rvalue::Use;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `ForeignMod` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/hir.rs:935:23
[INFO] [stdout]     |
[INFO] [stdout] 935 |             Use(..) | ForeignMod { .. } | GlobalAsm { .. } | Impl { .. } => String::new(),
[INFO] [stdout]     |                       ^^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these variants
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::DefKind::ForeignMod;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::DefPathItem::ForeignMod;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::FullDefKind::ForeignMod;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ItemKind::ForeignMod;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `GlobalAsm` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/hir.rs:935:43
[INFO] [stdout]     |
[INFO] [stdout] 935 |             Use(..) | ForeignMod { .. } | GlobalAsm { .. } | Impl { .. } => String::new(),
[INFO] [stdout]     |                                           ^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these variants
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::DefKind::GlobalAsm;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::DefPathItem::GlobalAsm;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::FullDefKind::GlobalAsm;
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ItemKind::GlobalAsm;
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/mir.rs:757:31
[INFO] [stdout]     |
[INFO] [stdout] 757 |             if matches!(elem, Downcast { .. }) {
[INFO] [stdout]     |                               ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this variant
[INFO] [stdout]     |
[INFO] [stdout]   5 + 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/mir.rs:763:21
[INFO] [stdout]     |
[INFO] [stdout] 763 |                     Field(index, _) => {
[INFO] [stdout]     |                     ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout]   5 + 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/mir.rs:791:21
[INFO] [stdout]     |
[INFO] [stdout] 791 |                     Index(local) => ProjectionElem::Index(local.sinto(s)),
[INFO] [stdout]     |                     ^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout]   5 + 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/mir.rs:792:21
[INFO] [stdout]     |
[INFO] [stdout] 792 |                     ConstantIndex {
[INFO] [stdout]     |                     ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/constant_utils.rs:115:1
[INFO] [stdout]     |
[INFO] [stdout] 115 | 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] 792 -                     ConstantIndex {
[INFO] [stdout] 792 +                     ConstantKind {
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this variant
[INFO] [stdout]     |
[INFO] [stdout]   5 + 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/mir.rs:801:21
[INFO] [stdout]     |
[INFO] [stdout] 801 |                     Subslice { from, to, from_end } => ProjectionElem::Subslice {
[INFO] [stdout]     |                     ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this variant
[INFO] [stdout]     |
[INFO] [stdout]   5 + 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/mir.rs:806:21
[INFO] [stdout]     |
[INFO] [stdout] 806 |                     OpaqueCast(..) => ProjectionElem::OpaqueCast,
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/mir.rs:809:21
[INFO] [stdout]     |
[INFO] [stdout] 809 |                     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]   5 + use crate::AliasRelationDirection::Subtype;
[INFO] [stdout]     |
[INFO] [stdout]   5 + 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/mir.rs:810:21
[INFO] [stdout]     |
[INFO] [stdout] 810 |                     Downcast { .. } => unreachable!(),
[INFO] [stdout]     |                     ^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this variant
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::ProjectionElem::Downcast;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `UnwrapUnsafeBinder` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/mir.rs:811:21
[INFO] [stdout]     |
[INFO] [stdout] 811 |                     UnwrapUnsafeBinder { .. } => panic!("unsupported feature: unsafe binders"),
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:654:11
[INFO] [stdout]     |
[INFO] [stdout] 654 |         | 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::DefKind::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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:656:11
[INFO] [stdout]     |
[INFO] [stdout] 656 |         | Static { .. }
[INFO] [stdout]     |           ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/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] 656 -         | Static { .. }
[INFO] [stdout] 656 +         | State { .. }
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these variants
[INFO] [stdout]     |
[INFO] [stdout]   1 + use crate::DefKind::Static;
[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::FunOperand::Static;
[INFO] [stdout]     |
[INFO] [stdout]     = and 2 other candidates
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:660:11
[INFO] [stdout]     |
[INFO] [stdout] 660 |         | TyAlias { .. }
[INFO] [stdout]     |           ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/ty.rs:774:1
[INFO] [stdout]     |
[INFO] [stdout] 774 | 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] 660 -         | TyAlias { .. }
[INFO] [stdout] 660 +         | Alias { .. }
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing one of these variants
[INFO] [stdout]     |
[INFO] [stdout]   1 + use crate::DefKind::TyAlias;
[INFO] [stdout]     |
[INFO] [stdout]   1 + use crate::FullDefKind::TyAlias;
[INFO] [stdout]     |
[INFO] [stdout]   1 + use crate::ItemKind::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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/types/new/full_def.rs:669:11
[INFO] [stdout]     |
[INFO] [stdout] 669 |         | 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::DefKind::Ctor;
[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 `AssocItem` in this scope
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:22:15
[INFO] [stdout]    |
[INFO] [stdout] 22 |         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]  5 + use crate::AssocItem;
[INFO] [stdout]    |
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:24:23
[INFO] [stdout]    |
[INFO] [stdout] 24 |         generic_args: GenericArgsRef<'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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:34:20
[INFO] [stdout]    |
[INFO] [stdout] 34 |         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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:40:20
[INFO] [stdout]    |
[INFO] [stdout] 40 |         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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:52:19
[INFO] [stdout]    |
[INFO] [stdout] 52 |         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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:58:20
[INFO] [stdout]    |
[INFO] [stdout] 58 |         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]  5 + 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:62:18
[INFO] [stdout]     |
[INFO] [stdout]  62 |         r#trait: PolyTraitRef<'tcx>,
[INFO] [stdout]     |                  ^^^^^^^^^^^^ help: a trait with a similar name exists: `ToPolyTraitRef`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:282:1
[INFO] [stdout]     |
[INFO] [stdout] 282 | pub trait ToPolyTraitRef<'tcx> {
[INFO] [stdout]     | ------------------------------ similarly named trait `ToPolyTraitRef` defined here
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:67:18
[INFO] [stdout]     |
[INFO] [stdout]  67 |         r#trait: PolyTraitRef<'tcx>,
[INFO] [stdout]     |                  ^^^^^^^^^^^^ help: a trait with a similar name exists: `ToPolyTraitRef`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:282:1
[INFO] [stdout]     |
[INFO] [stdout] 282 | pub trait ToPolyTraitRef<'tcx> {
[INFO] [stdout]     | ------------------------------ similarly named trait `ToPolyTraitRef` defined here
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:86:18
[INFO] [stdout]     |
[INFO] [stdout]  86 |         r#trait: PolyTraitRef<'tcx>,
[INFO] [stdout]     |                  ^^^^^^^^^^^^ help: a trait with a similar name exists: `ToPolyTraitRef`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:282:1
[INFO] [stdout]     |
[INFO] [stdout] 282 | pub trait ToPolyTraitRef<'tcx> {
[INFO] [stdout]     | ------------------------------ similarly named trait `ToPolyTraitRef` defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Ty` in this scope
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:92:28
[INFO] [stdout]    |
[INFO] [stdout] 92 |         types: Vec<(DefId, Ty<'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]  5 + use crate::Ty;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Ty` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:112:13
[INFO] [stdout]     |
[INFO] [stdout] 112 |         ty: Ty<'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]   5 + use crate::Ty;
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:122:18
[INFO] [stdout]     |
[INFO] [stdout] 122 |     pub r#trait: PolyTraitRef<'tcx>,
[INFO] [stdout]     |                  ^^^^^^^^^^^^ help: a trait with a similar name exists: `ToPolyTraitRef`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:282:1
[INFO] [stdout]     |
[INFO] [stdout] 282 | pub trait ToPolyTraitRef<'tcx> {
[INFO] [stdout]     | ------------------------------ similarly named trait `ToPolyTraitRef` defined here
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:142:17
[INFO] [stdout]     |
[INFO] [stdout] 142 |     pub clause: 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:149:10
[INFO] [stdout]     |
[INFO] [stdout] 149 |     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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:154:14
[INFO] [stdout]     |
[INFO] [stdout] 154 |         tcx: TyCtxt<'tcx>,
[INFO] [stdout]     |              ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Ctor` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:168:56
[INFO] [stdout]     |
[INFO] [stdout] 168 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |                                                        ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::DefKind::Ctor;
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:202:10
[INFO] [stdout]     |
[INFO] [stdout] 202 |     tcx: TyCtxt<'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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:203:11
[INFO] [stdout]     |
[INFO] [stdout] 203 |     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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:205:10
[INFO] [stdout]     |
[INFO] [stdout] 205 | ) -> 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:223:11
[INFO] [stdout]     |
[INFO] [stdout] 223 |     pred: 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:228:34
[INFO] [stdout]     |
[INFO] [stdout] 228 |     fn into_impl_expr(self, tcx: TyCtxt<'tcx>) -> ImplExprAtom<'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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:245:10
[INFO] [stdout]     |
[INFO] [stdout] 245 |     tcx: TyCtxt<'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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:248:25
[INFO] [stdout]     |
[INFO] [stdout] 248 |     candidates: HashMap<PolyTraitPredicate<'tcx>, Candidate<'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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:254:31
[INFO] [stdout]     |
[INFO] [stdout] 254 |     pub fn new_for_owner(tcx: TyCtxt<'tcx>, owner_id: DefId, options: BoundsOptions) -> Self {
[INFO] [stdout]     |                               ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `TypingEnv` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:257:25
[INFO] [stdout]     |
[INFO] [stdout] 257 |             typing_env: TypingEnv {
[INFO] [stdout]     |                         ^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Binder` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:325:13
[INFO] [stdout]     |
[INFO] [stdout] 325 |         ty: Binder<'tcx, Ty<'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]   5 + use crate::Binder;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Ty` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:325:26
[INFO] [stdout]     |
[INFO] [stdout] 325 |         ty: Binder<'tcx, Ty<'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]   5 + use crate::Ty;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:331:13
[INFO] [stdout]     |
[INFO] [stdout] 331 |         let TyKind::Alias(AliasTyKind::Projection, alias_ty) = ty.skip_binder().kind() else {
[INFO] [stdout]     |             ^^^^^^ use of undeclared type `TyKind`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum through its public re-export
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::TyKind;
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:382:17
[INFO] [stdout]     |
[INFO] [stdout] 382 |         target: PolyTraitPredicate<'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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:414:16
[INFO] [stdout]     |
[INFO] [stdout] 414 |         tref: &PolyTraitRef<'tcx>,
[INFO] [stdout]     |                ^^^^^^^^^^^^ help: a trait with a similar name exists: `ToPolyTraitRef`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:282:1
[INFO] [stdout]     |
[INFO] [stdout] 282 | pub trait ToPolyTraitRef<'tcx> {
[INFO] [stdout]     | ------------------------------ similarly named trait `ToPolyTraitRef` defined here
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:469:58
[INFO] [stdout]     |
[INFO] [stdout] 469 |                     .filter(|assoc| matches!(assoc.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]   5 + use crate::AssocKind;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Ty`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:472:29
[INFO] [stdout]     |
[INFO] [stdout] 472 | ...                   Ty::new_projection(tcx, assoc.def_id, erased_tref.skip_binder().args);
[INFO] [stdout]     |                       ^^ use of undeclared type `Ty`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::Ty;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:474:32
[INFO] [stdout]     |
[INFO] [stdout] 474 |                         if let TyKind::Alias(_, alias_ty) = ty.kind() {
[INFO] [stdout]     |                                ^^^^^^ use of undeclared type `TyKind`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum through its public re-export
[INFO] [stdout]     |
[INFO] [stdout]   5 + use crate::TyKind;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Ty` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:503:45
[INFO] [stdout]     |
[INFO] [stdout] 503 |                 let mut resolve_drop = |ty: Ty<'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]   5 + use crate::Ty;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Ty` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:507:43
[INFO] [stdout]     |
[INFO] [stdout] 507 |                 let find_drop_impl = |ty: Ty<'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]   5 + use crate::Ty;
[INFO] [stdout]     |
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:612:19
[INFO] [stdout]     |
[INFO] [stdout] 612 |         generics: GenericArgsRef<'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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:628:19
[INFO] [stdout]     |
[INFO] [stdout] 628 |         generics: GenericArgsRef<'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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:644:19
[INFO] [stdout]     |
[INFO] [stdout] 644 |         generics: GenericArgsRef<'tcx>,
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `GenericPredicates` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:645:21
[INFO] [stdout]     |
[INFO] [stdout] 645 |         predicates: GenericPredicates<'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]   5 + use crate::GenericPredicates;
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:672:10
[INFO] [stdout]     |
[INFO] [stdout] 672 |     tcx: TyCtxt<'tcx>,
[INFO] [stdout]     |          ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ParamEnv` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:673:16
[INFO] [stdout]     |
[INFO] [stdout] 673 |     param_env: ParamEnv<'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]   5 + use crate::ParamEnv;
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:674:16
[INFO] [stdout]     |
[INFO] [stdout] 674 |     trait_ref: PolyTraitRef<'tcx>,
[INFO] [stdout]     |                ^^^^^^^^^^^^ help: a trait with a similar name exists: `ToPolyTraitRef`
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:282:1
[INFO] [stdout]     |
[INFO] [stdout] 282 | pub trait ToPolyTraitRef<'tcx> {
[INFO] [stdout]     | ------------------------------ similarly named trait `ToPolyTraitRef` defined here
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:37:35
[INFO] [stdout]    |
[INFO] [stdout] 37 | pub fn predicates_defined_on(tcx: TyCtxt<'_>, def_id: DefId) -> GenericPredicates<'_> {
[INFO] [stdout]    |                                   ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `GenericPredicates` in this scope
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:37:65
[INFO] [stdout]    |
[INFO] [stdout] 37 | pub fn predicates_defined_on(tcx: TyCtxt<'_>, def_id: DefId) -> GenericPredicates<'_> {
[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] 29 + use crate::GenericPredicates;
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:67:10
[INFO] [stdout]    |
[INFO] [stdout] 67 |     tcx: TyCtxt<'tcx>,
[INFO] [stdout]    |          ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `GenericPredicates` in this scope
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:70:6
[INFO] [stdout]    |
[INFO] [stdout] 70 | ) -> GenericPredicates<'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] 29 + use crate::GenericPredicates;
[INFO] [stdout]    |
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:81:11
[INFO] [stdout]    |
[INFO] [stdout] 81 |         | Impl { .. }
[INFO] [stdout]    |           ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing one of these items
[INFO] [stdout]    |
[INFO] [stdout] 29 + use crate::DefKind::Impl;
[INFO] [stdout]    |
[INFO] [stdout] 29 + use crate::DefPathItem::Impl;
[INFO] [stdout]    |
[INFO] [stdout] 29 + use crate::Impl;
[INFO] [stdout]    |
[INFO] [stdout] 29 + 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:83:11
[INFO] [stdout]    |
[INFO] [stdout] 83 |         | Static { .. }
[INFO] [stdout]    |           ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing one of these variants
[INFO] [stdout]    |
[INFO] [stdout] 29 + use crate::DefKind::Static;
[INFO] [stdout]    |
[INFO] [stdout] 29 + use crate::ForeignItemKind::Static;
[INFO] [stdout]    |
[INFO] [stdout] 29 + use crate::FullDefKind::Static;
[INFO] [stdout]    |
[INFO] [stdout] 29 + use crate::FunOperand::Static;
[INFO] [stdout]    |
[INFO] [stdout]    = and 2 other candidates
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `GenericParamDefKind`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:102:54
[INFO] [stdout]     |
[INFO] [stdout] 102 |                 .filter(|param| matches!(param.kind, GenericParamDefKind::Type { .. }))
[INFO] [stdout]     |                                                      ^^^^^^^^^^^^^^^^^^^ use of undeclared type `GenericParamDefKind`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum through its public re-export
[INFO] [stdout]     |
[INFO] [stdout]  29 + use crate::GenericParamDefKind;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Binder`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:104:27
[INFO] [stdout]     |
[INFO] [stdout] 104 |                 .map(|ty| Binder::dummy(TraitRef::new(tcx, drop_trait, [ty])))
[INFO] [stdout]     |                           ^^^^^^ use of undeclared type `Binder`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout]  29 + use crate::Binder;
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:104:41
[INFO] [stdout]     |
[INFO] [stdout] 104 |                 .map(|ty| Binder::dummy(TraitRef::new(tcx, drop_trait, [ty])))
[INFO] [stdout]     |                                         ^^^^^^^^ use of undeclared type `TraitRef`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this type alias through its public re-export
[INFO] [stdout]     |
[INFO] [stdout]  29 + 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:119:34
[INFO] [stdout]     |
[INFO] [stdout] 119 | pub fn self_predicate<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:119:66
[INFO] [stdout]     |
[INFO] [stdout] 119 | pub fn self_predicate<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> PolyTraitRef<'tcx> {
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^^ help: a trait with a similar name exists: `ToPolyTraitRef`
[INFO] [stdout] ...
[INFO] [stdout] 282 | pub trait ToPolyTraitRef<'tcx> {
[INFO] [stdout]     | ------------------------------ similarly named trait `ToPolyTraitRef` defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Binder`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:121:5
[INFO] [stdout]     |
[INFO] [stdout] 121 |     Binder::dummy(TraitRef::identity(tcx, def_id))
[INFO] [stdout]     |     ^^^^^^ use of undeclared type `Binder`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout]  29 + use crate::Binder;
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:121:19
[INFO] [stdout]     |
[INFO] [stdout] 121 |     Binder::dummy(TraitRef::identity(tcx, def_id))
[INFO] [stdout]     |                   ^^^^^^^^ use of undeclared type `TraitRef`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this type alias through its public re-export
[INFO] [stdout]     |
[INFO] [stdout]  29 + 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:138:10
[INFO] [stdout]     |
[INFO] [stdout] 138 |     tcx: TyCtxt<'tcx>,
[INFO] [stdout]     |          ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `GenericPredicates` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:141:6
[INFO] [stdout]     |
[INFO] [stdout] 141 | ) -> GenericPredicates<'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]  29 + use crate::GenericPredicates;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0422]: cannot find struct, variant or union type `GenericPredicates` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:148:34
[INFO] [stdout]     |
[INFO] [stdout] 148 |             let mut predicates = GenericPredicates {
[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]  29 + use crate::GenericPredicates;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `GenericPredicates`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:152:19
[INFO] [stdout]     |
[INFO] [stdout] 152 |                 ..GenericPredicates::default()
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^ use of undeclared type `GenericPredicates`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout]  29 + use crate::GenericPredicates;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Ty`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:158:21
[INFO] [stdout]     |
[INFO] [stdout] 158 |                     Ty::new_projection(tcx, def_id, GenericArgs::identity_for_item(tcx, def_id));
[INFO] [stdout]     |                     ^^ use of undeclared type `Ty`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout]  29 + use crate::Ty;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Binder`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:159:28
[INFO] [stdout]     |
[INFO] [stdout] 159 |                 let tref = Binder::dummy(TraitRef::new(tcx, drop_trait, [ty]));
[INFO] [stdout]     |                            ^^^^^^ use of undeclared type `Binder`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout]  29 + use crate::Binder;
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:159:42
[INFO] [stdout]     |
[INFO] [stdout] 159 |                 let tref = Binder::dummy(TraitRef::new(tcx, drop_trait, [ty]));
[INFO] [stdout]     |                                          ^^^^^^^^ use of undeclared type `TraitRef`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this type alias through its public re-export
[INFO] [stdout]     |
[INFO] [stdout]  29 + use crate::TraitRef;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `GenericPredicates`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:170:14
[INFO] [stdout]     |
[INFO] [stdout] 170 |         _ => GenericPredicates::default(),
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^ use of undeclared type `GenericPredicates`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout]  29 + use crate::GenericPredicates;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `TypeFoldable` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:183:8
[INFO] [stdout]     |
[INFO] [stdout] 183 |     T: TypeFoldable<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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:183:21
[INFO] [stdout]     |
[INFO] [stdout] 183 |     T: TypeFoldable<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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:181:37
[INFO] [stdout]     |
[INFO] [stdout] 181 | fn erase_free_regions<'tcx, T>(tcx: TyCtxt<'tcx>, value: T) -> T
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:187:14
[INFO] [stdout]     |
[INFO] [stdout] 187 |         tcx: TyCtxt<'tcx>,
[INFO] [stdout]     |              ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `TypeFolder` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:191:16
[INFO] [stdout]     |
[INFO] [stdout] 191 |     impl<'tcx> TypeFolder<TyCtxt<'tcx>> for RegionEraserVisitor<'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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:191:27
[INFO] [stdout]     |
[INFO] [stdout] 191 |     impl<'tcx> TypeFolder<TyCtxt<'tcx>> for RegionEraserVisitor<'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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:192:25
[INFO] [stdout]     |
[INFO] [stdout] 192 |         fn cx(&self) -> TyCtxt<'tcx> {
[INFO] [stdout]     |                         ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Ty` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:196:35
[INFO] [stdout]     |
[INFO] [stdout] 181 | fn erase_free_regions<'tcx, T>(tcx: TyCtxt<'tcx>, value: T) -> T
[INFO] [stdout]     |                             - similarly named type parameter `T` defined here
[INFO] [stdout] ...
[INFO] [stdout] 196 |         fn fold_ty(&mut self, ty: Ty<'tcx>) -> Ty<'tcx> {
[INFO] [stdout]     |                                   ^^
[INFO] [stdout]     |
[INFO] [stdout] help: a type parameter with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 196 -         fn fold_ty(&mut self, ty: Ty<'tcx>) -> Ty<'tcx> {
[INFO] [stdout] 196 +         fn fold_ty(&mut self, ty: T<'tcx>) -> Ty<'tcx> {
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout]  29 + use crate::Ty;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Ty` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:196:48
[INFO] [stdout]     |
[INFO] [stdout] 181 | fn erase_free_regions<'tcx, T>(tcx: TyCtxt<'tcx>, value: T) -> T
[INFO] [stdout]     |                             - similarly named type parameter `T` defined here
[INFO] [stdout] ...
[INFO] [stdout] 196 |         fn fold_ty(&mut self, ty: Ty<'tcx>) -> Ty<'tcx> {
[INFO] [stdout]     |                                                ^^
[INFO] [stdout]     |
[INFO] [stdout] help: a type parameter with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 196 -         fn fold_ty(&mut self, ty: Ty<'tcx>) -> Ty<'tcx> {
[INFO] [stdout] 196 +         fn fold_ty(&mut self, ty: Ty<'tcx>) -> T<'tcx> {
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout]  29 + use crate::Ty;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `TypeFoldable` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:202:16
[INFO] [stdout]     |
[INFO] [stdout] 202 |             T: TypeFoldable<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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:202:29
[INFO] [stdout]     |
[INFO] [stdout] 202 |             T: TypeFoldable<TyCtxt<'tcx>>,
[INFO] [stdout]     |                             ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `TypeFoldable` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:227:8
[INFO] [stdout]     |
[INFO] [stdout] 227 |     T: TypeFoldable<TyCtxt<'tcx>> + Copy,
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:227:21
[INFO] [stdout]     |
[INFO] [stdout] 227 |     T: TypeFoldable<TyCtxt<'tcx>> + Copy,
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:225:37
[INFO] [stdout]     |
[INFO] [stdout] 225 | pub fn erase_and_norm<'tcx, T>(tcx: TyCtxt<'tcx>, typing_env: TypingEnv<'tcx>, x: T) -> T
[INFO] [stdout]     |                                     ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TypingEnv` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:225:63
[INFO] [stdout]     |
[INFO] [stdout] 225 | pub fn erase_and_norm<'tcx, T>(tcx: TyCtxt<'tcx>, typing_env: TypingEnv<'tcx>, x: T) -> T
[INFO] [stdout]     |                                                               ^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `TypeFoldable` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:246:8
[INFO] [stdout]     |
[INFO] [stdout] 246 |     T: TypeFoldable<TyCtxt<'tcx>> + Copy,
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:246:21
[INFO] [stdout]     |
[INFO] [stdout] 246 |     T: TypeFoldable<TyCtxt<'tcx>> + Copy,
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:241:10
[INFO] [stdout]     |
[INFO] [stdout] 241 |     tcx: TyCtxt<'tcx>,
[INFO] [stdout]     |          ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TypingEnv` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:242:17
[INFO] [stdout]     |
[INFO] [stdout] 242 |     typing_env: TypingEnv<'tcx>,
[INFO] [stdout]     |                 ^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Binder` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:243:8
[INFO] [stdout]     |
[INFO] [stdout] 243 |     x: Binder<'tcx, T>,
[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]  29 + use crate::Binder;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Binder` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:244:6
[INFO] [stdout]     |
[INFO] [stdout] 244 | ) -> Binder<'tcx, T>
[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]  29 + use crate::Binder;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Binder`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:248:5
[INFO] [stdout]     |
[INFO] [stdout] 248 |     Binder::dummy(erase_and_norm(tcx, typing_env, x.skip_binder()))
[INFO] [stdout]     |     ^^^^^^ use of undeclared type `Binder`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout]  29 + use crate::Binder;
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:252:42
[INFO] [stdout]     |
[INFO] [stdout] 252 | pub fn is_sized_related_trait<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> bool {
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:264:10
[INFO] [stdout]     |
[INFO] [stdout] 264 |     tcx: TyCtxt<'tcx>,
[INFO] [stdout]     |          ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `GenericPredicates` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:265:30
[INFO] [stdout]     |
[INFO] [stdout] 265 |     generic_predicates: &mut GenericPredicates<'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]  29 + use crate::GenericPredicates;
[INFO] [stdout]     |
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:267:26
[INFO] [stdout]     |
[INFO] [stdout] 267 |     let predicates: Vec<(Clause<'tcx>, rustc_span::Span)> = generic_predicates
[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]  29 + use crate::Clause;
[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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:283:36
[INFO] [stdout]     |
[INFO] [stdout] 283 |     fn to_poly_trait_ref(&self) -> 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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:286:37
[INFO] [stdout]     |
[INFO] [stdout] 286 | impl<'tcx> ToPolyTraitRef<'tcx> for PolyTraitPredicate<'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-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:287:36
[INFO] [stdout]     |
[INFO] [stdout] 282 | pub trait ToPolyTraitRef<'tcx> {
[INFO] [stdout]     | ------------------------------ similarly named trait `ToPolyTraitRef` defined here
[INFO] [stdout] ...
[INFO] [stdout] 287 |     fn to_poly_trait_ref(&self) -> PolyTraitRef<'tcx> {
[INFO] [stdout]     |                                    ^^^^^^^^^^^^ help: a trait with a similar name exists: `ToPolyTraitRef`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `Ctor` in this scope
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits.rs:328:56
[INFO] [stdout]     |
[INFO] [stdout] 328 |             AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => {
[INFO] [stdout]     |                                                        ^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this tuple variant
[INFO] [stdout]     |
[INFO] [stdout]   1 + use crate::DefKind::Ctor;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:2:32
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![cfg_attr(feature = "rustc", feature(if_let_guard))]
[INFO] [stdout]   |                                ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:3:32
[INFO] [stdout]   |
[INFO] [stdout] 3 | #![cfg_attr(feature = "rustc", feature(macro_metavar_expr))]
[INFO] [stdout]   |                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:4:32
[INFO] [stdout]   |
[INFO] [stdout] 4 | #![cfg_attr(feature = "rustc", feature(rustc_private))]
[INFO] [stdout]   |                                ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:5:32
[INFO] [stdout]   |
[INFO] [stdout] 5 | #![cfg_attr(feature = "rustc", feature(sized_hierarchy))]
[INFO] [stdout]   |                                ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:6:32
[INFO] [stdout]   |
[INFO] [stdout] 6 | #![cfg_attr(feature = "rustc", feature(trait_alias))]
[INFO] [stdout]   |                                ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/lib.rs:7:32
[INFO] [stdout]   |
[INFO] [stdout] 7 | #![cfg_attr(feature = "rustc", feature(type_changing_struct_update))]
[INFO] [stdout]   |                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TypingMode`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:259:30
[INFO] [stdout]     |
[INFO] [stdout] 259 |                 typing_mode: TypingMode::PostAnalysis,
[INFO] [stdout]     |                              ^^^^^^^^^^ use of undeclared type `TypingMode`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `AliasTyKind`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:331:27
[INFO] [stdout]     |
[INFO] [stdout] 331 |         let TyKind::Alias(AliasTyKind::Projection, alias_ty) = ty.skip_binder().kind() else {
[INFO] [stdout]     |                           ^^^^^^^^^^^ use of undeclared type `AliasTyKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `EarlyBinder`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:351:25
[INFO] [stdout]     |
[INFO] [stdout] 351 |             .map(|pred| EarlyBinder::bind(pred).instantiate(tcx, alias_ty.args))
[INFO] [stdout]     |                         ^^^^^^^^^^^ use of undeclared type `EarlyBinder`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `EarlyBinder`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:657:30
[INFO] [stdout]     |
[INFO] [stdout] 657 |             .map(|trait_ref| EarlyBinder::bind(trait_ref).instantiate(tcx, generics))
[INFO] [stdout]     |                              ^^^^^^^^^^^ use of undeclared type `EarlyBinder`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TypingMode`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/resolution.rs:687:16
[INFO] [stdout]     |
[INFO] [stdout] 687 |         .build(TypingMode::PostAnalysis);
[INFO] [stdout]     |                ^^^^^^^^^^ use of undeclared type `TypingMode`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `GenericArgs`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.4/src/traits/utils.rs:158:53
[INFO] [stdout]     |
[INFO] [stdout] 158 |                     Ty::new_projection(tcx, def_id, GenericArgs::identity_for_item(tcx, def_id));
[INFO] [stdout]     |                                                     ^^^^^^^^^^^ use of undeclared type `GenericArgs`
[INFO] [stdout]     |
[INFO] [stdout] help: there is an enum variant `crate::HirGenericArgs::GenericArgs`; try using the variant's enum
[INFO] [stdout]     |
[INFO] [stdout] 158 |                     Ty::new_projection(tcx, def_id, crate::HirGenericArgs::identity_for_item(tcx, def_id));
[INFO] [stdout]     |                                                     ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0405, E0408, E0412, E0422, E0432, E0433, E0463, E0531, E0554...
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0405`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `hax-frontend-exporter` (lib) due to 215 previous errors
[INFO] running `Command { std: "docker" "inspect" "2aff08858713fbb89fb7abf9bf70462f6a9897d26a31d53b1d1359017f7ffc35", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2aff08858713fbb89fb7abf9bf70462f6a9897d26a31d53b1d1359017f7ffc35", kill_on_drop: false }`
[INFO] [stdout] 2aff08858713fbb89fb7abf9bf70462f6a9897d26a31d53b1d1359017f7ffc35
