[INFO] fetching crate hax-driver 0.3.1... [INFO] checking hax-driver-0.3.1 against master#350d0ef0ec0493e6d21cfb265cb8211a0e74d766 for pr-145342-1 [INFO] extracting crate hax-driver 0.3.1 into /workspace/builds/worker-4-tc1/source [INFO] started tweaking crates.io crate hax-driver 0.3.1 [INFO] finished tweaking crates.io crate hax-driver 0.3.1 [INFO] tweaked toml for crates.io crate hax-driver 0.3.1 written to /workspace/builds/worker-4-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate hax-driver 0.3.1 on toolchain 350d0ef0ec0493e6d21cfb265cb8211a0e74d766 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate hax-driver 0.3.1 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded ext-trait-proc_macros v1.0.1 [INFO] [stderr] Downloaded extension-traits v1.0.1 [INFO] [stderr] Downloaded tracing-tree v0.2.5 [INFO] [stderr] Downloaded serde-brief v0.1.0 [INFO] [stderr] Downloaded hax-types v0.3.1 [INFO] [stderr] Downloaded hax-frontend-exporter-options v0.3.1 [INFO] [stderr] Downloaded hax-lib-macros-types v0.3.1 [INFO] [stderr] Downloaded ext-trait v1.0.1 [INFO] [stderr] Downloaded hax-frontend-exporter v0.3.1 [INFO] [stderr] Downloaded hax-adt-into v0.3.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 21c9c186124141792ed9122dc43aa9008ce564be2351f6fef29cbaeb3b05e58f [INFO] running `Command { std: "docker" "start" "-a" "21c9c186124141792ed9122dc43aa9008ce564be2351f6fef29cbaeb3b05e58f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "21c9c186124141792ed9122dc43aa9008ce564be2351f6fef29cbaeb3b05e58f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "21c9c186124141792ed9122dc43aa9008ce564be2351f6fef29cbaeb3b05e58f", kill_on_drop: false }` [INFO] [stdout] 21c9c186124141792ed9122dc43aa9008ce564be2351f6fef29cbaeb3b05e58f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e662c9bbf5af4a6cb32a38f6a8e4b736097a80fd41a32208280fab07b6f9e9ed [INFO] running `Command { std: "docker" "start" "-a" "e662c9bbf5af4a6cb32a38f6a8e4b736097a80fd41a32208280fab07b6f9e9ed", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.86 [INFO] [stderr] Compiling unicode-ident v1.0.13 [INFO] [stderr] Compiling libc v0.2.159 [INFO] [stderr] Compiling serde v1.0.210 [INFO] [stderr] Checking once_cell v1.20.1 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling pkg-config v0.3.31 [INFO] [stderr] Compiling serde_json v1.0.128 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking ryu v1.0.18 [INFO] [stderr] Checking itoa v1.0.11 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Compiling schemars v0.8.21 [INFO] [stderr] Checking utf8parse v0.2.2 [INFO] [stderr] Checking pin-project-lite v0.2.14 [INFO] [stderr] Checking anstyle v1.0.8 [INFO] [stderr] Compiling either v1.13.0 [INFO] [stderr] Checking anstyle-parse v0.2.5 [INFO] [stderr] Checking is_terminal_polyfill v1.70.1 [INFO] [stderr] Checking dyn-clone v1.0.17 [INFO] [stderr] Compiling thiserror v1.0.64 [INFO] [stderr] Checking regex-syntax v0.8.5 [INFO] [stderr] Compiling zstd-safe v7.2.1 [INFO] [stderr] Checking colorchoice v1.0.2 [INFO] [stderr] Checking tracing-core v0.1.32 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Checking regex-syntax v0.6.29 [INFO] [stderr] Checking anstyle-query v1.1.1 [INFO] [stderr] Checking log v0.4.22 [INFO] [stderr] Checking unicode-width v0.1.14 [INFO] [stderr] Compiling itertools v0.11.0 [INFO] [stderr] Checking clap_lex v0.7.2 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Checking strsim v0.11.1 [INFO] [stderr] Checking anstream v0.6.15 [INFO] [stderr] Checking overload v0.1.1 [INFO] [stderr] Checking thread_local v1.1.8 [INFO] [stderr] Checking sharded-slab v0.1.7 [INFO] [stderr] Compiling hax-types v0.3.1 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Checking nu-ansi-term v0.46.0 [INFO] [stderr] Checking clap_builder v4.5.19 [INFO] [stderr] Checking tracing-log v0.2.0 [INFO] [stderr] Checking tracing-log v0.1.4 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling jobserver v0.1.32 [INFO] [stderr] Checking annotate-snippets v0.11.4 [INFO] [stderr] Checking colored v2.1.0 [INFO] [stderr] Checking path-clean v1.0.1 [INFO] [stderr] Compiling syn v2.0.79 [INFO] [stderr] Compiling cc v1.1.24 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking uuid v1.10.0 [INFO] [stderr] Checking regex-automata v0.1.10 [INFO] [stderr] Checking regex-automata v0.4.8 [INFO] [stderr] Compiling zstd-sys v2.0.13+zstd.1.5.6 [INFO] [stderr] Checking matchers v0.1.0 [INFO] [stderr] Checking regex v1.11.0 [INFO] [stderr] Compiling ext-trait-proc_macros v1.0.1 [INFO] [stderr] Compiling hax-adt-into v0.3.1 [INFO] [stderr] Compiling serde_derive_internals v0.29.1 [INFO] [stderr] Checking ext-trait v1.0.1 [INFO] [stderr] Checking extension-traits v1.0.1 [INFO] [stderr] Checking zstd v0.13.2 [INFO] [stderr] Compiling serde_derive v1.0.210 [INFO] [stderr] Compiling tracing-attributes v0.1.27 [INFO] [stderr] Compiling thiserror-impl v1.0.64 [INFO] [stderr] Compiling miette-derive v7.2.0 [INFO] [stderr] Compiling clap_derive v4.5.18 [INFO] [stderr] Compiling schemars_derive v0.8.21 [INFO] [stderr] Checking tracing v0.1.40 [INFO] [stderr] Checking tracing-subscriber v0.3.18 [INFO] [stderr] Checking miette v7.2.0 [INFO] [stderr] Checking clap v4.5.19 [INFO] [stderr] Checking tracing-tree v0.2.5 [INFO] [stderr] Checking serde-brief v0.1.0 [INFO] [stderr] Checking hax-lib-macros-types v0.3.1 [INFO] [stderr] Checking hax-frontend-exporter-options v0.3.1 [INFO] [stderr] Checking hax-frontend-exporter v0.3.1 [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/lib.rs:2:40 [INFO] [stdout] | [INFO] [stdout] 2 | #![cfg_attr(feature = "rustc", feature(concat_idents))] [INFO] [stdout] | ^^^^^^^^^^^^^ feature has been removed [INFO] [stdout] | [INFO] [stdout] = note: removed in 1.90.0; see for more information [INFO] [stdout] = note: use the `${concat(..)}` metavariable expression instead [INFO] [stdout] [INFO] [stdout] [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.1/src/lib.rs:24:5 [INFO] [stdout] | [INFO] [stdout] 24 | 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.1/src/lib.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 25 | 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.1/src/lib.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 26 | 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.1/src/lib.rs:27:5 [INFO] [stdout] | [INFO] [stdout] 27 | 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.1/src/lib.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | 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.1/src/lib.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 29 | 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.1/src/lib.rs:30:5 [INFO] [stdout] | [INFO] [stdout] 30 | 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.1/src/lib.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | 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.1/src/lib.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 32 | 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.1/src/lib.rs:33:5 [INFO] [stdout] | [INFO] [stdout] 33 | 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.1/src/lib.rs:34:5 [INFO] [stdout] | [INFO] [stdout] 34 | 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.1/src/lib.rs:35:5 [INFO] [stdout] | [INFO] [stdout] 35 | 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.1/src/lib.rs:36:5 [INFO] [stdout] | [INFO] [stdout] 36 | 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.1/src/lib.rs:37:5 [INFO] [stdout] | [INFO] [stdout] 37 | 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.1/src/lib.rs:38:5 [INFO] [stdout] | [INFO] [stdout] 38 | 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.1/src/lib.rs:39:5 [INFO] [stdout] | [INFO] [stdout] 39 | 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.1/src/lib.rs:40:5 [INFO] [stdout] | [INFO] [stdout] 40 | 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.1/src/lib.rs:41:5 [INFO] [stdout] | [INFO] [stdout] 41 | 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.1/src/lib.rs:42:5 [INFO] [stdout] | [INFO] [stdout] 42 | 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.1/src/lib.rs:43:5 [INFO] [stdout] | [INFO] [stdout] 43 | 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.1/src/lib.rs:44:5 [INFO] [stdout] | [INFO] [stdout] 44 | 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.1/src/lib.rs:45:5 [INFO] [stdout] | [INFO] [stdout] 45 | 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.1/src/lib.rs:46:5 [INFO] [stdout] | [INFO] [stdout] 46 | 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::Visibility`, `ty::TermKind`, `DefKind::*`, `DefKind::*`, `DefKind::*`, `ast::LitFloatType`, `ast::MacroDef`, `ty::Upcast`, `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::TraitRef`, `ty::TraitPredicate`, `ty::ClauseKind`, `ty::BoundVariableKind`, `ty::GenericPredicates`, `ty::SubtypePredicate`, `ty::CoercePredicate`, `ty::AliasRelationDirection`, `ty::ClosureKind`, `ty::PredicateKind`, `ty::AssocItem`, `ty::AssocKind`, `ty::ImplTraitInTraitData` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/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] 889 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/mir.rs:425:13 [INFO] [stdout] | [INFO] [stdout] 425 | use mir::Operand; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:245:17 [INFO] [stdout] | [INFO] [stdout] 245 | use ty::Upcast; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 611 | use RDefKind::*; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 655 | use RDefKind::*; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/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] 397 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 420 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 430 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 441 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 462 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 551 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 567 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 588 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/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] 102 | #[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] 132 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 205 | #[derive(AdtInto, Clone, Debug, JsonSchema)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 214 | #[derive(AdtInto, Clone, Debug, JsonSchema)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 225 | #[derive(AdtInto, Clone, Debug, JsonSchema)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 256 | #[derive(AdtInto, Clone, Debug, JsonSchema)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 265 | #[derive(AdtInto, Clone, Debug, JsonSchema)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 283 | use ty::Visibility as T; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 372 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 381 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 390 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 400 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 418 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 427 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 462 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 587 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 604 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 636 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 788 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 872 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 884 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 896 | #[derive(AdtInto, Copy, Clone, Debug, JsonSchema)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 971 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 989 | #[derive(AdtInto, Clone, Debug, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1006 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1017 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1069 | use ty::TermKind; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1116 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1178 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1229 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1260 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1271 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1281 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1342 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1355 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1371 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1390 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1467 | #[derive(AdtInto)] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:136:13 [INFO] [stdout] | [INFO] [stdout] 136 | use DefKind::*; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:63:9 [INFO] [stdout] | [INFO] [stdout] 63 | use DefKind::*; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 104 | 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.1/src/types/new/full_def.rs:613:9 [INFO] [stdout] | [INFO] [stdout] 613 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 614 | | AssocFn [INFO] [stdout] | ------- variable not in all patterns [INFO] [stdout] 615 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 616 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 617 | | Field [INFO] [stdout] | ^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 618 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 619 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 620 | | Macro { .. } [INFO] [stdout] | ^^^^^^^^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 621 | | Mod [INFO] [stdout] | ^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 622 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 623 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 624 | | Trait [INFO] [stdout] | ^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 625 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 626 | | TyAlias { .. } [INFO] [stdout] | ^^^^^^^^^^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 627 | | Union [INFO] [stdout] | ^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 628 | | Use [INFO] [stdout] | ^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 629 | | 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] 614 | | 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.1/src/types/new/full_def.rs:613:9 [INFO] [stdout] | [INFO] [stdout] 613 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 614 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 615 | | Const [INFO] [stdout] | ----- variable not in all patterns [INFO] [stdout] 616 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `Const` [INFO] [stdout] 617 | | Field [INFO] [stdout] | ^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 618 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `Const` [INFO] [stdout] 619 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 620 | | Macro { .. } [INFO] [stdout] | ^^^^^^^^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 621 | | Mod [INFO] [stdout] | ^^^ pattern doesn't bind `Const` [INFO] [stdout] 622 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 623 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 624 | | Trait [INFO] [stdout] | ^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 625 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 626 | | TyAlias { .. } [INFO] [stdout] | ^^^^^^^^^^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 627 | | Union [INFO] [stdout] | ^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 628 | | Use [INFO] [stdout] | ^^^ pattern doesn't bind `Const` [INFO] [stdout] 629 | | 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] 615 | | crate::AssocItemKind::Const [INFO] [stdout] | ++++++++++++++++++++++ [INFO] [stdout] 615 | | crate::AssocKind::Const [INFO] [stdout] | ++++++++++++++++++ [INFO] [stdout] 615 | | crate::BoundVariableKind::Const [INFO] [stdout] | ++++++++++++++++++++++++++ [INFO] [stdout] 615 | | crate::Constness::Const [INFO] [stdout] | ++++++++++++++++++ [INFO] [stdout] = and 3 other candidates [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.1/src/types/new/full_def.rs:613:9 [INFO] [stdout] | [INFO] [stdout] 613 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 614 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 615 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 616 | | Enum [INFO] [stdout] | ---- variable not in all patterns [INFO] [stdout] 617 | | Field [INFO] [stdout] | ^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 618 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `Enum` [INFO] [stdout] 619 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 620 | | Macro { .. } [INFO] [stdout] | ^^^^^^^^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 621 | | Mod [INFO] [stdout] | ^^^ pattern doesn't bind `Enum` [INFO] [stdout] 622 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 623 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 624 | | Trait [INFO] [stdout] | ^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 625 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 626 | | TyAlias { .. } [INFO] [stdout] | ^^^^^^^^^^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 627 | | Union [INFO] [stdout] | ^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 628 | | Use [INFO] [stdout] | ^^^ pattern doesn't bind `Enum` [INFO] [stdout] 629 | | 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] 616 | | crate::AdtKind::Enum [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 616 | | crate::DefKind::Enum [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 616 | | 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.1/src/types/new/full_def.rs:613:9 [INFO] [stdout] | [INFO] [stdout] 613 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Field` [INFO] [stdout] 614 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Field` [INFO] [stdout] 615 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `Field` [INFO] [stdout] 616 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `Field` [INFO] [stdout] 617 | | Field [INFO] [stdout] | ----- variable not in all patterns [INFO] [stdout] 618 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `Field` [INFO] [stdout] 619 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `Field` [INFO] [stdout] 620 | | Macro { .. } [INFO] [stdout] | ^^^^^^^^^^^^ pattern doesn't bind `Field` [INFO] [stdout] 621 | | Mod [INFO] [stdout] | ^^^ pattern doesn't bind `Field` [INFO] [stdout] 622 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `Field` [INFO] [stdout] 623 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `Field` [INFO] [stdout] 624 | | Trait [INFO] [stdout] | ^^^^^ pattern doesn't bind `Field` [INFO] [stdout] 625 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Field` [INFO] [stdout] 626 | | TyAlias { .. } [INFO] [stdout] | ^^^^^^^^^^^^^^ pattern doesn't bind `Field` [INFO] [stdout] 627 | | Union [INFO] [stdout] | ^^^^^ pattern doesn't bind `Field` [INFO] [stdout] 628 | | Use [INFO] [stdout] | ^^^ pattern doesn't bind `Field` [INFO] [stdout] 629 | | 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] 617 | | crate::DefKind::Field [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 617 | | 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.1/src/types/new/full_def.rs:613:9 [INFO] [stdout] | [INFO] [stdout] 613 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 614 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 615 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 616 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 617 | | Field [INFO] [stdout] | ^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 618 | | Fn [INFO] [stdout] | -- variable not in all patterns [INFO] [stdout] 619 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 620 | | Macro { .. } [INFO] [stdout] | ^^^^^^^^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 621 | | Mod [INFO] [stdout] | ^^^ pattern doesn't bind `Fn` [INFO] [stdout] 622 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 623 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 624 | | Trait [INFO] [stdout] | ^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 625 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 626 | | TyAlias { .. } [INFO] [stdout] | ^^^^^^^^^^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 627 | | Union [INFO] [stdout] | ^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 628 | | Use [INFO] [stdout] | ^^^ pattern doesn't bind `Fn` [INFO] [stdout] 629 | | 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] 618 | | crate::AssocKind::Fn [INFO] [stdout] | ++++++++++++++++++ [INFO] [stdout] 618 | | crate::ClosureKind::Fn [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] 618 | | crate::CtorKind::Fn [INFO] [stdout] | +++++++++++++++++ [INFO] [stdout] 618 | | 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.1/src/types/new/full_def.rs:613:9 [INFO] [stdout] | [INFO] [stdout] 613 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 614 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 615 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 616 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 617 | | Field [INFO] [stdout] | ^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 618 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 619 | | ForeignTy [INFO] [stdout] | --------- variable not in all patterns [INFO] [stdout] 620 | | Macro { .. } [INFO] [stdout] | ^^^^^^^^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 621 | | Mod [INFO] [stdout] | ^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 622 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 623 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 624 | | Trait [INFO] [stdout] | ^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 625 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 626 | | TyAlias { .. } [INFO] [stdout] | ^^^^^^^^^^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 627 | | Union [INFO] [stdout] | ^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 628 | | Use [INFO] [stdout] | ^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 629 | | 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] 619 | | crate::DefKind::ForeignTy [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 619 | | 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.1/src/types/new/full_def.rs:613:9 [INFO] [stdout] | [INFO] [stdout] 613 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Mod` [INFO] [stdout] 614 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Mod` [INFO] [stdout] 615 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `Mod` [INFO] [stdout] 616 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `Mod` [INFO] [stdout] 617 | | Field [INFO] [stdout] | ^^^^^ pattern doesn't bind `Mod` [INFO] [stdout] 618 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `Mod` [INFO] [stdout] 619 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `Mod` [INFO] [stdout] 620 | | Macro { .. } [INFO] [stdout] | ^^^^^^^^^^^^ pattern doesn't bind `Mod` [INFO] [stdout] 621 | | Mod [INFO] [stdout] | --- variable not in all patterns [INFO] [stdout] 622 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `Mod` [INFO] [stdout] 623 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `Mod` [INFO] [stdout] 624 | | Trait [INFO] [stdout] | ^^^^^ pattern doesn't bind `Mod` [INFO] [stdout] 625 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Mod` [INFO] [stdout] 626 | | TyAlias { .. } [INFO] [stdout] | ^^^^^^^^^^^^^^ pattern doesn't bind `Mod` [INFO] [stdout] 627 | | Union [INFO] [stdout] | ^^^^^ pattern doesn't bind `Mod` [INFO] [stdout] 628 | | Use [INFO] [stdout] | ^^^ pattern doesn't bind `Mod` [INFO] [stdout] 629 | | 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] 621 | | 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.1/src/types/new/full_def.rs:613:9 [INFO] [stdout] | [INFO] [stdout] 613 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 614 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 615 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 616 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 617 | | Field [INFO] [stdout] | ^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 618 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `Struct` [INFO] [stdout] 619 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 620 | | Macro { .. } [INFO] [stdout] | ^^^^^^^^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 621 | | Mod [INFO] [stdout] | ^^^ pattern doesn't bind `Struct` [INFO] [stdout] 622 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 623 | | Struct [INFO] [stdout] | ------ variable not in all patterns [INFO] [stdout] 624 | | Trait [INFO] [stdout] | ^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 625 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 626 | | TyAlias { .. } [INFO] [stdout] | ^^^^^^^^^^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 627 | | Union [INFO] [stdout] | ^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 628 | | Use [INFO] [stdout] | ^^^ pattern doesn't bind `Struct` [INFO] [stdout] 629 | | 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] 623 | | crate::AdtKind::Struct [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 623 | | crate::CtorOf::Struct [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] 623 | | 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.1/src/types/new/full_def.rs:613:9 [INFO] [stdout] | [INFO] [stdout] 613 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Trait` [INFO] [stdout] 614 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Trait` [INFO] [stdout] 615 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `Trait` [INFO] [stdout] 616 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `Trait` [INFO] [stdout] 617 | | Field [INFO] [stdout] | ^^^^^ pattern doesn't bind `Trait` [INFO] [stdout] 618 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `Trait` [INFO] [stdout] 619 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `Trait` [INFO] [stdout] 620 | | Macro { .. } [INFO] [stdout] | ^^^^^^^^^^^^ pattern doesn't bind `Trait` [INFO] [stdout] 621 | | Mod [INFO] [stdout] | ^^^ pattern doesn't bind `Trait` [INFO] [stdout] 622 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `Trait` [INFO] [stdout] 623 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `Trait` [INFO] [stdout] 624 | | Trait [INFO] [stdout] | ----- variable not in all patterns [INFO] [stdout] 625 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Trait` [INFO] [stdout] 626 | | TyAlias { .. } [INFO] [stdout] | ^^^^^^^^^^^^^^ pattern doesn't bind `Trait` [INFO] [stdout] 627 | | Union [INFO] [stdout] | ^^^^^ pattern doesn't bind `Trait` [INFO] [stdout] 628 | | Use [INFO] [stdout] | ^^^ pattern doesn't bind `Trait` [INFO] [stdout] 629 | | 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] 624 | | 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.1/src/types/new/full_def.rs:613:9 [INFO] [stdout] | [INFO] [stdout] 613 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 614 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 615 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 616 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 617 | | Field [INFO] [stdout] | ^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 618 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 619 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 620 | | Macro { .. } [INFO] [stdout] | ^^^^^^^^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 621 | | Mod [INFO] [stdout] | ^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 622 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 623 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 624 | | Trait [INFO] [stdout] | ^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 625 | | TraitAlias [INFO] [stdout] | ---------- variable not in all patterns [INFO] [stdout] 626 | | TyAlias { .. } [INFO] [stdout] | ^^^^^^^^^^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 627 | | Union [INFO] [stdout] | ^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 628 | | Use [INFO] [stdout] | ^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 629 | | 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 variants, use the full path in the pattern [INFO] [stdout] | [INFO] [stdout] 625 | | crate::DefKind::TraitAlias [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 625 | | crate::FullDefKind::TraitAlias [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `Union` is not bound in all patterns [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/new/full_def.rs:613:9 [INFO] [stdout] | [INFO] [stdout] 613 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 614 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 615 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 616 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `Union` [INFO] [stdout] 617 | | Field [INFO] [stdout] | ^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 618 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `Union` [INFO] [stdout] 619 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 620 | | Macro { .. } [INFO] [stdout] | ^^^^^^^^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 621 | | Mod [INFO] [stdout] | ^^^ pattern doesn't bind `Union` [INFO] [stdout] 622 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 623 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 624 | | Trait [INFO] [stdout] | ^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 625 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 626 | | TyAlias { .. } [INFO] [stdout] | ^^^^^^^^^^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 627 | | Union [INFO] [stdout] | ----- variable not in all patterns [INFO] [stdout] 628 | | Use [INFO] [stdout] | ^^^ pattern doesn't bind `Union` [INFO] [stdout] 629 | | 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] 627 | | crate::AdtKind::Union [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 627 | | crate::DefKind::Union [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 627 | | 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.1/src/types/new/full_def.rs:613:9 [INFO] [stdout] | [INFO] [stdout] 613 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Use` [INFO] [stdout] 614 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Use` [INFO] [stdout] 615 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `Use` [INFO] [stdout] 616 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `Use` [INFO] [stdout] 617 | | Field [INFO] [stdout] | ^^^^^ pattern doesn't bind `Use` [INFO] [stdout] 618 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `Use` [INFO] [stdout] 619 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `Use` [INFO] [stdout] 620 | | Macro { .. } [INFO] [stdout] | ^^^^^^^^^^^^ pattern doesn't bind `Use` [INFO] [stdout] 621 | | Mod [INFO] [stdout] | ^^^ pattern doesn't bind `Use` [INFO] [stdout] 622 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `Use` [INFO] [stdout] 623 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `Use` [INFO] [stdout] 624 | | Trait [INFO] [stdout] | ^^^^^ pattern doesn't bind `Use` [INFO] [stdout] 625 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Use` [INFO] [stdout] 626 | | TyAlias { .. } [INFO] [stdout] | ^^^^^^^^^^^^^^ pattern doesn't bind `Use` [INFO] [stdout] 627 | | Union [INFO] [stdout] | ^^^^^ pattern doesn't bind `Use` [INFO] [stdout] 628 | | Use [INFO] [stdout] | --- variable not in all patterns [INFO] [stdout] 629 | | 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] 628 | | crate::DefKind::Use [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 628 | | crate::DefPathItem::Use [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] 628 | | 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.1/src/types/new/full_def.rs:613:9 [INFO] [stdout] | [INFO] [stdout] 613 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Variant` [INFO] [stdout] 614 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Variant` [INFO] [stdout] 615 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `Variant` [INFO] [stdout] 616 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `Variant` [INFO] [stdout] 617 | | Field [INFO] [stdout] | ^^^^^ pattern doesn't bind `Variant` [INFO] [stdout] 618 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `Variant` [INFO] [stdout] 619 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `Variant` [INFO] [stdout] 620 | | Macro { .. } [INFO] [stdout] | ^^^^^^^^^^^^ pattern doesn't bind `Variant` [INFO] [stdout] 621 | | Mod [INFO] [stdout] | ^^^ pattern doesn't bind `Variant` [INFO] [stdout] 622 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `Variant` [INFO] [stdout] 623 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `Variant` [INFO] [stdout] 624 | | Trait [INFO] [stdout] | ^^^^^ pattern doesn't bind `Variant` [INFO] [stdout] 625 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Variant` [INFO] [stdout] 626 | | TyAlias { .. } [INFO] [stdout] | ^^^^^^^^^^^^^^ pattern doesn't bind `Variant` [INFO] [stdout] 627 | | Union [INFO] [stdout] | ^^^^^ pattern doesn't bind `Variant` [INFO] [stdout] 628 | | Use [INFO] [stdout] | ^^^ pattern doesn't bind `Variant` [INFO] [stdout] 629 | | 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] 629 | | crate::CtorOf::Variant => Some(tcx.visibility(def_id).is_public()), [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] 629 | | crate::DefKind::Variant => Some(tcx.visibility(def_id).is_public()), [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 629 | | 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.1/src/types/new/full_def.rs:614:11 [INFO] [stdout] | [INFO] [stdout] 613 | AssocConst [INFO] [stdout] | ---------- variable not in all patterns [INFO] [stdout] 614 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 615 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 616 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 617 | | Field [INFO] [stdout] | ^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 618 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 619 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 620 | | Macro { .. } [INFO] [stdout] | ^^^^^^^^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 621 | | Mod [INFO] [stdout] | ^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 622 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 623 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 624 | | Trait [INFO] [stdout] | ^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 625 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 626 | | TyAlias { .. } [INFO] [stdout] | ^^^^^^^^^^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 627 | | Union [INFO] [stdout] | ^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 628 | | Use [INFO] [stdout] | ^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 629 | | 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] 613 | 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.1/src/types/new/full_def.rs:631:9 [INFO] [stdout] | [INFO] [stdout] 631 | AnonConst [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 632 | | AssocTy [INFO] [stdout] | ------- variable not in all patterns [INFO] [stdout] 633 | | Closure [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 634 | | ConstParam [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 635 | | Ctor { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 636 | | ExternCrate [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 637 | | ForeignMod [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 638 | | GlobalAsm [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 639 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 640 | | InlineConst [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 641 | | LifetimeParam [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 642 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 643 | | SyntheticCoroutineBody [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 644 | | 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] 632 | | 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.1/src/types/new/full_def.rs:631:9 [INFO] [stdout] | [INFO] [stdout] 631 | AnonConst [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `Closure` [INFO] [stdout] 632 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Closure` [INFO] [stdout] 633 | | Closure [INFO] [stdout] | ------- variable not in all patterns [INFO] [stdout] 634 | | ConstParam [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Closure` [INFO] [stdout] 635 | | Ctor { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `Closure` [INFO] [stdout] 636 | | ExternCrate [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `Closure` [INFO] [stdout] 637 | | ForeignMod [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Closure` [INFO] [stdout] 638 | | GlobalAsm [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `Closure` [INFO] [stdout] 639 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `Closure` [INFO] [stdout] 640 | | InlineConst [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `Closure` [INFO] [stdout] 641 | | LifetimeParam [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `Closure` [INFO] [stdout] 642 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `Closure` [INFO] [stdout] 643 | | SyntheticCoroutineBody [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `Closure` [INFO] [stdout] 644 | | 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] 633 | | crate::DefKind::Closure [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 633 | | 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.1/src/types/new/full_def.rs:631:9 [INFO] [stdout] | [INFO] [stdout] 631 | AnonConst [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `ConstParam` [INFO] [stdout] 632 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `ConstParam` [INFO] [stdout] 633 | | Closure [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `ConstParam` [INFO] [stdout] 634 | | ConstParam [INFO] [stdout] | ---------- variable not in all patterns [INFO] [stdout] 635 | | Ctor { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `ConstParam` [INFO] [stdout] 636 | | ExternCrate [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `ConstParam` [INFO] [stdout] 637 | | ForeignMod [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `ConstParam` [INFO] [stdout] 638 | | GlobalAsm [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `ConstParam` [INFO] [stdout] 639 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `ConstParam` [INFO] [stdout] 640 | | InlineConst [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `ConstParam` [INFO] [stdout] 641 | | LifetimeParam [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `ConstParam` [INFO] [stdout] 642 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `ConstParam` [INFO] [stdout] 643 | | SyntheticCoroutineBody [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `ConstParam` [INFO] [stdout] 644 | | 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] 634 | | crate::DefKind::ConstParam [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 634 | | 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.1/src/types/new/full_def.rs:631:9 [INFO] [stdout] | [INFO] [stdout] 631 | AnonConst [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `ExternCrate` [INFO] [stdout] 632 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `ExternCrate` [INFO] [stdout] 633 | | Closure [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `ExternCrate` [INFO] [stdout] 634 | | ConstParam [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `ExternCrate` [INFO] [stdout] 635 | | Ctor { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `ExternCrate` [INFO] [stdout] 636 | | ExternCrate [INFO] [stdout] | ----------- variable not in all patterns [INFO] [stdout] 637 | | ForeignMod [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `ExternCrate` [INFO] [stdout] 638 | | GlobalAsm [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `ExternCrate` [INFO] [stdout] 639 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `ExternCrate` [INFO] [stdout] 640 | | InlineConst [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `ExternCrate` [INFO] [stdout] 641 | | LifetimeParam [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `ExternCrate` [INFO] [stdout] 642 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `ExternCrate` [INFO] [stdout] 643 | | SyntheticCoroutineBody [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `ExternCrate` [INFO] [stdout] 644 | | 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] 636 | | crate::DefKind::ExternCrate [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 636 | | 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.1/src/types/new/full_def.rs:631:9 [INFO] [stdout] | [INFO] [stdout] 631 | AnonConst [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `ForeignMod` [INFO] [stdout] 632 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `ForeignMod` [INFO] [stdout] 633 | | Closure [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `ForeignMod` [INFO] [stdout] 634 | | ConstParam [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `ForeignMod` [INFO] [stdout] 635 | | Ctor { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `ForeignMod` [INFO] [stdout] 636 | | ExternCrate [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `ForeignMod` [INFO] [stdout] 637 | | ForeignMod [INFO] [stdout] | ---------- variable not in all patterns [INFO] [stdout] 638 | | GlobalAsm [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `ForeignMod` [INFO] [stdout] 639 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `ForeignMod` [INFO] [stdout] 640 | | InlineConst [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `ForeignMod` [INFO] [stdout] 641 | | LifetimeParam [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `ForeignMod` [INFO] [stdout] 642 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `ForeignMod` [INFO] [stdout] 643 | | SyntheticCoroutineBody [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `ForeignMod` [INFO] [stdout] 644 | | 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] 637 | | crate::DefKind::ForeignMod [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 637 | | 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.1/src/types/new/full_def.rs:631:9 [INFO] [stdout] | [INFO] [stdout] 631 | AnonConst [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `GlobalAsm` [INFO] [stdout] 632 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `GlobalAsm` [INFO] [stdout] 633 | | Closure [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `GlobalAsm` [INFO] [stdout] 634 | | ConstParam [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `GlobalAsm` [INFO] [stdout] 635 | | Ctor { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `GlobalAsm` [INFO] [stdout] 636 | | ExternCrate [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `GlobalAsm` [INFO] [stdout] 637 | | ForeignMod [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `GlobalAsm` [INFO] [stdout] 638 | | GlobalAsm [INFO] [stdout] | --------- variable not in all patterns [INFO] [stdout] 639 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `GlobalAsm` [INFO] [stdout] 640 | | InlineConst [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `GlobalAsm` [INFO] [stdout] 641 | | LifetimeParam [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `GlobalAsm` [INFO] [stdout] 642 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `GlobalAsm` [INFO] [stdout] 643 | | SyntheticCoroutineBody [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `GlobalAsm` [INFO] [stdout] 644 | | 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] 638 | | crate::DefKind::GlobalAsm [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 638 | | crate::DefPathItem::GlobalAsm [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] 638 | | 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.1/src/types/new/full_def.rs:631:9 [INFO] [stdout] | [INFO] [stdout] 631 | AnonConst [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `InlineConst` [INFO] [stdout] 632 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `InlineConst` [INFO] [stdout] 633 | | Closure [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `InlineConst` [INFO] [stdout] 634 | | ConstParam [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `InlineConst` [INFO] [stdout] 635 | | Ctor { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `InlineConst` [INFO] [stdout] 636 | | ExternCrate [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `InlineConst` [INFO] [stdout] 637 | | ForeignMod [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `InlineConst` [INFO] [stdout] 638 | | GlobalAsm [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `InlineConst` [INFO] [stdout] 639 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `InlineConst` [INFO] [stdout] 640 | | InlineConst [INFO] [stdout] | ----------- variable not in all patterns [INFO] [stdout] 641 | | LifetimeParam [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `InlineConst` [INFO] [stdout] 642 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `InlineConst` [INFO] [stdout] 643 | | SyntheticCoroutineBody [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `InlineConst` [INFO] [stdout] 644 | | 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] 640 | | 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.1/src/types/new/full_def.rs:631:9 [INFO] [stdout] | [INFO] [stdout] 631 | AnonConst [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `LifetimeParam` [INFO] [stdout] 632 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `LifetimeParam` [INFO] [stdout] 633 | | Closure [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `LifetimeParam` [INFO] [stdout] 634 | | ConstParam [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `LifetimeParam` [INFO] [stdout] 635 | | Ctor { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `LifetimeParam` [INFO] [stdout] 636 | | ExternCrate [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `LifetimeParam` [INFO] [stdout] 637 | | ForeignMod [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `LifetimeParam` [INFO] [stdout] 638 | | GlobalAsm [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `LifetimeParam` [INFO] [stdout] 639 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `LifetimeParam` [INFO] [stdout] 640 | | InlineConst [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `LifetimeParam` [INFO] [stdout] 641 | | LifetimeParam [INFO] [stdout] | ------------- variable not in all patterns [INFO] [stdout] 642 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `LifetimeParam` [INFO] [stdout] 643 | | SyntheticCoroutineBody [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `LifetimeParam` [INFO] [stdout] 644 | | 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] 641 | | crate::DefKind::LifetimeParam [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 641 | | 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.1/src/types/new/full_def.rs:631:9 [INFO] [stdout] | [INFO] [stdout] 631 | AnonConst [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 632 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 633 | | Closure [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 634 | | ConstParam [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 635 | | Ctor { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 636 | | ExternCrate [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 637 | | ForeignMod [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 638 | | GlobalAsm [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 639 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 640 | | InlineConst [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 641 | | LifetimeParam [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 642 | | OpaqueTy [INFO] [stdout] | -------- variable not in all patterns [INFO] [stdout] 643 | | SyntheticCoroutineBody [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 644 | | 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] 642 | | crate::DefKind::OpaqueTy [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 642 | | crate::DefPathItem::OpaqueTy [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] 642 | | 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.1/src/types/new/full_def.rs:631:9 [INFO] [stdout] | [INFO] [stdout] 631 | AnonConst [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody` [INFO] [stdout] 632 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody` [INFO] [stdout] 633 | | Closure [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody` [INFO] [stdout] 634 | | ConstParam [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody` [INFO] [stdout] 635 | | Ctor { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody` [INFO] [stdout] 636 | | ExternCrate [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody` [INFO] [stdout] 637 | | ForeignMod [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody` [INFO] [stdout] 638 | | GlobalAsm [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody` [INFO] [stdout] 639 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody` [INFO] [stdout] 640 | | InlineConst [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody` [INFO] [stdout] 641 | | LifetimeParam [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody` [INFO] [stdout] 642 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `SyntheticCoroutineBody` [INFO] [stdout] 643 | | SyntheticCoroutineBody [INFO] [stdout] | ---------------------- variable not in all patterns [INFO] [stdout] 644 | | 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] 643 | | crate::DefKind::SyntheticCoroutineBody [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 643 | | 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.1/src/types/new/full_def.rs:631:9 [INFO] [stdout] | [INFO] [stdout] 631 | AnonConst [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `TyParam` [INFO] [stdout] 632 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `TyParam` [INFO] [stdout] 633 | | Closure [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `TyParam` [INFO] [stdout] 634 | | ConstParam [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `TyParam` [INFO] [stdout] 635 | | Ctor { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `TyParam` [INFO] [stdout] 636 | | ExternCrate [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `TyParam` [INFO] [stdout] 637 | | ForeignMod [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `TyParam` [INFO] [stdout] 638 | | GlobalAsm [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `TyParam` [INFO] [stdout] 639 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `TyParam` [INFO] [stdout] 640 | | InlineConst [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `TyParam` [INFO] [stdout] 641 | | LifetimeParam [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `TyParam` [INFO] [stdout] 642 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `TyParam` [INFO] [stdout] 643 | | SyntheticCoroutineBody [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `TyParam` [INFO] [stdout] 644 | | 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] 644 | | crate::DefKind::TyParam => None, [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 644 | | 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.1/src/types/new/full_def.rs:632:11 [INFO] [stdout] | [INFO] [stdout] 631 | AnonConst [INFO] [stdout] | --------- variable not in all patterns [INFO] [stdout] 632 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `AnonConst` [INFO] [stdout] 633 | | Closure [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `AnonConst` [INFO] [stdout] 634 | | ConstParam [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `AnonConst` [INFO] [stdout] 635 | | Ctor { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `AnonConst` [INFO] [stdout] 636 | | ExternCrate [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `AnonConst` [INFO] [stdout] 637 | | ForeignMod [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `AnonConst` [INFO] [stdout] 638 | | GlobalAsm [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `AnonConst` [INFO] [stdout] 639 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `AnonConst` [INFO] [stdout] 640 | | InlineConst [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `AnonConst` [INFO] [stdout] 641 | | LifetimeParam [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `AnonConst` [INFO] [stdout] 642 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `AnonConst` [INFO] [stdout] 643 | | SyntheticCoroutineBody [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ pattern doesn't bind `AnonConst` [INFO] [stdout] 644 | | 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] 631 | crate::DefKind::AnonConst [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 631 | 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.1/src/types/new/full_def.rs:658:9 [INFO] [stdout] | [INFO] [stdout] 658 | 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] 658 | ConstParam | crate::DefKind::LifetimeParam | TyParam | ForeignMod => &[], [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 658 | 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.1/src/types/new/full_def.rs:658:9 [INFO] [stdout] | [INFO] [stdout] 658 | 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] 658 | ConstParam | LifetimeParam | crate::DefKind::TyParam | ForeignMod => &[], [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 658 | 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.1/src/types/new/full_def.rs:658:9 [INFO] [stdout] | [INFO] [stdout] 658 | 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] 658 | ConstParam | LifetimeParam | TyParam | crate::DefKind::ForeignMod => &[], [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 658 | 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.1/src/types/new/full_def.rs:658:22 [INFO] [stdout] | [INFO] [stdout] 658 | 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] 658 | crate::DefKind::ConstParam | LifetimeParam | TyParam | ForeignMod => &[], [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 658 | 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.1/src/traits/resolution.rs:139:13 [INFO] [stdout] | [INFO] [stdout] 139 | 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] 139 | 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.1/src/traits/resolution.rs:139:13 [INFO] [stdout] | [INFO] [stdout] 139 | 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] 139 | 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.1/src/traits/resolution.rs:139:13 [INFO] [stdout] | [INFO] [stdout] 139 | 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] 139 | AssocTy | AssocFn | AssocConst | crate::DefKind::Closure | Ctor(..) | Variant => { [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 139 | 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.1/src/traits/resolution.rs:139:13 [INFO] [stdout] | [INFO] [stdout] 139 | 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] 139 | AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | crate::CtorOf::Variant => { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] 139 | AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | crate::DefKind::Variant => { [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 139 | 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.1/src/traits/resolution.rs:139:23 [INFO] [stdout] | [INFO] [stdout] 139 | 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] 139 | crate::DefKind::AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | Variant => { [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.1/src/traits/utils.rs:65:9 [INFO] [stdout] | [INFO] [stdout] 65 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 66 | | AssocFn [INFO] [stdout] | ------- variable not in all patterns [INFO] [stdout] 67 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 68 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 69 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 70 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 71 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 72 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 73 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 74 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 75 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 76 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 77 | | TyAlias [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `AssocFn` [INFO] [stdout] 78 | | 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] 66 | | 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.1/src/traits/utils.rs:65:9 [INFO] [stdout] | [INFO] [stdout] 65 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 66 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 67 | | AssocTy [INFO] [stdout] | ------- variable not in all patterns [INFO] [stdout] 68 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 69 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 70 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 71 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 72 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 73 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 74 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 75 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 76 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 77 | | TyAlias [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `AssocTy` [INFO] [stdout] 78 | | 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] 67 | | 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.1/src/traits/utils.rs:65:9 [INFO] [stdout] | [INFO] [stdout] 65 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 66 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 67 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 68 | | Const [INFO] [stdout] | ----- variable not in all patterns [INFO] [stdout] 69 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `Const` [INFO] [stdout] 70 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `Const` [INFO] [stdout] 71 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 72 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 73 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 74 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 75 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 76 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 77 | | TyAlias [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Const` [INFO] [stdout] 78 | | 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] 68 | | crate::AssocItemKind::Const [INFO] [stdout] | ++++++++++++++++++++++ [INFO] [stdout] 68 | | crate::AssocKind::Const [INFO] [stdout] | ++++++++++++++++++ [INFO] [stdout] 68 | | crate::BoundVariableKind::Const [INFO] [stdout] | ++++++++++++++++++++++++++ [INFO] [stdout] 68 | | crate::Constness::Const [INFO] [stdout] | ++++++++++++++++++ [INFO] [stdout] = and 3 other candidates [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.1/src/traits/utils.rs:65:9 [INFO] [stdout] | [INFO] [stdout] 65 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 66 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 67 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 68 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 69 | | Enum [INFO] [stdout] | ---- variable not in all patterns [INFO] [stdout] 70 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `Enum` [INFO] [stdout] 71 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 72 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 73 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 74 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 75 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 76 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 77 | | TyAlias [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Enum` [INFO] [stdout] 78 | | 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] 69 | | crate::AdtKind::Enum [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 69 | | crate::DefKind::Enum [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 69 | | 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.1/src/traits/utils.rs:65:9 [INFO] [stdout] | [INFO] [stdout] 65 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 66 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 67 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 68 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 69 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 70 | | Fn [INFO] [stdout] | -- variable not in all patterns [INFO] [stdout] 71 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 72 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 73 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 74 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 75 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 76 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 77 | | TyAlias [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Fn` [INFO] [stdout] 78 | | 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] 70 | | crate::AssocKind::Fn [INFO] [stdout] | ++++++++++++++++++ [INFO] [stdout] 70 | | crate::ClosureKind::Fn [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] 70 | | crate::CtorKind::Fn [INFO] [stdout] | +++++++++++++++++ [INFO] [stdout] 70 | | 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.1/src/traits/utils.rs:65:9 [INFO] [stdout] | [INFO] [stdout] 65 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 66 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 67 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 68 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 69 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 70 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 71 | | ForeignTy [INFO] [stdout] | --------- variable not in all patterns [INFO] [stdout] 72 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 73 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 74 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 75 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 76 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 77 | | TyAlias [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `ForeignTy` [INFO] [stdout] 78 | | 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] 71 | | crate::DefKind::ForeignTy [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 71 | | 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.1/src/traits/utils.rs:65:9 [INFO] [stdout] | [INFO] [stdout] 65 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 66 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 67 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 68 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 69 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 70 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 71 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 72 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 73 | | OpaqueTy [INFO] [stdout] | -------- variable not in all patterns [INFO] [stdout] 74 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 75 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 76 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 77 | | TyAlias [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `OpaqueTy` [INFO] [stdout] 78 | | 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] 73 | | crate::DefKind::OpaqueTy [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 73 | | crate::DefPathItem::OpaqueTy [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] 73 | | 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.1/src/traits/utils.rs:65:9 [INFO] [stdout] | [INFO] [stdout] 65 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 66 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 67 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 68 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 69 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 70 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `Struct` [INFO] [stdout] 71 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 72 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 73 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 74 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 75 | | Struct [INFO] [stdout] | ------ variable not in all patterns [INFO] [stdout] 76 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 77 | | TyAlias [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Struct` [INFO] [stdout] 78 | | 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] 75 | | crate::AdtKind::Struct [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 75 | | crate::CtorOf::Struct [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] 75 | | crate::DefKind::Struct [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `TraitAlias` is not bound in all patterns [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:65:9 [INFO] [stdout] | [INFO] [stdout] 65 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 66 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 67 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 68 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 69 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 70 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 71 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 72 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 73 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 74 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 75 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 76 | | TraitAlias [INFO] [stdout] | ---------- variable not in all patterns [INFO] [stdout] 77 | | TyAlias [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] 78 | | Union => predicates_defined_on(tcx, def_id), [INFO] [stdout] | ^^^^^ pattern doesn't bind `TraitAlias` [INFO] [stdout] | [INFO] [stdout] help: if you meant to match on unit variants, use the full path in the pattern [INFO] [stdout] | [INFO] [stdout] 76 | | crate::DefKind::TraitAlias [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 76 | | crate::FullDefKind::TraitAlias [INFO] [stdout] | ++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `TyAlias` is not bound in all patterns [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:65:9 [INFO] [stdout] | [INFO] [stdout] 65 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `TyAlias` [INFO] [stdout] 66 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `TyAlias` [INFO] [stdout] 67 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `TyAlias` [INFO] [stdout] 68 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `TyAlias` [INFO] [stdout] 69 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `TyAlias` [INFO] [stdout] 70 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `TyAlias` [INFO] [stdout] 71 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `TyAlias` [INFO] [stdout] 72 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `TyAlias` [INFO] [stdout] 73 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `TyAlias` [INFO] [stdout] 74 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `TyAlias` [INFO] [stdout] 75 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `TyAlias` [INFO] [stdout] 76 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `TyAlias` [INFO] [stdout] 77 | | TyAlias [INFO] [stdout] | ------- variable not in all patterns [INFO] [stdout] 78 | | 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] 77 | | 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.1/src/traits/utils.rs:65:9 [INFO] [stdout] | [INFO] [stdout] 65 | AssocConst [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 66 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 67 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 68 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 69 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `Union` [INFO] [stdout] 70 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `Union` [INFO] [stdout] 71 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 72 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 73 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 74 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 75 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 76 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 77 | | TyAlias [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `Union` [INFO] [stdout] 78 | | 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] 78 | | crate::AdtKind::Union => predicates_defined_on(tcx, def_id), [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 78 | | crate::DefKind::Union => predicates_defined_on(tcx, def_id), [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 78 | | 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.1/src/traits/utils.rs:66:11 [INFO] [stdout] | [INFO] [stdout] 65 | AssocConst [INFO] [stdout] | ---------- variable not in all patterns [INFO] [stdout] 66 | | AssocFn [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 67 | | AssocTy [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 68 | | Const [INFO] [stdout] | ^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 69 | | Enum [INFO] [stdout] | ^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 70 | | Fn [INFO] [stdout] | ^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 71 | | ForeignTy [INFO] [stdout] | ^^^^^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 72 | | Impl { .. } [INFO] [stdout] | ^^^^^^^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 73 | | OpaqueTy [INFO] [stdout] | ^^^^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 74 | | Static { .. } [INFO] [stdout] | ^^^^^^^^^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 75 | | Struct [INFO] [stdout] | ^^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 76 | | TraitAlias [INFO] [stdout] | ^^^^^^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 77 | | TyAlias [INFO] [stdout] | ^^^^^^^ pattern doesn't bind `AssocConst` [INFO] [stdout] 78 | | 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] 65 | crate::DefKind::AssocConst [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.1/src/traits.rs:206:13 [INFO] [stdout] | [INFO] [stdout] 206 | 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] 206 | 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.1/src/traits.rs:206:13 [INFO] [stdout] | [INFO] [stdout] 206 | 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] 206 | 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.1/src/traits.rs:206:13 [INFO] [stdout] | [INFO] [stdout] 206 | 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] 206 | AssocTy | AssocFn | AssocConst | crate::DefKind::Closure | Ctor(..) | Variant => { [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 206 | 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.1/src/traits.rs:206:13 [INFO] [stdout] | [INFO] [stdout] 206 | 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] 206 | AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | crate::CtorOf::Variant => { [INFO] [stdout] | +++++++++++++++ [INFO] [stdout] 206 | AssocTy | AssocFn | AssocConst | Closure | Ctor(..) | crate::DefKind::Variant => { [INFO] [stdout] | ++++++++++++++++ [INFO] [stdout] 206 | 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.1/src/traits.rs:206:23 [INFO] [stdout] | [INFO] [stdout] 206 | 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] 206 | 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.1/src/types/hir.rs:917:13 [INFO] [stdout] | [INFO] [stdout] 917 | 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.1/src/types/hir.rs:918:15 [INFO] [stdout] | [INFO] [stdout] 918 | | 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.1/src/types/hir.rs:919:15 [INFO] [stdout] | [INFO] [stdout] 919 | | 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::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.1/src/types/hir.rs:920:15 [INFO] [stdout] | [INFO] [stdout] 920 | | 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.1/src/types/hir.rs:921:15 [INFO] [stdout] | [INFO] [stdout] 921 | | 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::AssocItemKind::Fn; [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] = and 5 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.1/src/types/hir.rs:922:15 [INFO] [stdout] | [INFO] [stdout] 922 | | 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.1/src/types/hir.rs:923:15 [INFO] [stdout] | [INFO] [stdout] 923 | | 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.1/src/types/hir.rs:924:15 [INFO] [stdout] | [INFO] [stdout] 924 | | 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.1/src/types/hir.rs:925:15 [INFO] [stdout] | [INFO] [stdout] 925 | | 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.1/src/types/hir.rs:926:15 [INFO] [stdout] | [INFO] [stdout] 926 | | 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.1/src/types/hir.rs:927:15 [INFO] [stdout] | [INFO] [stdout] 927 | | 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.1/src/types/hir.rs:928:15 [INFO] [stdout] | [INFO] [stdout] 928 | | 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.1/src/types/hir.rs:929:15 [INFO] [stdout] | [INFO] [stdout] 929 | | 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.1/src/types/hir.rs:930:13 [INFO] [stdout] | [INFO] [stdout] 930 | 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.1/src/types/hir.rs:930:23 [INFO] [stdout] | [INFO] [stdout] 930 | 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.1/src/types/hir.rs:930:43 [INFO] [stdout] | [INFO] [stdout] 930 | 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.1/src/types/mir.rs:764:31 [INFO] [stdout] | [INFO] [stdout] 764 | 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.1/src/types/mir.rs:770:21 [INFO] [stdout] | [INFO] [stdout] 770 | 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.1/src/types/mir.rs:800:21 [INFO] [stdout] | [INFO] [stdout] 800 | 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.1/src/types/mir.rs:801:21 [INFO] [stdout] | [INFO] [stdout] 801 | ConstantIndex { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/constant_utils.rs:131:1 [INFO] [stdout] | [INFO] [stdout] 131 | 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] 801 - ConstantIndex { [INFO] [stdout] 801 + 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.1/src/types/mir.rs:810:21 [INFO] [stdout] | [INFO] [stdout] 810 | 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.1/src/types/mir.rs:815:21 [INFO] [stdout] | [INFO] [stdout] 815 | 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.1/src/types/mir.rs:818:21 [INFO] [stdout] | [INFO] [stdout] 818 | 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.1/src/types/mir.rs:819:21 [INFO] [stdout] | [INFO] [stdout] 819 | 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.1/src/types/mir.rs:820:21 [INFO] [stdout] | [INFO] [stdout] 820 | 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.1/src/types/new/full_def.rs:620:11 [INFO] [stdout] | [INFO] [stdout] 620 | | 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.1/src/types/new/full_def.rs:622:11 [INFO] [stdout] | [INFO] [stdout] 622 | | Static { .. } [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/state.rs:72:13 [INFO] [stdout] | [INFO] [stdout] 72 | pub struct $state<$([<$field:camel>],)*>{ [INFO] [stdout] | ---------------------------------------- similarly named struct `State` defined here [INFO] [stdout] | [INFO] [stdout] help: a struct with a similar name exists [INFO] [stdout] | [INFO] [stdout] 622 - | Static { .. } [INFO] [stdout] 622 + | 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.1/src/types/new/full_def.rs:626:11 [INFO] [stdout] | [INFO] [stdout] 626 | | TyAlias { .. } [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/types/ty.rs:661:1 [INFO] [stdout] | [INFO] [stdout] 661 | 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] 626 - | TyAlias { .. } [INFO] [stdout] 626 + | 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.1/src/types/new/full_def.rs:635:11 [INFO] [stdout] | [INFO] [stdout] 635 | | 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.1/src/traits/resolution.rs:21:15 [INFO] [stdout] | [INFO] [stdout] 21 | 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 `GenericArg` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:23:30 [INFO] [stdout] | [INFO] [stdout] 23 | generic_args: &'tcx [GenericArg<'tcx>], [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum through its public re-export [INFO] [stdout] | [INFO] [stdout] 5 + use crate::GenericArg; [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.1/src/traits/resolution.rs:33:20 [INFO] [stdout] | [INFO] [stdout] 33 | 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.1/src/traits/resolution.rs:39:20 [INFO] [stdout] | [INFO] [stdout] 39 | 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.1/src/traits/resolution.rs:51:19 [INFO] [stdout] | [INFO] [stdout] 51 | 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.1/src/traits/resolution.rs:57:20 [INFO] [stdout] | [INFO] [stdout] 57 | 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.1/src/traits/resolution.rs:61:18 [INFO] [stdout] | [INFO] [stdout] 61 | 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.1/src/traits/utils.rs:171:1 [INFO] [stdout] | [INFO] [stdout] 171 | 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.1/src/traits/resolution.rs:66:18 [INFO] [stdout] | [INFO] [stdout] 66 | 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.1/src/traits/utils.rs:171:1 [INFO] [stdout] | [INFO] [stdout] 171 | 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.1/src/traits/resolution.rs:80:18 [INFO] [stdout] | [INFO] [stdout] 80 | 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.1/src/traits/utils.rs:171:1 [INFO] [stdout] | [INFO] [stdout] 171 | 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.1/src/traits/resolution.rs:86:28 [INFO] [stdout] | [INFO] [stdout] 86 | 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 `PolyTraitRef` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:95:18 [INFO] [stdout] | [INFO] [stdout] 95 | 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.1/src/traits/utils.rs:171:1 [INFO] [stdout] | [INFO] [stdout] 171 | 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.1/src/traits/resolution.rs:115:17 [INFO] [stdout] | [INFO] [stdout] 115 | 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.1/src/traits/resolution.rs:122:10 [INFO] [stdout] | [INFO] [stdout] 122 | 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.1/src/traits/resolution.rs:126:14 [INFO] [stdout] | [INFO] [stdout] 126 | 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.1/src/traits/resolution.rs:139:56 [INFO] [stdout] | [INFO] [stdout] 139 | 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.1/src/traits/resolution.rs:173:10 [INFO] [stdout] | [INFO] [stdout] 173 | 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.1/src/traits/resolution.rs:174:11 [INFO] [stdout] | [INFO] [stdout] 174 | 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.1/src/traits/resolution.rs:175:10 [INFO] [stdout] | [INFO] [stdout] 175 | ) -> Vec> { [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.1/src/traits/resolution.rs:193:11 [INFO] [stdout] | [INFO] [stdout] 193 | 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.1/src/traits/resolution.rs:199:10 [INFO] [stdout] | [INFO] [stdout] 199 | 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.1/src/traits/resolution.rs:202:25 [INFO] [stdout] | [INFO] [stdout] 202 | candidates: HashMap, 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.1/src/traits/resolution.rs:207:31 [INFO] [stdout] | [INFO] [stdout] 207 | pub fn new_for_owner(tcx: TyCtxt<'tcx>, owner_id: DefId) -> 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.1/src/traits/resolution.rs:210:25 [INFO] [stdout] | [INFO] [stdout] 210 | 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.1/src/traits/resolution.rs:276:13 [INFO] [stdout] | [INFO] [stdout] 276 | 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.1/src/traits/resolution.rs:276:26 [INFO] [stdout] | [INFO] [stdout] 276 | 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.1/src/traits/resolution.rs:282:13 [INFO] [stdout] | [INFO] [stdout] 282 | 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.1/src/traits/resolution.rs:332:17 [INFO] [stdout] | [INFO] [stdout] 332 | 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.1/src/traits/resolution.rs:364:16 [INFO] [stdout] | [INFO] [stdout] 364 | 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.1/src/traits/utils.rs:171:1 [INFO] [stdout] | [INFO] [stdout] 171 | 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.1/src/traits/resolution.rs:432:58 [INFO] [stdout] | [INFO] [stdout] 432 | .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.1/src/traits/resolution.rs:435:29 [INFO] [stdout] | [INFO] [stdout] 435 | ... 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.1/src/traits/resolution.rs:437:32 [INFO] [stdout] | [INFO] [stdout] 437 | 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 `GenericArgsRef` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/resolution.rs:478:19 [INFO] [stdout] | [INFO] [stdout] 478 | 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.1/src/traits/resolution.rs:490:19 [INFO] [stdout] | [INFO] [stdout] 490 | 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.1/src/traits/resolution.rs:502:19 [INFO] [stdout] | [INFO] [stdout] 502 | 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.1/src/traits/resolution.rs:503:21 [INFO] [stdout] | [INFO] [stdout] 503 | 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.1/src/traits/resolution.rs:530:10 [INFO] [stdout] | [INFO] [stdout] 530 | 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.1/src/traits/resolution.rs:531:16 [INFO] [stdout] | [INFO] [stdout] 531 | 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.1/src/traits/resolution.rs:532:16 [INFO] [stdout] | [INFO] [stdout] 532 | 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.1/src/traits/utils.rs:171:1 [INFO] [stdout] | [INFO] [stdout] 171 | 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.1/src/traits/utils.rs:35:35 [INFO] [stdout] | [INFO] [stdout] 35 | 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.1/src/traits/utils.rs:35:65 [INFO] [stdout] | [INFO] [stdout] 35 | 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.1/src/traits/utils.rs:62:39 [INFO] [stdout] | [INFO] [stdout] 62 | pub fn required_predicates<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> GenericPredicates<'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.1/src/traits/utils.rs:62:71 [INFO] [stdout] | [INFO] [stdout] 62 | pub fn required_predicates<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> 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.1/src/traits/utils.rs:72:11 [INFO] [stdout] | [INFO] [stdout] 72 | | 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.1/src/traits/utils.rs:74:11 [INFO] [stdout] | [INFO] [stdout] 74 | | 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[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.1/src/traits/utils.rs:87:34 [INFO] [stdout] | [INFO] [stdout] 87 | 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.1/src/traits/utils.rs:87:66 [INFO] [stdout] | [INFO] [stdout] 87 | 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] 171 | 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.1/src/traits/utils.rs:89:5 [INFO] [stdout] | [INFO] [stdout] 89 | 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.1/src/traits/utils.rs:89:19 [INFO] [stdout] | [INFO] [stdout] 89 | Binder::dummy(TraitRef::identity(tcx, def_id)) [INFO] [stdout] | ^^^^^^^^ use of undeclared type `TraitRef` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct through its public re-export [INFO] [stdout] | [INFO] [stdout] 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.1/src/traits/utils.rs:103:38 [INFO] [stdout] | [INFO] [stdout] 103 | pub fn implied_predicates<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> GenericPredicates<'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.1/src/traits/utils.rs:103:70 [INFO] [stdout] | [INFO] [stdout] 103 | pub fn implied_predicates<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> 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.1/src/traits/utils.rs:110:13 [INFO] [stdout] | [INFO] [stdout] 110 | 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.1/src/traits/utils.rs:114:19 [INFO] [stdout] | [INFO] [stdout] 114 | ..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 `GenericPredicates` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:117:14 [INFO] [stdout] | [INFO] [stdout] 117 | _ => 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.1/src/traits/utils.rs:124:8 [INFO] [stdout] | [INFO] [stdout] 124 | T: TypeFoldable>, [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.1/src/traits/utils.rs:124:21 [INFO] [stdout] | [INFO] [stdout] 124 | T: TypeFoldable>, [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.1/src/traits/utils.rs:122:40 [INFO] [stdout] | [INFO] [stdout] 122 | pub fn erase_all_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.1/src/traits/utils.rs:128:14 [INFO] [stdout] | [INFO] [stdout] 128 | 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.1/src/traits/utils.rs:131:16 [INFO] [stdout] | [INFO] [stdout] 131 | impl<'tcx> TypeFolder> 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.1/src/traits/utils.rs:131:27 [INFO] [stdout] | [INFO] [stdout] 131 | impl<'tcx> TypeFolder> 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.1/src/traits/utils.rs:132:25 [INFO] [stdout] | [INFO] [stdout] 132 | 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.1/src/traits/utils.rs:136:35 [INFO] [stdout] | [INFO] [stdout] 122 | pub fn erase_all_regions<'tcx, T>(tcx: TyCtxt<'tcx>, value: T) -> T [INFO] [stdout] | - similarly named type parameter `T` defined here [INFO] [stdout] ... [INFO] [stdout] 136 | 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] 136 - fn fold_ty(&mut self, ty: Ty<'tcx>) -> Ty<'tcx> { [INFO] [stdout] 136 + 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.1/src/traits/utils.rs:136:48 [INFO] [stdout] | [INFO] [stdout] 122 | pub fn erase_all_regions<'tcx, T>(tcx: TyCtxt<'tcx>, value: T) -> T [INFO] [stdout] | - similarly named type parameter `T` defined here [INFO] [stdout] ... [INFO] [stdout] 136 | 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] 136 - fn fold_ty(&mut self, ty: Ty<'tcx>) -> Ty<'tcx> { [INFO] [stdout] 136 + 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.1/src/traits/utils.rs:142:16 [INFO] [stdout] | [INFO] [stdout] 142 | T: TypeFoldable>, [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.1/src/traits/utils.rs:142:29 [INFO] [stdout] | [INFO] [stdout] 142 | T: TypeFoldable>, [INFO] [stdout] | ^^^^^^ not found in this scope [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.1/src/traits/utils.rs:145:13 [INFO] [stdout] | [INFO] [stdout] 145 | Binder::dummy(t.skip_binder().fold_with(self)) [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[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.1/src/traits/utils.rs:162:8 [INFO] [stdout] | [INFO] [stdout] 162 | T: TypeFoldable> + 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.1/src/traits/utils.rs:162:21 [INFO] [stdout] | [INFO] [stdout] 162 | T: TypeFoldable> + 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.1/src/traits/utils.rs:160:37 [INFO] [stdout] | [INFO] [stdout] 160 | 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.1/src/traits/utils.rs:160:63 [INFO] [stdout] | [INFO] [stdout] 160 | 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 `PolyTraitRef` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/hax-frontend-exporter-0.3.1/src/traits/utils.rs:172:36 [INFO] [stdout] | [INFO] [stdout] 172 | 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.1/src/traits/utils.rs:175:37 [INFO] [stdout] | [INFO] [stdout] 175 | 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.1/src/traits/utils.rs:176:36 [INFO] [stdout] | [INFO] [stdout] 171 | pub trait ToPolyTraitRef<'tcx> { [INFO] [stdout] | ------------------------------ similarly named trait `ToPolyTraitRef` defined here [INFO] [stdout] ... [INFO] [stdout] 176 | 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.1/src/traits.rs:206:56 [INFO] [stdout] | [INFO] [stdout] 206 | 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[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.1/src/traits/resolution.rs:212:30 [INFO] [stdout] | [INFO] [stdout] 212 | 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.1/src/traits/resolution.rs:282:27 [INFO] [stdout] | [INFO] [stdout] 282 | 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.1/src/traits/resolution.rs:301:25 [INFO] [stdout] | [INFO] [stdout] 301 | .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.1/src/traits/resolution.rs:515:30 [INFO] [stdout] | [INFO] [stdout] 515 | .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.1/src/traits/resolution.rs:545:16 [INFO] [stdout] | [INFO] [stdout] 545 | .build(TypingMode::PostAnalysis); [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `TypingMode` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0405, E0408, E0412, E0422, E0432, E0433, E0463, E0531, E0557... [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 184 previous errors [INFO] running `Command { std: "docker" "inspect" "e662c9bbf5af4a6cb32a38f6a8e4b736097a80fd41a32208280fab07b6f9e9ed", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e662c9bbf5af4a6cb32a38f6a8e4b736097a80fd41a32208280fab07b6f9e9ed", kill_on_drop: false }` [INFO] [stdout] e662c9bbf5af4a6cb32a38f6a8e4b736097a80fd41a32208280fab07b6f9e9ed