[INFO] fetching crate hacspec 0.2.0-beta.4... [INFO] testing hacspec-0.2.0-beta.4 against beta-2022-04-10 for beta-1.61-1 [INFO] extracting crate hacspec 0.2.0-beta.4 into /workspace/builds/worker-59/source [INFO] validating manifest of crates.io crate hacspec 0.2.0-beta.4 on toolchain beta-2022-04-10 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] removed /workspace/builds/worker-59/source/rust-toolchain [INFO] started tweaking crates.io crate hacspec 0.2.0-beta.4 [INFO] finished tweaking crates.io crate hacspec 0.2.0-beta.4 [INFO] tweaked toml for crates.io crate hacspec 0.2.0-beta.4 written to /workspace/builds/worker-59/source/Cargo.toml [INFO] crate crates.io crate hacspec 0.2.0-beta.4 already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-59/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-59/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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 264f2a51da0cd7e0444a95ec019eb18b9a963af139c22a5d084c9e0117001e06 [INFO] running `Command { std: "docker" "start" "-a" "264f2a51da0cd7e0444a95ec019eb18b9a963af139c22a5d084c9e0117001e06", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "264f2a51da0cd7e0444a95ec019eb18b9a963af139c22a5d084c9e0117001e06", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "264f2a51da0cd7e0444a95ec019eb18b9a963af139c22a5d084c9e0117001e06", kill_on_drop: false }` [INFO] [stdout] 264f2a51da0cd7e0444a95ec019eb18b9a963af139c22a5d084c9e0117001e06 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-59/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-59/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 69cbec120802d2e7330f8fb2616498c135f6539a81a1a4e5567309f1db7dd8e6 [INFO] running `Command { std: "docker" "start" "-a" "69cbec120802d2e7330f8fb2616498c135f6539a81a1a4e5567309f1db7dd8e6", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.24 [INFO] [stderr] Compiling unicode-xid v0.2.1 [INFO] [stderr] Compiling syn v1.0.64 [INFO] [stderr] Compiling serde_derive v1.0.124 [INFO] [stderr] Compiling typenum v1.13.0 [INFO] [stderr] Compiling memchr v2.3.4 [INFO] [stderr] Compiling serde v1.0.124 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Compiling serde_json v1.0.64 [INFO] [stderr] Compiling rand_core v0.5.1 [INFO] [stderr] Compiling itoa v0.4.7 [INFO] [stderr] Compiling unicode-segmentation v1.7.1 [INFO] [stderr] Compiling arrayvec v0.5.2 [INFO] [stderr] Compiling regex-syntax v0.6.23 [INFO] [stderr] Compiling typed-arena v2.0.1 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling im v15.0.0 [INFO] [stderr] Compiling walkdir v2.3.1 [INFO] [stderr] Compiling itertools v0.10.0 [INFO] [stderr] Compiling rand_xoshiro v0.4.0 [INFO] [stderr] Compiling pretty v0.10.0 [INFO] [stderr] Compiling heck v0.3.2 [INFO] [stderr] Compiling aho-corasick v0.7.15 [INFO] [stderr] Compiling quote v1.0.9 [INFO] [stderr] Compiling bitmaps v2.1.0 [INFO] [stderr] Compiling regex v1.4.5 [INFO] [stderr] Compiling sized-chunks v0.6.4 [INFO] [stderr] Compiling hacspec-util v0.1.0-beta.1 [INFO] [stderr] Compiling hacspec v0.2.0-beta.4 (/opt/rustwide/workdir) [INFO] [stdout] error[E0463]: can't find crate for `rustc_ast` [INFO] [stdout] --> src/main.rs:4:1 [INFO] [stdout] | [INFO] [stdout] 4 | 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_driver` [INFO] [stdout] --> src/main.rs:5:1 [INFO] [stdout] | [INFO] [stdout] 5 | extern crate rustc_driver; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_errors` [INFO] [stdout] --> src/main.rs:6:1 [INFO] [stdout] | [INFO] [stdout] 6 | 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] --> src/main.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | 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_interface` [INFO] [stdout] --> src/main.rs:8:1 [INFO] [stdout] | [INFO] [stdout] 8 | 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_metadata` [INFO] [stdout] --> src/main.rs:9:1 [INFO] [stdout] | [INFO] [stdout] 9 | extern crate rustc_metadata; [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] --> src/main.rs:10:1 [INFO] [stdout] | [INFO] [stdout] 10 | 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_session` [INFO] [stdout] --> src/main.rs:11:1 [INFO] [stdout] | [INFO] [stdout] 11 | 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] --> src/main.rs:12:1 [INFO] [stdout] | [INFO] [stdout] 12 | 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[E0433]: failed to resolve: use of undeclared crate or module `symbol` [INFO] [stdout] --> src/ast_to_rustspec.rs:32:24 [INFO] [stdout] | [INFO] [stdout] 32 | fn translate_ident(i: &symbol::Ident) -> Spanned { [INFO] [stdout] | ^^^^^^ use of undeclared crate or module `symbol` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `GenericArgs` [INFO] [stdout] --> src/ast_to_rustspec.rs:42:9 [INFO] [stdout] | [INFO] [stdout] 42 | GenericArgs::Parenthesized(_) => { [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `GenericArgs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `GenericArgs` [INFO] [stdout] --> src/ast_to_rustspec.rs:49:9 [INFO] [stdout] | [INFO] [stdout] 49 | GenericArgs::AngleBracketed(args) => check_vec( [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `GenericArgs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `AngleBracketedArg` [INFO] [stdout] --> src/ast_to_rustspec.rs:53:21 [INFO] [stdout] | [INFO] [stdout] 53 | AngleBracketedArg::Constraint(_) => { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ use of undeclared type `AngleBracketedArg` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `AngleBracketedArg` [INFO] [stdout] --> src/ast_to_rustspec.rs:60:21 [INFO] [stdout] | [INFO] [stdout] 60 | AngleBracketedArg::Arg(GenericArg::Type(ty)) => { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ use of undeclared type `AngleBracketedArg` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `GenericArg` [INFO] [stdout] --> src/ast_to_rustspec.rs:60:44 [INFO] [stdout] | [INFO] [stdout] 60 | AngleBracketedArg::Arg(GenericArg::Type(ty)) => { [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `GenericArg` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `AngleBracketedArg` [INFO] [stdout] --> src/ast_to_rustspec.rs:64:21 [INFO] [stdout] | [INFO] [stdout] 64 | AngleBracketedArg::Arg(GenericArg::Lifetime(_)) => { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ use of undeclared type `AngleBracketedArg` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `GenericArg` [INFO] [stdout] --> src/ast_to_rustspec.rs:64:44 [INFO] [stdout] | [INFO] [stdout] 64 | AngleBracketedArg::Arg(GenericArg::Lifetime(_)) => { [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `GenericArg` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `AngleBracketedArg` [INFO] [stdout] --> src/ast_to_rustspec.rs:71:21 [INFO] [stdout] | [INFO] [stdout] 71 | AngleBracketedArg::Arg(GenericArg::Const(_)) => { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ use of undeclared type `AngleBracketedArg` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `GenericArg` [INFO] [stdout] --> src/ast_to_rustspec.rs:71:44 [INFO] [stdout] | [INFO] [stdout] 71 | AngleBracketedArg::Arg(GenericArg::Const(_)) => { [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `GenericArg` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ast` [INFO] [stdout] --> src/ast_to_rustspec.rs:84:50 [INFO] [stdout] | [INFO] [stdout] 84 | pub fn translate_use_path(sess: &Session, path: &ast::Path) -> TranslationResult { [INFO] [stdout] | ^^^ use of undeclared crate or module `ast` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ast` [INFO] [stdout] --> src/ast_to_rustspec.rs:106:12 [INFO] [stdout] | [INFO] [stdout] 106 | path: &ast::Path, [INFO] [stdout] | ^^^ use of undeclared crate or module `ast` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ast` [INFO] [stdout] --> src/ast_to_rustspec.rs:126:51 [INFO] [stdout] | [INFO] [stdout] 126 | pub fn translate_expr_name(sess: &Session, path: &ast::Path) -> TranslationResult { [INFO] [stdout] | ^^^ use of undeclared crate or module `ast` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ast` [INFO] [stdout] --> src/ast_to_rustspec.rs:148:12 [INFO] [stdout] | [INFO] [stdout] 148 | path: &ast::Path, [INFO] [stdout] | ^^^ use of undeclared crate or module `ast` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ast` [INFO] [stdout] --> src/ast_to_rustspec.rs:158:18 [INFO] [stdout] | [INFO] [stdout] 158 | &ast::Ty { [INFO] [stdout] | ^^^ use of undeclared crate or module `ast` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `NodeId` [INFO] [stdout] --> src/ast_to_rustspec.rs:161:25 [INFO] [stdout] | [INFO] [stdout] 161 | id: NodeId::MAX, [INFO] [stdout] | ^^^^^^ use of undeclared type `NodeId` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:162:27 [INFO] [stdout] | [INFO] [stdout] 162 | kind: TyKind::Path( [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ast` [INFO] [stdout] --> src/ast_to_rustspec.rs:164:25 [INFO] [stdout] | [INFO] [stdout] 164 | ast::Path { [INFO] [stdout] | ^^^ use of undeclared crate or module `ast` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:184:9 [INFO] [stdout] | [INFO] [stdout] 184 | TyKind::Path(None, path) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:230:9 [INFO] [stdout] | [INFO] [stdout] 230 | TyKind::Tup(tys) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:238:9 [INFO] [stdout] | [INFO] [stdout] 238 | TyKind::Path(Some(_), _) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:242:9 [INFO] [stdout] | [INFO] [stdout] 242 | TyKind::Rptr(_, _) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:255:9 [INFO] [stdout] | [INFO] [stdout] 255 | TyKind::Rptr(None, mut_ty) => match &mut_ty.mutbl { [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Mutability` [INFO] [stdout] --> src/ast_to_rustspec.rs:256:13 [INFO] [stdout] | [INFO] [stdout] 256 | Mutability::Mut => { [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `Mutability` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Mutability` [INFO] [stdout] --> src/ast_to_rustspec.rs:260:13 [INFO] [stdout] | [INFO] [stdout] 260 | Mutability::Not => translate_base_typ(sess, &mut_ty.ty) [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `Mutability` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:263:9 [INFO] [stdout] | [INFO] [stdout] 263 | TyKind::Rptr(Some(_), _) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:299:9 [INFO] [stdout] | [INFO] [stdout] 299 | ExprKind::AddrOf(BorrowKind::Ref, is_mut, e1) => match is_mut { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BorrowKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:299:26 [INFO] [stdout] | [INFO] [stdout] 299 | ExprKind::AddrOf(BorrowKind::Ref, is_mut, e1) => match is_mut { [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `BorrowKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Mutability` [INFO] [stdout] --> src/ast_to_rustspec.rs:300:13 [INFO] [stdout] | [INFO] [stdout] 300 | Mutability::Mut => { [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `Mutability` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Mutability` [INFO] [stdout] --> src/ast_to_rustspec.rs:304:13 [INFO] [stdout] | [INFO] [stdout] 304 | Mutability::Not => Ok(( [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `Mutability` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:322:9 [INFO] [stdout] | [INFO] [stdout] 322 | LitKind::Bool(b) => Ok(( [INFO] [stdout] | ^^^^^^^ use of undeclared type `LitKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:327:9 [INFO] [stdout] | [INFO] [stdout] 327 | LitKind::Int(x, LitIntType::Signed(IntTy::I128)) => Ok(( [INFO] [stdout] | ^^^^^^^ use of undeclared type `LitKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitIntType` [INFO] [stdout] --> src/ast_to_rustspec.rs:327:25 [INFO] [stdout] | [INFO] [stdout] 327 | LitKind::Int(x, LitIntType::Signed(IntTy::I128)) => Ok(( [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `LitIntType` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `IntTy` [INFO] [stdout] --> src/ast_to_rustspec.rs:327:44 [INFO] [stdout] | [INFO] [stdout] 327 | LitKind::Int(x, LitIntType::Signed(IntTy::I128)) => Ok(( [INFO] [stdout] | ^^^^^ use of undeclared type `IntTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:331:9 [INFO] [stdout] | [INFO] [stdout] 331 | LitKind::Int(x, LitIntType::Unsigned(UintTy::U128)) => Ok(( [INFO] [stdout] | ^^^^^^^ use of undeclared type `LitKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitIntType` [INFO] [stdout] --> src/ast_to_rustspec.rs:331:25 [INFO] [stdout] | [INFO] [stdout] 331 | LitKind::Int(x, LitIntType::Unsigned(UintTy::U128)) => Ok(( [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `LitIntType` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UintTy` [INFO] [stdout] --> src/ast_to_rustspec.rs:331:46 [INFO] [stdout] | [INFO] [stdout] 331 | LitKind::Int(x, LitIntType::Unsigned(UintTy::U128)) => Ok(( [INFO] [stdout] | ^^^^^^ use of undeclared type `UintTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:335:9 [INFO] [stdout] | [INFO] [stdout] 335 | LitKind::Int(x, LitIntType::Signed(IntTy::I64)) => Ok(( [INFO] [stdout] | ^^^^^^^ use of undeclared type `LitKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitIntType` [INFO] [stdout] --> src/ast_to_rustspec.rs:335:25 [INFO] [stdout] | [INFO] [stdout] 335 | LitKind::Int(x, LitIntType::Signed(IntTy::I64)) => Ok(( [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `LitIntType` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `IntTy` [INFO] [stdout] --> src/ast_to_rustspec.rs:335:44 [INFO] [stdout] | [INFO] [stdout] 335 | LitKind::Int(x, LitIntType::Signed(IntTy::I64)) => Ok(( [INFO] [stdout] | ^^^^^ use of undeclared type `IntTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:339:9 [INFO] [stdout] | [INFO] [stdout] 339 | LitKind::Int(x, LitIntType::Unsigned(UintTy::U64)) => Ok(( [INFO] [stdout] | ^^^^^^^ use of undeclared type `LitKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitIntType` [INFO] [stdout] --> src/ast_to_rustspec.rs:339:25 [INFO] [stdout] | [INFO] [stdout] 339 | LitKind::Int(x, LitIntType::Unsigned(UintTy::U64)) => Ok(( [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `LitIntType` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UintTy` [INFO] [stdout] --> src/ast_to_rustspec.rs:339:46 [INFO] [stdout] | [INFO] [stdout] 339 | LitKind::Int(x, LitIntType::Unsigned(UintTy::U64)) => Ok(( [INFO] [stdout] | ^^^^^^ use of undeclared type `UintTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:343:9 [INFO] [stdout] | [INFO] [stdout] 343 | LitKind::Int(x, LitIntType::Signed(IntTy::I32)) => Ok(( [INFO] [stdout] | ^^^^^^^ use of undeclared type `LitKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitIntType` [INFO] [stdout] --> src/ast_to_rustspec.rs:343:25 [INFO] [stdout] | [INFO] [stdout] 343 | LitKind::Int(x, LitIntType::Signed(IntTy::I32)) => Ok(( [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `LitIntType` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `IntTy` [INFO] [stdout] --> src/ast_to_rustspec.rs:343:44 [INFO] [stdout] | [INFO] [stdout] 343 | LitKind::Int(x, LitIntType::Signed(IntTy::I32)) => Ok(( [INFO] [stdout] | ^^^^^ use of undeclared type `IntTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:347:9 [INFO] [stdout] | [INFO] [stdout] 347 | LitKind::Int(x, LitIntType::Unsigned(UintTy::U32)) => Ok(( [INFO] [stdout] | ^^^^^^^ use of undeclared type `LitKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitIntType` [INFO] [stdout] --> src/ast_to_rustspec.rs:347:25 [INFO] [stdout] | [INFO] [stdout] 347 | LitKind::Int(x, LitIntType::Unsigned(UintTy::U32)) => Ok(( [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `LitIntType` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UintTy` [INFO] [stdout] --> src/ast_to_rustspec.rs:347:46 [INFO] [stdout] | [INFO] [stdout] 347 | LitKind::Int(x, LitIntType::Unsigned(UintTy::U32)) => Ok(( [INFO] [stdout] | ^^^^^^ use of undeclared type `UintTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:351:9 [INFO] [stdout] | [INFO] [stdout] 351 | LitKind::Int(x, LitIntType::Signed(IntTy::I16)) => Ok(( [INFO] [stdout] | ^^^^^^^ use of undeclared type `LitKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitIntType` [INFO] [stdout] --> src/ast_to_rustspec.rs:351:25 [INFO] [stdout] | [INFO] [stdout] 351 | LitKind::Int(x, LitIntType::Signed(IntTy::I16)) => Ok(( [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `LitIntType` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `IntTy` [INFO] [stdout] --> src/ast_to_rustspec.rs:351:44 [INFO] [stdout] | [INFO] [stdout] 351 | LitKind::Int(x, LitIntType::Signed(IntTy::I16)) => Ok(( [INFO] [stdout] | ^^^^^ use of undeclared type `IntTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:355:9 [INFO] [stdout] | [INFO] [stdout] 355 | LitKind::Int(x, LitIntType::Unsigned(UintTy::U16)) => Ok(( [INFO] [stdout] | ^^^^^^^ use of undeclared type `LitKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitIntType` [INFO] [stdout] --> src/ast_to_rustspec.rs:355:25 [INFO] [stdout] | [INFO] [stdout] 355 | LitKind::Int(x, LitIntType::Unsigned(UintTy::U16)) => Ok(( [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `LitIntType` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UintTy` [INFO] [stdout] --> src/ast_to_rustspec.rs:355:46 [INFO] [stdout] | [INFO] [stdout] 355 | LitKind::Int(x, LitIntType::Unsigned(UintTy::U16)) => Ok(( [INFO] [stdout] | ^^^^^^ use of undeclared type `UintTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:359:9 [INFO] [stdout] | [INFO] [stdout] 359 | LitKind::Int(x, LitIntType::Signed(IntTy::I8)) => Ok(( [INFO] [stdout] | ^^^^^^^ use of undeclared type `LitKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitIntType` [INFO] [stdout] --> src/ast_to_rustspec.rs:359:25 [INFO] [stdout] | [INFO] [stdout] 359 | LitKind::Int(x, LitIntType::Signed(IntTy::I8)) => Ok(( [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `LitIntType` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `IntTy` [INFO] [stdout] --> src/ast_to_rustspec.rs:359:44 [INFO] [stdout] | [INFO] [stdout] 359 | LitKind::Int(x, LitIntType::Signed(IntTy::I8)) => Ok(( [INFO] [stdout] | ^^^^^ use of undeclared type `IntTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:363:9 [INFO] [stdout] | [INFO] [stdout] 363 | LitKind::Int(x, LitIntType::Unsigned(UintTy::U8)) => Ok(( [INFO] [stdout] | ^^^^^^^ use of undeclared type `LitKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitIntType` [INFO] [stdout] --> src/ast_to_rustspec.rs:363:25 [INFO] [stdout] | [INFO] [stdout] 363 | LitKind::Int(x, LitIntType::Unsigned(UintTy::U8)) => Ok(( [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `LitIntType` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UintTy` [INFO] [stdout] --> src/ast_to_rustspec.rs:363:46 [INFO] [stdout] | [INFO] [stdout] 363 | LitKind::Int(x, LitIntType::Unsigned(UintTy::U8)) => Ok(( [INFO] [stdout] | ^^^^^^ use of undeclared type `UintTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:367:9 [INFO] [stdout] | [INFO] [stdout] 367 | LitKind::Int(x, LitIntType::Signed(IntTy::Isize)) => Ok(( [INFO] [stdout] | ^^^^^^^ use of undeclared type `LitKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitIntType` [INFO] [stdout] --> src/ast_to_rustspec.rs:367:25 [INFO] [stdout] | [INFO] [stdout] 367 | LitKind::Int(x, LitIntType::Signed(IntTy::Isize)) => Ok(( [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `LitIntType` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `IntTy` [INFO] [stdout] --> src/ast_to_rustspec.rs:367:44 [INFO] [stdout] | [INFO] [stdout] 367 | LitKind::Int(x, LitIntType::Signed(IntTy::Isize)) => Ok(( [INFO] [stdout] | ^^^^^ use of undeclared type `IntTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:371:9 [INFO] [stdout] | [INFO] [stdout] 371 | LitKind::Int(x, LitIntType::Unsigned(UintTy::Usize)) => Ok(( [INFO] [stdout] | ^^^^^^^ use of undeclared type `LitKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitIntType` [INFO] [stdout] --> src/ast_to_rustspec.rs:371:25 [INFO] [stdout] | [INFO] [stdout] 371 | LitKind::Int(x, LitIntType::Unsigned(UintTy::Usize)) => Ok(( [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `LitIntType` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UintTy` [INFO] [stdout] --> src/ast_to_rustspec.rs:371:46 [INFO] [stdout] | [INFO] [stdout] 371 | LitKind::Int(x, LitIntType::Unsigned(UintTy::Usize)) => Ok(( [INFO] [stdout] | ^^^^^^ use of undeclared type `UintTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:376:9 [INFO] [stdout] | [INFO] [stdout] 376 | LitKind::Int(x, LitIntType::Unsuffixed) => Ok(( [INFO] [stdout] | ^^^^^^^ use of undeclared type `LitKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitIntType` [INFO] [stdout] --> src/ast_to_rustspec.rs:376:25 [INFO] [stdout] | [INFO] [stdout] 376 | LitKind::Int(x, LitIntType::Unsuffixed) => Ok(( [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `LitIntType` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LitKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:380:9 [INFO] [stdout] | [INFO] [stdout] 380 | LitKind::Str(msg, StrStyle::Cooked) => Ok(( [INFO] [stdout] | ^^^^^^^ use of undeclared type `LitKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StrStyle` [INFO] [stdout] --> src/ast_to_rustspec.rs:380:27 [INFO] [stdout] | [INFO] [stdout] 380 | LitKind::Str(msg, StrStyle::Cooked) => Ok(( [INFO] [stdout] | ^^^^^^^^ use of undeclared type `StrStyle` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:398:9 [INFO] [stdout] | [INFO] [stdout] 398 | ExprKind::Binary(op, e1, e2) => Ok(( [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:407:9 [INFO] [stdout] | [INFO] [stdout] 407 | ExprKind::Unary(op, e1) => Ok(( [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UnOp` [INFO] [stdout] --> src/ast_to_rustspec.rs:410:21 [INFO] [stdout] | [INFO] [stdout] 410 | UnOp::Not => UnOpKind::Not, [INFO] [stdout] | ^^^^ use of undeclared type `UnOp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UnOp` [INFO] [stdout] --> src/ast_to_rustspec.rs:411:21 [INFO] [stdout] | [INFO] [stdout] 411 | UnOp::Neg => UnOpKind::Neg, [INFO] [stdout] | ^^^^ use of undeclared type `UnOp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UnOp` [INFO] [stdout] --> src/ast_to_rustspec.rs:412:21 [INFO] [stdout] | [INFO] [stdout] 412 | UnOp::Deref => { [INFO] [stdout] | ^^^^ use of undeclared type `UnOp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:422:9 [INFO] [stdout] | [INFO] [stdout] 422 | ExprKind::Path(Some(_), _) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:426:9 [INFO] [stdout] | [INFO] [stdout] 426 | ExprKind::Path(None, path) => Ok(( [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:430:9 [INFO] [stdout] | [INFO] [stdout] 430 | ExprKind::Call(func, args) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:432:17 [INFO] [stdout] | [INFO] [stdout] 432 | ExprKind::Path(None, path) => Ok((translate_func_name(sess, &path)?, path.span)), [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:456:21 [INFO] [stdout] | [INFO] [stdout] 456 | ExprKind::Array(cells) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:470:21 [INFO] [stdout] | [INFO] [stdout] 470 | ExprKind::MacCall(call) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `MacArgs` [INFO] [stdout] --> src/ast_to_rustspec.rs:484:33 [INFO] [stdout] | [INFO] [stdout] 484 | ... MacArgs::Delimited(_, _, tokens) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `MacArgs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `MacArgs` [INFO] [stdout] --> src/ast_to_rustspec.rs:527:33 [INFO] [stdout] | [INFO] [stdout] 527 | ... MacArgs::Delimited(_, _, tokens) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `MacArgs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:597:9 [INFO] [stdout] | [INFO] [stdout] 597 | ExprKind::MethodCall(method_name, args, span) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:626:9 [INFO] [stdout] | [INFO] [stdout] 626 | ExprKind::Lit(lit) => translate_literal(sess, lit, e.span.clone()), [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:627:9 [INFO] [stdout] | [INFO] [stdout] 627 | ExprKind::Assign(lhs, rhs_e, _) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:630:17 [INFO] [stdout] | [INFO] [stdout] 630 | ExprKind::Path(None, path) => match &path.segments.as_slice() { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:662:17 [INFO] [stdout] | [INFO] [stdout] 662 | ExprKind::Index(a, index) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:675:25 [INFO] [stdout] | [INFO] [stdout] 675 | ExprKind::Path(None, path) => match path.segments.as_slice() { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:723:9 [INFO] [stdout] | [INFO] [stdout] 723 | ExprKind::If(cond, t_e, f_e) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:738:21 [INFO] [stdout] | [INFO] [stdout] 738 | ExprKind::Block(f_e, _) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:787:9 [INFO] [stdout] | [INFO] [stdout] 787 | ExprKind::ForLoop(pat, range, b, _) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PatKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:789:17 [INFO] [stdout] | [INFO] [stdout] 789 | PatKind::Ident(BindingMode::ByValue(Mutability::Not), id, None) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `PatKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BindingMode` [INFO] [stdout] --> src/ast_to_rustspec.rs:789:32 [INFO] [stdout] | [INFO] [stdout] 789 | PatKind::Ident(BindingMode::ByValue(Mutability::Not), id, None) => { [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `BindingMode` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Mutability` [INFO] [stdout] --> src/ast_to_rustspec.rs:789:53 [INFO] [stdout] | [INFO] [stdout] 789 | PatKind::Ident(BindingMode::ByValue(Mutability::Not), id, None) => { [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `Mutability` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:801:17 [INFO] [stdout] | [INFO] [stdout] 801 | ExprKind::Range(Some(r_begin), Some(r_end), RangeLimits::HalfOpen) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `RangeLimits` [INFO] [stdout] --> src/ast_to_rustspec.rs:801:61 [INFO] [stdout] | [INFO] [stdout] 801 | ExprKind::Range(Some(r_begin), Some(r_end), RangeLimits::HalfOpen) => { [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `RangeLimits` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:833:9 [INFO] [stdout] | [INFO] [stdout] 833 | ExprKind::Index(a, e2) => match &a.kind { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:834:13 [INFO] [stdout] | [INFO] [stdout] 834 | ExprKind::Path(None, path) => match path.segments.as_slice() { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:871:9 [INFO] [stdout] | [INFO] [stdout] 871 | ExprKind::Tup(args) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:891:9 [INFO] [stdout] | [INFO] [stdout] 891 | ExprKind::Struct(_, _, _) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:895:9 [INFO] [stdout] | [INFO] [stdout] 895 | ExprKind::Box(_) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:899:9 [INFO] [stdout] | [INFO] [stdout] 899 | ExprKind::Array(_) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:903:9 [INFO] [stdout] | [INFO] [stdout] 903 | ExprKind::Cast(e1, t1) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:915:9 [INFO] [stdout] | [INFO] [stdout] 915 | ExprKind::Type(_, _) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:922:9 [INFO] [stdout] | [INFO] [stdout] 922 | ExprKind::Let(_, _) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:926:9 [INFO] [stdout] | [INFO] [stdout] 926 | ExprKind::While(_, _, _) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:930:9 [INFO] [stdout] | [INFO] [stdout] 930 | ExprKind::Loop(_, _) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:937:9 [INFO] [stdout] | [INFO] [stdout] 937 | ExprKind::Match(_, _) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:944:9 [INFO] [stdout] | [INFO] [stdout] 944 | ExprKind::Closure(_, _, _, _, _, _) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:948:9 [INFO] [stdout] | [INFO] [stdout] 948 | ExprKind::Block(_, _) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:952:9 [INFO] [stdout] | [INFO] [stdout] 952 | ExprKind::Async(_, _, _) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:956:9 [INFO] [stdout] | [INFO] [stdout] 956 | ExprKind::Await(_) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:960:9 [INFO] [stdout] | [INFO] [stdout] 960 | ExprKind::TryBlock(_) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:964:9 [INFO] [stdout] | [INFO] [stdout] 964 | ExprKind::AssignOp(_, _, _) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:971:9 [INFO] [stdout] | [INFO] [stdout] 971 | ExprKind::Field(_, _) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:978:9 [INFO] [stdout] | [INFO] [stdout] 978 | ExprKind::Range(e1, e2, limits) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `RangeLimits` [INFO] [stdout] --> src/ast_to_rustspec.rs:980:17 [INFO] [stdout] | [INFO] [stdout] 980 | RangeLimits::HalfOpen => (), [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `RangeLimits` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `RangeLimits` [INFO] [stdout] --> src/ast_to_rustspec.rs:981:17 [INFO] [stdout] | [INFO] [stdout] 981 | RangeLimits::Closed => { [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `RangeLimits` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1007:9 [INFO] [stdout] | [INFO] [stdout] 1007 | ExprKind::AddrOf(_, _, _) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1014:9 [INFO] [stdout] | [INFO] [stdout] 1014 | ExprKind::Break(_, _) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1021:9 [INFO] [stdout] | [INFO] [stdout] 1021 | ExprKind::Continue(_) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1028:9 [INFO] [stdout] | [INFO] [stdout] 1028 | ExprKind::Ret(_) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1035:9 [INFO] [stdout] | [INFO] [stdout] 1035 | ExprKind::InlineAsm(_) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1039:9 [INFO] [stdout] | [INFO] [stdout] 1039 | ExprKind::LlvmInlineAsm(_) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1046:9 [INFO] [stdout] | [INFO] [stdout] 1046 | ExprKind::MacCall(_) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1050:9 [INFO] [stdout] | [INFO] [stdout] 1050 | ExprKind::Repeat(_, _) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1057:9 [INFO] [stdout] | [INFO] [stdout] 1057 | ExprKind::Yield(_) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1064:9 [INFO] [stdout] | [INFO] [stdout] 1064 | ExprKind::Paren(e1) => translate_expr(sess, arr_typs, e1), [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1065:9 [INFO] [stdout] | [INFO] [stdout] 1065 | ExprKind::Try(_) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1069:9 [INFO] [stdout] | [INFO] [stdout] 1069 | ExprKind::Err => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1073:9 [INFO] [stdout] | [INFO] [stdout] 1073 | ExprKind::ConstBlock(_) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ExprKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1077:9 [INFO] [stdout] | [INFO] [stdout] 1077 | ExprKind::Underscore => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ExprKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PatKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1090:9 [INFO] [stdout] | [INFO] [stdout] 1090 | PatKind::Ident(BindingMode::ByValue(_), id, None) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `PatKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BindingMode` [INFO] [stdout] --> src/ast_to_rustspec.rs:1090:24 [INFO] [stdout] | [INFO] [stdout] 1090 | PatKind::Ident(BindingMode::ByValue(_), id, None) => { [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `BindingMode` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PatKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1093:9 [INFO] [stdout] | [INFO] [stdout] 1093 | PatKind::Tuple(pats) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `PatKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PatKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1101:9 [INFO] [stdout] | [INFO] [stdout] 1101 | PatKind::Wild => Ok((Pattern::WildCard, pat.span)), [INFO] [stdout] | ^^^^^^^ use of undeclared type `PatKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StmtKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1115:9 [INFO] [stdout] | [INFO] [stdout] 1115 | StmtKind::Item(_) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `StmtKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StmtKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1119:9 [INFO] [stdout] | [INFO] [stdout] 1119 | StmtKind::MacCall(_) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `StmtKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StmtKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1126:9 [INFO] [stdout] | [INFO] [stdout] 1126 | StmtKind::Empty => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `StmtKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StmtKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1130:9 [INFO] [stdout] | [INFO] [stdout] 1130 | StmtKind::Local(local) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `StmtKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StmtKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1157:9 [INFO] [stdout] | [INFO] [stdout] 1157 | StmtKind::Expr(e) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `StmtKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StmtKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1164:9 [INFO] [stdout] | [INFO] [stdout] 1164 | StmtKind::Semi(e) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `StmtKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ast` [INFO] [stdout] --> src/ast_to_rustspec.rs:1179:9 [INFO] [stdout] | [INFO] [stdout] 1179 | b: &ast::Block, [INFO] [stdout] | ^^^ use of undeclared crate or module `ast` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BlockCheckMode` [INFO] [stdout] --> src/ast_to_rustspec.rs:1182:9 [INFO] [stdout] | [INFO] [stdout] 1182 | BlockCheckMode::Unsafe(_) => { [INFO] [stdout] | ^^^^^^^^^^^^^^ use of undeclared type `BlockCheckMode` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BlockCheckMode` [INFO] [stdout] --> src/ast_to_rustspec.rs:1186:9 [INFO] [stdout] | [INFO] [stdout] 1186 | BlockCheckMode::Default => (), [INFO] [stdout] | ^^^^^^^^^^^^^^ use of undeclared type `BlockCheckMode` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenTree` [INFO] [stdout] --> src/ast_to_rustspec.rs:1215:9 [INFO] [stdout] | [INFO] [stdout] 1215 | TokenTree::Token(tok) => match tok.kind { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `TokenTree` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1216:13 [INFO] [stdout] | [INFO] [stdout] 1216 | TokenKind::Comma => Ok(()), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `TokenKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenTree` [INFO] [stdout] --> src/ast_to_rustspec.rs:1234:9 [INFO] [stdout] | [INFO] [stdout] 1234 | TokenTree::Token(tok) => match tok.kind { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `TokenTree` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1235:13 [INFO] [stdout] | [INFO] [stdout] 1235 | TokenKind::Literal(l) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `TokenKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenTree` [INFO] [stdout] --> src/ast_to_rustspec.rs:1265:9 [INFO] [stdout] | [INFO] [stdout] 1265 | TokenTree::Delimited(_, DelimToken::Bracket, inside) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `TokenTree` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `DelimToken` [INFO] [stdout] --> src/ast_to_rustspec.rs:1265:33 [INFO] [stdout] | [INFO] [stdout] 1265 | TokenTree::Delimited(_, DelimToken::Bracket, inside) => { [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `DelimToken` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenTree` [INFO] [stdout] --> src/ast_to_rustspec.rs:1293:9 [INFO] [stdout] | [INFO] [stdout] 1293 | TokenTree::Token(tok) => match tok.kind { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `TokenTree` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1294:13 [INFO] [stdout] | [INFO] [stdout] 1294 | TokenKind::Colon => Ok(()), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `TokenKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenTree` [INFO] [stdout] --> src/ast_to_rustspec.rs:1312:9 [INFO] [stdout] | [INFO] [stdout] 1312 | TokenTree::Token(tok) => match tok.kind { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `TokenTree` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1313:13 [INFO] [stdout] | [INFO] [stdout] 1313 | TokenKind::Literal(lit) => match lit.kind { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `TokenKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenLitKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1314:17 [INFO] [stdout] | [INFO] [stdout] 1314 | TokenLitKind::Integer => match lit.suffix { [INFO] [stdout] | ^^^^^^^^^^^^ use of undeclared type `TokenLitKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1338:13 [INFO] [stdout] | [INFO] [stdout] 1338 | TokenKind::Ident(name, _) => Ok(( [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `TokenKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenTree` [INFO] [stdout] --> src/ast_to_rustspec.rs:1356:9 [INFO] [stdout] | [INFO] [stdout] 1356 | TokenTree::Token(tok) => match tok.kind { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `TokenTree` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1357:13 [INFO] [stdout] | [INFO] [stdout] 1357 | TokenKind::Ident(id, _) => Ok(( [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `TokenKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ast` [INFO] [stdout] --> src/ast_to_rustspec.rs:1375:9 [INFO] [stdout] | [INFO] [stdout] 1375 | i: &ast::Item, [INFO] [stdout] | ^^^ use of undeclared crate or module `ast` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `MacArgs` [INFO] [stdout] --> src/ast_to_rustspec.rs:1381:9 [INFO] [stdout] | [INFO] [stdout] 1381 | MacArgs::Delimited(_, _, tokens) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `MacArgs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ast` [INFO] [stdout] --> src/ast_to_rustspec.rs:1410:9 [INFO] [stdout] | [INFO] [stdout] 1410 | i: &ast::Item, [INFO] [stdout] | ^^^ use of undeclared crate or module `ast` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `MacArgs` [INFO] [stdout] --> src/ast_to_rustspec.rs:1416:9 [INFO] [stdout] | [INFO] [stdout] 1416 | MacArgs::Delimited(_, _, tokens) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `MacArgs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenTree` [INFO] [stdout] --> src/ast_to_rustspec.rs:1483:17 [INFO] [stdout] | [INFO] [stdout] 1483 | TokenTree::Token(tok) => match tok.kind { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `TokenTree` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1484:21 [INFO] [stdout] | [INFO] [stdout] 1484 | TokenKind::Literal(lit) => match lit.kind { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `TokenKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenLitKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1485:25 [INFO] [stdout] | [INFO] [stdout] 1485 | TokenLitKind::Str => { [INFO] [stdout] | ^^^^^^^^^^^^ use of undeclared type `TokenLitKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ast` [INFO] [stdout] --> src/ast_to_rustspec.rs:1526:9 [INFO] [stdout] | [INFO] [stdout] 1526 | i: &ast::Item, [INFO] [stdout] | ^^^ use of undeclared crate or module `ast` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `MacArgs` [INFO] [stdout] --> src/ast_to_rustspec.rs:1532:9 [INFO] [stdout] | [INFO] [stdout] 1532 | MacArgs::Delimited(_, _, tokens) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `MacArgs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenTree` [INFO] [stdout] --> src/ast_to_rustspec.rs:1552:25 [INFO] [stdout] | [INFO] [stdout] 1552 | TokenTree::Token(tok) => match tok.kind { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `TokenTree` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1553:29 [INFO] [stdout] | [INFO] [stdout] 1553 | ... TokenKind::Ident(id, _) => translate_base_typ( [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `TokenKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `NodeId` [INFO] [stdout] --> src/ast_to_rustspec.rs:1557:41 [INFO] [stdout] | [INFO] [stdout] 1557 | ... id: NodeId::MAX, [INFO] [stdout] | ^^^^^^ use of undeclared type `NodeId` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1558:43 [INFO] [stdout] | [INFO] [stdout] 1558 | ... kind: TyKind::Path( [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `symbol` [INFO] [stdout] --> src/ast_to_rustspec.rs:1560:63 [INFO] [stdout] | [INFO] [stdout] 1560 | ... ast::Path::from_ident(symbol::Ident { [INFO] [stdout] | ^^^^^^ use of undeclared crate or module `symbol` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenTree` [INFO] [stdout] --> src/ast_to_rustspec.rs:1599:29 [INFO] [stdout] | [INFO] [stdout] 1599 | ... TokenTree::Token(tok) => match tok.kind { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `TokenTree` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TokenKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1600:33 [INFO] [stdout] | [INFO] [stdout] 1600 | ... TokenKind::Ident(id, _) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `TokenKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ast` [INFO] [stdout] --> src/ast_to_rustspec.rs:1644:9 [INFO] [stdout] | [INFO] [stdout] 1644 | i: &ast::Item, [INFO] [stdout] | ^^^ use of undeclared crate or module `ast` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ItemKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1648:9 [INFO] [stdout] | [INFO] [stdout] 1648 | ItemKind::Fn(fn_kind) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ItemKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Defaultness` [INFO] [stdout] --> src/ast_to_rustspec.rs:1657:17 [INFO] [stdout] | [INFO] [stdout] 1657 | Defaultness::Default(span) => { [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `Defaultness` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Unsafe` [INFO] [stdout] --> src/ast_to_rustspec.rs:1667:17 [INFO] [stdout] | [INFO] [stdout] 1667 | Unsafe::No => (), [INFO] [stdout] | ^^^^^^ use of undeclared type `Unsafe` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Unsafe` [INFO] [stdout] --> src/ast_to_rustspec.rs:1668:17 [INFO] [stdout] | [INFO] [stdout] 1668 | Unsafe::Yes(span) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `Unsafe` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Async` [INFO] [stdout] --> src/ast_to_rustspec.rs:1674:17 [INFO] [stdout] | [INFO] [stdout] 1674 | Async::No => (), [INFO] [stdout] | ^^^^^ use of undeclared type `Async` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Async` [INFO] [stdout] --> src/ast_to_rustspec.rs:1675:17 [INFO] [stdout] | [INFO] [stdout] 1675 | Async::Yes { span, .. } => { [INFO] [stdout] | ^^^^^ use of undeclared type `Async` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Const` [INFO] [stdout] --> src/ast_to_rustspec.rs:1681:17 [INFO] [stdout] | [INFO] [stdout] 1681 | Const::No => (), [INFO] [stdout] | ^^^^^ use of undeclared type `Const` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Const` [INFO] [stdout] --> src/ast_to_rustspec.rs:1682:17 [INFO] [stdout] | [INFO] [stdout] 1682 | Const::Yes(span) => { [INFO] [stdout] | ^^^^^ use of undeclared type `Const` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Extern` [INFO] [stdout] --> src/ast_to_rustspec.rs:1688:17 [INFO] [stdout] | [INFO] [stdout] 1688 | Extern::None => (), [INFO] [stdout] | ^^^^^^ use of undeclared type `Extern` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PatKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1705:25 [INFO] [stdout] | [INFO] [stdout] 1705 | PatKind::Ident(BindingMode::ByValue(_), id, None) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `PatKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BindingMode` [INFO] [stdout] --> src/ast_to_rustspec.rs:1705:40 [INFO] [stdout] | [INFO] [stdout] 1705 | PatKind::Ident(BindingMode::ByValue(_), id, None) => { [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `BindingMode` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PatKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1708:25 [INFO] [stdout] | [INFO] [stdout] 1708 | PatKind::Wild => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `PatKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `FnRetTy` [INFO] [stdout] --> src/ast_to_rustspec.rs:1739:17 [INFO] [stdout] | [INFO] [stdout] 1739 | FnRetTy::Default(span) => (BaseTyp::Unit, span.clone()), [INFO] [stdout] | ^^^^^^^ use of undeclared type `FnRetTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `FnRetTy` [INFO] [stdout] --> src/ast_to_rustspec.rs:1740:17 [INFO] [stdout] | [INFO] [stdout] 1740 | FnRetTy::Ty(ty) => translate_base_typ(sess, ty)?, [INFO] [stdout] | ^^^^^^^ use of undeclared type `FnRetTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ItemKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1766:9 [INFO] [stdout] | [INFO] [stdout] 1766 | ItemKind::Use(ref tree) => match tree.kind { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ItemKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UseTreeKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1768:13 [INFO] [stdout] | [INFO] [stdout] 1768 | UseTreeKind::Glob => Ok(( [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `UseTreeKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ItemKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1777:9 [INFO] [stdout] | [INFO] [stdout] 1777 | ItemKind::MacCall(call) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ItemKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ItemKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1830:9 [INFO] [stdout] | [INFO] [stdout] 1830 | ItemKind::Const(_, ty, Some(e)) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ItemKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ItemKind` [INFO] [stdout] --> src/ast_to_rustspec.rs:1839:9 [INFO] [stdout] | [INFO] [stdout] 1839 | ItemKind::TyAlias(ty_alias_kind) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ItemKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Defaultness` [INFO] [stdout] --> src/ast_to_rustspec.rs:1842:17 [INFO] [stdout] | [INFO] [stdout] 1842 | Defaultness::Final => (), [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `Defaultness` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Defaultness` [INFO] [stdout] --> src/ast_to_rustspec.rs:1843:17 [INFO] [stdout] | [INFO] [stdout] 1843 | Defaultness::Default(span) => { [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `Defaultness` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> src/hir_to_rustspec.rs:37:10 [INFO] [stdout] | [INFO] [stdout] 37 | ty: &ty::Ty, [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:41:9 [INFO] [stdout] | [INFO] [stdout] 41 | TyKind::Bool => Ok((BaseTyp::Bool, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:42:9 [INFO] [stdout] | [INFO] [stdout] 42 | TyKind::Int(IntTy::Isize) => Ok((BaseTyp::Isize, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `IntTy` [INFO] [stdout] --> src/hir_to_rustspec.rs:42:21 [INFO] [stdout] | [INFO] [stdout] 42 | TyKind::Int(IntTy::Isize) => Ok((BaseTyp::Isize, typ_ctx.clone())), [INFO] [stdout] | ^^^^^ use of undeclared type `IntTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:43:9 [INFO] [stdout] | [INFO] [stdout] 43 | TyKind::Int(IntTy::I8) => Ok((BaseTyp::Int8, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `IntTy` [INFO] [stdout] --> src/hir_to_rustspec.rs:43:21 [INFO] [stdout] | [INFO] [stdout] 43 | TyKind::Int(IntTy::I8) => Ok((BaseTyp::Int8, typ_ctx.clone())), [INFO] [stdout] | ^^^^^ use of undeclared type `IntTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:44:9 [INFO] [stdout] | [INFO] [stdout] 44 | TyKind::Int(IntTy::I16) => Ok((BaseTyp::Int16, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `IntTy` [INFO] [stdout] --> src/hir_to_rustspec.rs:44:21 [INFO] [stdout] | [INFO] [stdout] 44 | TyKind::Int(IntTy::I16) => Ok((BaseTyp::Int16, typ_ctx.clone())), [INFO] [stdout] | ^^^^^ use of undeclared type `IntTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:45:9 [INFO] [stdout] | [INFO] [stdout] 45 | TyKind::Int(IntTy::I32) => Ok((BaseTyp::Int32, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `IntTy` [INFO] [stdout] --> src/hir_to_rustspec.rs:45:21 [INFO] [stdout] | [INFO] [stdout] 45 | TyKind::Int(IntTy::I32) => Ok((BaseTyp::Int32, typ_ctx.clone())), [INFO] [stdout] | ^^^^^ use of undeclared type `IntTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:46:9 [INFO] [stdout] | [INFO] [stdout] 46 | TyKind::Int(IntTy::I64) => Ok((BaseTyp::Int64, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `IntTy` [INFO] [stdout] --> src/hir_to_rustspec.rs:46:21 [INFO] [stdout] | [INFO] [stdout] 46 | TyKind::Int(IntTy::I64) => Ok((BaseTyp::Int64, typ_ctx.clone())), [INFO] [stdout] | ^^^^^ use of undeclared type `IntTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:47:9 [INFO] [stdout] | [INFO] [stdout] 47 | TyKind::Int(IntTy::I128) => Ok((BaseTyp::Int128, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `IntTy` [INFO] [stdout] --> src/hir_to_rustspec.rs:47:21 [INFO] [stdout] | [INFO] [stdout] 47 | TyKind::Int(IntTy::I128) => Ok((BaseTyp::Int128, typ_ctx.clone())), [INFO] [stdout] | ^^^^^ use of undeclared type `IntTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:48:9 [INFO] [stdout] | [INFO] [stdout] 48 | TyKind::Uint(UintTy::Usize) => Ok((BaseTyp::Usize, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UintTy` [INFO] [stdout] --> src/hir_to_rustspec.rs:48:22 [INFO] [stdout] | [INFO] [stdout] 48 | TyKind::Uint(UintTy::Usize) => Ok((BaseTyp::Usize, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `UintTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:49:9 [INFO] [stdout] | [INFO] [stdout] 49 | TyKind::Uint(UintTy::U8) => Ok((BaseTyp::UInt8, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UintTy` [INFO] [stdout] --> src/hir_to_rustspec.rs:49:22 [INFO] [stdout] | [INFO] [stdout] 49 | TyKind::Uint(UintTy::U8) => Ok((BaseTyp::UInt8, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `UintTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:50:9 [INFO] [stdout] | [INFO] [stdout] 50 | TyKind::Uint(UintTy::U16) => Ok((BaseTyp::UInt16, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UintTy` [INFO] [stdout] --> src/hir_to_rustspec.rs:50:22 [INFO] [stdout] | [INFO] [stdout] 50 | TyKind::Uint(UintTy::U16) => Ok((BaseTyp::UInt16, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `UintTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:51:9 [INFO] [stdout] | [INFO] [stdout] 51 | TyKind::Uint(UintTy::U32) => Ok((BaseTyp::UInt32, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UintTy` [INFO] [stdout] --> src/hir_to_rustspec.rs:51:22 [INFO] [stdout] | [INFO] [stdout] 51 | TyKind::Uint(UintTy::U32) => Ok((BaseTyp::UInt32, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `UintTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:52:9 [INFO] [stdout] | [INFO] [stdout] 52 | TyKind::Uint(UintTy::U64) => Ok((BaseTyp::UInt64, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UintTy` [INFO] [stdout] --> src/hir_to_rustspec.rs:52:22 [INFO] [stdout] | [INFO] [stdout] 52 | TyKind::Uint(UintTy::U64) => Ok((BaseTyp::UInt64, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `UintTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:53:9 [INFO] [stdout] | [INFO] [stdout] 53 | TyKind::Uint(UintTy::U128) => Ok((BaseTyp::UInt128, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UintTy` [INFO] [stdout] --> src/hir_to_rustspec.rs:53:22 [INFO] [stdout] | [INFO] [stdout] 53 | TyKind::Uint(UintTy::U128) => Ok((BaseTyp::UInt128, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `UintTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:54:9 [INFO] [stdout] | [INFO] [stdout] 54 | TyKind::Ref(region, inner_ty, mutability) => match region { [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `RegionKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:55:13 [INFO] [stdout] | [INFO] [stdout] 55 | RegionKind::ReStatic => match mutability { [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `RegionKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Mutability` [INFO] [stdout] --> src/hir_to_rustspec.rs:56:17 [INFO] [stdout] | [INFO] [stdout] 56 | Mutability::Not => match inner_ty.kind() { [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `Mutability` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:57:21 [INFO] [stdout] | [INFO] [stdout] 57 | TyKind::Str => Ok((BaseTyp::Str, typ_ctx.clone())), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:64:9 [INFO] [stdout] | [INFO] [stdout] 64 | TyKind::Adt(adt, substs) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `DefPathData` [INFO] [stdout] --> src/hir_to_rustspec.rs:72:17 [INFO] [stdout] | [INFO] [stdout] 72 | DefPathData::TypeNs(name) => match tcx [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `DefPathData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `GenericArgKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:81:37 [INFO] [stdout] | [INFO] [stdout] 81 | ... GenericArgKind::Type(arg_ty) => { [INFO] [stdout] | ^^^^^^^^^^^^^^ use of undeclared type `GenericArgKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `GenericArgKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:108:37 [INFO] [stdout] | [INFO] [stdout] 108 | ... GenericArgKind::Type(arg_ty) => { [INFO] [stdout] | ^^^^^^^^^^^^^^ use of undeclared type `GenericArgKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:137:9 [INFO] [stdout] | [INFO] [stdout] 137 | TyKind::Param(p) => match typ_ctx.get(&(ParamType::ImplParam, p.index as usize)) { [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:145:9 [INFO] [stdout] | [INFO] [stdout] 145 | TyKind::Bound(rust_id, _) => match typ_ctx.get(&(ParamType::FnParam, rust_id.index())) { [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:153:9 [INFO] [stdout] | [INFO] [stdout] 153 | TyKind::Tuple(args) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> src/hir_to_rustspec.rs:168:10 [INFO] [stdout] | [INFO] [stdout] 168 | ty: &ty::Ty, [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:172:9 [INFO] [stdout] | [INFO] [stdout] 172 | TyKind::Ref(_, ref_ty, Mutability::Not) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Mutability` [INFO] [stdout] --> src/hir_to_rustspec.rs:172:32 [INFO] [stdout] | [INFO] [stdout] 172 | TyKind::Ref(_, ref_ty, Mutability::Not) => { [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `Mutability` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:238:9 [INFO] [stdout] | [INFO] [stdout] 238 | TyKind::FnDef(_, _) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `DefPathData` [INFO] [stdout] --> src/hir_to_rustspec.rs:243:25 [INFO] [stdout] | [INFO] [stdout] 243 | DefPathData::Impl | DefPathData::ImplTrait => false, [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `DefPathData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `DefPathData` [INFO] [stdout] --> src/hir_to_rustspec.rs:243:45 [INFO] [stdout] | [INFO] [stdout] 243 | DefPathData::Impl | DefPathData::ImplTrait => false, [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `DefPathData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `DefPathData` [INFO] [stdout] --> src/hir_to_rustspec.rs:255:25 [INFO] [stdout] | [INFO] [stdout] 255 | DefPathData::ValueNs(name) => { [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `DefPathData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `DefPathData` [INFO] [stdout] --> src/hir_to_rustspec.rs:267:26 [INFO] [stdout] | [INFO] [stdout] 267 | (DefPathData::Impl, DefPathData::ValueNs(name)) => { [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `DefPathData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `DefPathData` [INFO] [stdout] --> src/hir_to_rustspec.rs:267:45 [INFO] [stdout] | [INFO] [stdout] 267 | (DefPathData::Impl, DefPathData::ValueNs(name)) => { [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `DefPathData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `DefPathData` [INFO] [stdout] --> src/hir_to_rustspec.rs:301:29 [INFO] [stdout] | [INFO] [stdout] 301 | ... DefPathData::ValueNs(name) => { [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `DefPathData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:321:9 [INFO] [stdout] | [INFO] [stdout] 321 | TyKind::Adt(adt, substs) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:334:25 [INFO] [stdout] | [INFO] [stdout] 334 | TyKind::Array(cell_t, size) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ConstKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:341:33 [INFO] [stdout] | [INFO] [stdout] 341 | ... ConstKind::Value(value) => match value { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `ConstKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ConstValue` [INFO] [stdout] --> src/hir_to_rustspec.rs:342:37 [INFO] [stdout] | [INFO] [stdout] 342 | ... ConstValue::Scalar(scalar) => match scalar { [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `ConstValue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> src/hir_to_rustspec.rs:343:41 [INFO] [stdout] | [INFO] [stdout] 343 | ... Scalar::Int(s) => s.to_bits(s.size()).unwrap() as usize, [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `DefIndex` [INFO] [stdout] --> src/hir_to_rustspec.rs:408:28 [INFO] [stdout] | [INFO] [stdout] 408 | index: DefIndex::from_usize(id), [INFO] [stdout] | ^^^^^^^^ use of undeclared type `DefIndex` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `DefPathData` [INFO] [stdout] --> src/hir_to_rustspec.rs:419:37 [INFO] [stdout] | [INFO] [stdout] 419 | ... DefPathData::ValueNs(_) => process_fn_id( [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `DefPathData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `DefPathData` [INFO] [stdout] --> src/hir_to_rustspec.rs:427:37 [INFO] [stdout] | [INFO] [stdout] 427 | ... DefPathData::Ctor => { [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `DefPathData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `DefPathData` [INFO] [stdout] --> src/hir_to_rustspec.rs:452:49 [INFO] [stdout] | [INFO] [stdout] 452 | ... DefPathData::TypeNs(name) => { [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `DefPathData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ItemKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:478:13 [INFO] [stdout] | [INFO] [stdout] 478 | ItemKind::Fn(_, _, _) => process_fn_id( [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ItemKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ItemKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:486:13 [INFO] [stdout] | [INFO] [stdout] 486 | ItemKind::Impl(i) => { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ItemKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `AssocItemKind` [INFO] [stdout] --> src/hir_to_rustspec.rs:489:28 [INFO] [stdout] | [INFO] [stdout] 489 | if let AssocItemKind::Fn { .. } = item.kind { [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `AssocItemKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:398:25 [INFO] [stdout] | [INFO] [stdout] 398 | BinOpKind::Sub => return (RcDoc::as_string("-"), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:399:25 [INFO] [stdout] | [INFO] [stdout] 399 | BinOpKind::Add => return (RcDoc::as_string("+"), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:400:25 [INFO] [stdout] | [INFO] [stdout] 400 | BinOpKind::Mul => return (RcDoc::as_string("*"), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:401:25 [INFO] [stdout] | [INFO] [stdout] 401 | BinOpKind::Div => return (RcDoc::as_string("/"), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:424:17 [INFO] [stdout] | [INFO] [stdout] 424 | BinOpKind::Sub => "minus", [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:425:17 [INFO] [stdout] | [INFO] [stdout] 425 | BinOpKind::Add => "add", [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:426:17 [INFO] [stdout] | [INFO] [stdout] 426 | BinOpKind::Mul => "mul", [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:427:17 [INFO] [stdout] | [INFO] [stdout] 427 | BinOpKind::Div => "div", [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:428:17 [INFO] [stdout] | [INFO] [stdout] 428 | BinOpKind::BitXor => "xor", [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:429:17 [INFO] [stdout] | [INFO] [stdout] 429 | BinOpKind::BitOr => "or", [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:430:17 [INFO] [stdout] | [INFO] [stdout] 430 | BinOpKind::BitAnd => "and", [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:431:17 [INFO] [stdout] | [INFO] [stdout] 431 | BinOpKind::Eq => "eq", [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:457:10 [INFO] [stdout] | [INFO] [stdout] 457 | (BinOpKind::Sub, BaseTyp::Usize) | (BinOpKind::Sub, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:457:45 [INFO] [stdout] | [INFO] [stdout] 457 | (BinOpKind::Sub, BaseTyp::Usize) | (BinOpKind::Sub, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:460:10 [INFO] [stdout] | [INFO] [stdout] 460 | (BinOpKind::Add, BaseTyp::Usize) | (BinOpKind::Add, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:460:45 [INFO] [stdout] | [INFO] [stdout] 460 | (BinOpKind::Add, BaseTyp::Usize) | (BinOpKind::Add, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:463:10 [INFO] [stdout] | [INFO] [stdout] 463 | (BinOpKind::Mul, BaseTyp::Usize) | (BinOpKind::Mul, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:463:45 [INFO] [stdout] | [INFO] [stdout] 463 | (BinOpKind::Mul, BaseTyp::Usize) | (BinOpKind::Mul, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:466:10 [INFO] [stdout] | [INFO] [stdout] 466 | (BinOpKind::Div, BaseTyp::Usize) | (BinOpKind::Div, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:466:45 [INFO] [stdout] | [INFO] [stdout] 466 | (BinOpKind::Div, BaseTyp::Usize) | (BinOpKind::Div, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:469:10 [INFO] [stdout] | [INFO] [stdout] 469 | (BinOpKind::Rem, BaseTyp::Usize) | (BinOpKind::Rem, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:469:45 [INFO] [stdout] | [INFO] [stdout] 469 | (BinOpKind::Rem, BaseTyp::Usize) | (BinOpKind::Rem, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:472:10 [INFO] [stdout] | [INFO] [stdout] 472 | (BinOpKind::Shl, BaseTyp::Usize) => (RcDoc::as_string("usize_shift_left"), true), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:473:10 [INFO] [stdout] | [INFO] [stdout] 473 | (BinOpKind::Shr, BaseTyp::Usize) => (RcDoc::as_string("usize_shift_right"), true), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:474:10 [INFO] [stdout] | [INFO] [stdout] 474 | (BinOpKind::BitAnd, BaseTyp::UInt128) => (RcDoc::as_string("W128.(&)"), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:475:10 [INFO] [stdout] | [INFO] [stdout] 475 | (BinOpKind::BitAnd, BaseTyp::Named((Ident::Original(name), _), None)) [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:486:10 [INFO] [stdout] | [INFO] [stdout] 486 | (BinOpKind::BitAnd, _) => (RcDoc::as_string("&"), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:487:10 [INFO] [stdout] | [INFO] [stdout] 487 | (BinOpKind::Rem, _) => (RcDoc::as_string("%."), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:488:10 [INFO] [stdout] | [INFO] [stdout] 488 | (BinOpKind::Sub, _) => (RcDoc::as_string("-"), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:489:10 [INFO] [stdout] | [INFO] [stdout] 489 | (BinOpKind::Add, _) => (RcDoc::as_string("+"), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:490:10 [INFO] [stdout] | [INFO] [stdout] 490 | (BinOpKind::Mul, _) => (RcDoc::as_string("*"), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:491:10 [INFO] [stdout] | [INFO] [stdout] 491 | (BinOpKind::Div, _) => (RcDoc::as_string("/"), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:492:10 [INFO] [stdout] | [INFO] [stdout] 492 | (BinOpKind::BitXor, _) => (RcDoc::as_string("+^"), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:493:10 [INFO] [stdout] | [INFO] [stdout] 493 | (BinOpKind::BitOr, _) => (RcDoc::as_string("|"), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:494:10 [INFO] [stdout] | [INFO] [stdout] 494 | (BinOpKind::Shl, _) => (RcDoc::as_string("shift_left"), true), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:495:10 [INFO] [stdout] | [INFO] [stdout] 495 | (BinOpKind::Shr, _) => (RcDoc::as_string("shift_right"), true), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:496:10 [INFO] [stdout] | [INFO] [stdout] 496 | (BinOpKind::Lt, _) => (RcDoc::as_string("<"), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:497:10 [INFO] [stdout] | [INFO] [stdout] 497 | (BinOpKind::Le, _) => (RcDoc::as_string("<="), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:498:10 [INFO] [stdout] | [INFO] [stdout] 498 | (BinOpKind::Ge, _) => (RcDoc::as_string(">="), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:499:10 [INFO] [stdout] | [INFO] [stdout] 499 | (BinOpKind::Gt, _) => (RcDoc::as_string(">"), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:500:10 [INFO] [stdout] | [INFO] [stdout] 500 | (BinOpKind::Ne, _) => (RcDoc::as_string("!="), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:501:10 [INFO] [stdout] | [INFO] [stdout] 501 | (BinOpKind::Eq, _) => (RcDoc::as_string("="), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:502:10 [INFO] [stdout] | [INFO] [stdout] 502 | (BinOpKind::And, _) => (RcDoc::as_string("&&"), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:503:10 [INFO] [stdout] | [INFO] [stdout] 503 | (BinOpKind::Or, _) => (RcDoc::as_string("||"), false), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:366:25 [INFO] [stdout] | [INFO] [stdout] 366 | BinOpKind::Sub => return RcDoc::as_string("-%"), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:367:25 [INFO] [stdout] | [INFO] [stdout] 367 | BinOpKind::Add => return RcDoc::as_string("+%"), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:368:25 [INFO] [stdout] | [INFO] [stdout] 368 | BinOpKind::Mul => return RcDoc::as_string("*%"), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:369:25 [INFO] [stdout] | [INFO] [stdout] 369 | BinOpKind::Div => return RcDoc::as_string("/%"), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:392:17 [INFO] [stdout] | [INFO] [stdout] 392 | BinOpKind::Sub => "minus", [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:393:17 [INFO] [stdout] | [INFO] [stdout] 393 | BinOpKind::Add => "add", [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:394:17 [INFO] [stdout] | [INFO] [stdout] 394 | BinOpKind::Mul => "mul", [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:395:17 [INFO] [stdout] | [INFO] [stdout] 395 | BinOpKind::Div => "div", [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:396:17 [INFO] [stdout] | [INFO] [stdout] 396 | BinOpKind::BitXor => "xor", [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:397:17 [INFO] [stdout] | [INFO] [stdout] 397 | BinOpKind::BitOr => "or", [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:398:17 [INFO] [stdout] | [INFO] [stdout] 398 | BinOpKind::BitAnd => "and", [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:399:17 [INFO] [stdout] | [INFO] [stdout] 399 | BinOpKind::Eq => "eq", [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:400:17 [INFO] [stdout] | [INFO] [stdout] 400 | BinOpKind::Ne => "neq", [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:414:10 [INFO] [stdout] | [INFO] [stdout] 414 | (BinOpKind::Sub, BaseTyp::Usize) | (BinOpKind::Sub, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:414:45 [INFO] [stdout] | [INFO] [stdout] 414 | (BinOpKind::Sub, BaseTyp::Usize) | (BinOpKind::Sub, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:417:10 [INFO] [stdout] | [INFO] [stdout] 417 | (BinOpKind::Add, BaseTyp::Usize) | (BinOpKind::Add, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:417:45 [INFO] [stdout] | [INFO] [stdout] 417 | (BinOpKind::Add, BaseTyp::Usize) | (BinOpKind::Add, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:420:10 [INFO] [stdout] | [INFO] [stdout] 420 | (BinOpKind::Mul, BaseTyp::Usize) | (BinOpKind::Mul, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:420:45 [INFO] [stdout] | [INFO] [stdout] 420 | (BinOpKind::Mul, BaseTyp::Usize) | (BinOpKind::Mul, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:423:10 [INFO] [stdout] | [INFO] [stdout] 423 | (BinOpKind::Div, BaseTyp::Usize) | (BinOpKind::Div, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:423:45 [INFO] [stdout] | [INFO] [stdout] 423 | (BinOpKind::Div, BaseTyp::Usize) | (BinOpKind::Div, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:426:10 [INFO] [stdout] | [INFO] [stdout] 426 | (BinOpKind::Rem, BaseTyp::Usize) | (BinOpKind::Rem, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:426:45 [INFO] [stdout] | [INFO] [stdout] 426 | (BinOpKind::Rem, BaseTyp::Usize) | (BinOpKind::Rem, BaseTyp::Isize) => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:429:10 [INFO] [stdout] | [INFO] [stdout] 429 | (BinOpKind::Shl, BaseTyp::Usize) => RcDoc::as_string("`usize_shift_left`"), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:430:10 [INFO] [stdout] | [INFO] [stdout] 430 | (BinOpKind::Shr, BaseTyp::Usize) => RcDoc::as_string("`usize_shift_right`"), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:431:10 [INFO] [stdout] | [INFO] [stdout] 431 | (BinOpKind::Rem, _) => RcDoc::as_string("%."), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:432:10 [INFO] [stdout] | [INFO] [stdout] 432 | (BinOpKind::Sub, _) => RcDoc::as_string("-."), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:433:10 [INFO] [stdout] | [INFO] [stdout] 433 | (BinOpKind::Add, _) => RcDoc::as_string("+."), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:434:10 [INFO] [stdout] | [INFO] [stdout] 434 | (BinOpKind::Mul, _) => RcDoc::as_string("*."), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:435:10 [INFO] [stdout] | [INFO] [stdout] 435 | (BinOpKind::Div, _) => RcDoc::as_string("/."), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:436:10 [INFO] [stdout] | [INFO] [stdout] 436 | (BinOpKind::BitXor, _) => RcDoc::as_string("^."), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:437:10 [INFO] [stdout] | [INFO] [stdout] 437 | (BinOpKind::BitAnd, _) => RcDoc::as_string("&."), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:438:10 [INFO] [stdout] | [INFO] [stdout] 438 | (BinOpKind::BitOr, _) => RcDoc::as_string("|."), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:439:10 [INFO] [stdout] | [INFO] [stdout] 439 | (BinOpKind::Shl, _) => RcDoc::as_string("`shift_left`"), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:440:10 [INFO] [stdout] | [INFO] [stdout] 440 | (BinOpKind::Shr, _) => RcDoc::as_string("`shift_right`"), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:441:10 [INFO] [stdout] | [INFO] [stdout] 441 | (BinOpKind::Lt, _) => RcDoc::as_string("<."), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:442:10 [INFO] [stdout] | [INFO] [stdout] 442 | (BinOpKind::Le, _) => RcDoc::as_string("<=."), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:443:10 [INFO] [stdout] | [INFO] [stdout] 443 | (BinOpKind::Ge, _) => RcDoc::as_string(">=."), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:444:10 [INFO] [stdout] | [INFO] [stdout] 444 | (BinOpKind::Gt, _) => RcDoc::as_string(">."), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:445:10 [INFO] [stdout] | [INFO] [stdout] 445 | (BinOpKind::Ne, _) => RcDoc::as_string("!="), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:446:10 [INFO] [stdout] | [INFO] [stdout] 446 | (BinOpKind::Eq, _) => RcDoc::as_string("="), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:447:10 [INFO] [stdout] | [INFO] [stdout] 447 | (BinOpKind::And, _) => RcDoc::as_string("&&"), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/rustspec_to_fstar.rs:448:10 [INFO] [stdout] | [INFO] [stdout] 448 | (BinOpKind::Or, _) => RcDoc::as_string("||"), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/typechecker.rs:840:17 [INFO] [stdout] | [INFO] [stdout] 840 | BinOpKind::Shl | BinOpKind::Shr => match &(t2.1).0 { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/typechecker.rs:840:34 [INFO] [stdout] | [INFO] [stdout] 840 | BinOpKind::Shl | BinOpKind::Shr => match &(t2.1).0 { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/typechecker.rs:896:33 [INFO] [stdout] | [INFO] [stdout] 896 | ... BinOpKind::Eq | BinOpKind::Ne => true, [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/typechecker.rs:896:49 [INFO] [stdout] | [INFO] [stdout] 896 | ... BinOpKind::Eq | BinOpKind::Ne => true, [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/typechecker.rs:908:37 [INFO] [stdout] | [INFO] [stdout] 908 | ... BinOpKind::Eq [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/typechecker.rs:909:39 [INFO] [stdout] | [INFO] [stdout] 909 | ... | BinOpKind::Lt [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/typechecker.rs:910:39 [INFO] [stdout] | [INFO] [stdout] 910 | ... | BinOpKind::Le [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/typechecker.rs:911:39 [INFO] [stdout] | [INFO] [stdout] 911 | ... | BinOpKind::Ne [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/typechecker.rs:912:39 [INFO] [stdout] | [INFO] [stdout] 912 | ... | BinOpKind::Ge [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/typechecker.rs:913:39 [INFO] [stdout] | [INFO] [stdout] 913 | ... | BinOpKind::Gt => { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/typechecker.rs:923:37 [INFO] [stdout] | [INFO] [stdout] 923 | ... BinOpKind::And | BinOpKind::Or => true, [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOpKind` [INFO] [stdout] --> src/typechecker.rs:923:54 [INFO] [stdout] | [INFO] [stdout] 923 | ... BinOpKind::And | BinOpKind::Or => true, [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `BinOpKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ErrorOutputType` [INFO] [stdout] --> src/main.rs:49:5 [INFO] [stdout] | [INFO] [stdout] 49 | ErrorOutputType::HumanReadable(HumanReadableErrorType::Default(ColorConfig::Auto)); [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared type `ErrorOutputType` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `HumanReadableErrorType` [INFO] [stdout] --> src/main.rs:49:36 [INFO] [stdout] | [INFO] [stdout] 49 | ErrorOutputType::HumanReadable(HumanReadableErrorType::Default(ColorConfig::Auto)); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ use of undeclared type `HumanReadableErrorType` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ColorConfig` [INFO] [stdout] --> src/main.rs:49:68 [INFO] [stdout] | [INFO] [stdout] 49 | ErrorOutputType::HumanReadable(HumanReadableErrorType::Default(ColorConfig::Auto)); [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `ColorConfig` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `DiagnosticId` [INFO] [stdout] --> src/main.rs:59:41 [INFO] [stdout] | [INFO] [stdout] 59 | self.span_err_with_code(s, msg, DiagnosticId::Error(String::from("Hacspec"))); [INFO] [stdout] | ^^^^^^^^^^^^ use of undeclared type `DiagnosticId` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `DiagnosticId` [INFO] [stdout] --> src/main.rs:63:42 [INFO] [stdout] | [INFO] [stdout] 63 | self.span_warn_with_code(s, msg, DiagnosticId::Error(String::from("Hacspec"))); [INFO] [stdout] | ^^^^^^^^^^^^ use of undeclared type `DiagnosticId` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SearchPath` [INFO] [stdout] --> src/main.rs:69:39 [INFO] [stdout] | [INFO] [stdout] 69 | config.opts.search_paths.push(SearchPath::from_cli_opt( [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `SearchPath` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Compilation` [INFO] [stdout] --> src/main.rs:91:24 [INFO] [stdout] | [INFO] [stdout] 91 | return Compilation::Stop; [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `Compilation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Compilation` [INFO] [stdout] --> src/main.rs:133:24 [INFO] [stdout] | [INFO] [stdout] 133 | return Compilation::Stop; [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `Compilation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Compilation` [INFO] [stdout] --> src/main.rs:138:28 [INFO] [stdout] | [INFO] [stdout] 138 | None => return Compilation::Stop, [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `Compilation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Compilation` [INFO] [stdout] --> src/main.rs:156:28 [INFO] [stdout] | [INFO] [stdout] 156 | return Compilation::Stop; [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `Compilation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Compilation` [INFO] [stdout] --> src/main.rs:160:9 [INFO] [stdout] | [INFO] [stdout] 160 | Compilation::Stop [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `Compilation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `RunCompiler` [INFO] [stdout] --> src/main.rs:266:11 [INFO] [stdout] | [INFO] [stdout] 266 | match RunCompiler::new(&args, &mut callbacks).run() { [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `RunCompiler` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:37:12 [INFO] [stdout] | [INFO] [stdout] 37 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `GenericArgs` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:38:12 [INFO] [stdout] | [INFO] [stdout] 38 | args: &GenericArgs, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Span` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:39:12 [INFO] [stdout] | [INFO] [stdout] 39 | span: &Span, [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:84:34 [INFO] [stdout] | [INFO] [stdout] 84 | pub fn translate_use_path(sess: &Session, path: &ast::Path) -> TranslationResult { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:105:12 [INFO] [stdout] | [INFO] [stdout] 105 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:126:35 [INFO] [stdout] | [INFO] [stdout] 126 | pub fn translate_expr_name(sess: &Session, path: &ast::Path) -> TranslationResult { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:147:12 [INFO] [stdout] | [INFO] [stdout] 147 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:182:30 [INFO] [stdout] | [INFO] [stdout] 182 | fn translate_base_typ(sess: &Session, ty: &Ty) -> TranslationResult> { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Ty` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:182:44 [INFO] [stdout] | [INFO] [stdout] 182 | fn translate_base_typ(sess: &Session, ty: &Ty) -> TranslationResult> { [INFO] [stdout] | ^^ help: a type alias with a similar name exists: `Typ` [INFO] [stdout] | [INFO] [stdout] ::: src/rustspec.rs:157:1 [INFO] [stdout] | [INFO] [stdout] 157 | pub type Typ = (Spanned, Spanned); [INFO] [stdout] | ------------------------------------------------------ similarly named type alias `Typ` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:253:25 [INFO] [stdout] | [INFO] [stdout] 253 | fn translate_typ(sess: &Session, ty: &Ty) -> TranslationResult> { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Ty` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:253:39 [INFO] [stdout] | [INFO] [stdout] 253 | fn translate_typ(sess: &Session, ty: &Ty) -> TranslationResult> { [INFO] [stdout] | ^^ help: a type alias with a similar name exists: `Typ` [INFO] [stdout] | [INFO] [stdout] ::: src/rustspec.rs:157:1 [INFO] [stdout] | [INFO] [stdout] 157 | pub type Typ = (Spanned, Spanned); [INFO] [stdout] | ------------------------------------------------------ similarly named type alias `Typ` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:277:12 [INFO] [stdout] | [INFO] [stdout] 277 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Expr` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:279:9 [INFO] [stdout] | [INFO] [stdout] 279 | e: &Expr, [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:294:12 [INFO] [stdout] | [INFO] [stdout] 294 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Expr` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:296:9 [INFO] [stdout] | [INFO] [stdout] 296 | e: &Expr, [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:317:12 [INFO] [stdout] | [INFO] [stdout] 317 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Span` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:319:11 [INFO] [stdout] | [INFO] [stdout] 319 | span: Span, [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:392:12 [INFO] [stdout] | [INFO] [stdout] 392 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Expr` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:394:9 [INFO] [stdout] | [INFO] [stdout] 394 | e: &Expr, [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1088:29 [INFO] [stdout] | [INFO] [stdout] 1088 | fn translate_pattern(sess: &Session, pat: &Pat) -> TranslationResult> { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Pat` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1088:44 [INFO] [stdout] | [INFO] [stdout] 1088 | fn translate_pattern(sess: &Session, pat: &Pat) -> TranslationResult> { [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1110:12 [INFO] [stdout] | [INFO] [stdout] 1110 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Stmt` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1112:9 [INFO] [stdout] | [INFO] [stdout] 1112 | s: &Stmt, [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1177:12 [INFO] [stdout] | [INFO] [stdout] 1177 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1213:27 [INFO] [stdout] | [INFO] [stdout] 1213 | fn check_for_comma(sess: &Session, arg: &TokenTree) -> TranslationResult<()> { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TokenTree` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1213:42 [INFO] [stdout] | [INFO] [stdout] 1213 | fn check_for_comma(sess: &Session, arg: &TokenTree) -> TranslationResult<()> { [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1232:29 [INFO] [stdout] | [INFO] [stdout] 1232 | fn check_for_literal(sess: &Session, arg: &TokenTree) -> TranslationResult> { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TokenTree` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1232:44 [INFO] [stdout] | [INFO] [stdout] 1232 | fn check_for_literal(sess: &Session, arg: &TokenTree) -> TranslationResult> { [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1261:12 [INFO] [stdout] | [INFO] [stdout] 1261 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TokenTree` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1262:11 [INFO] [stdout] | [INFO] [stdout] 1262 | arg: &TokenTree, [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1291:27 [INFO] [stdout] | [INFO] [stdout] 1291 | fn check_for_colon(sess: &Session, arg: &TokenTree) -> TranslationResult<()> { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TokenTree` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1291:42 [INFO] [stdout] | [INFO] [stdout] 1291 | fn check_for_colon(sess: &Session, arg: &TokenTree) -> TranslationResult<()> { [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1310:27 [INFO] [stdout] | [INFO] [stdout] 1310 | fn check_for_usize(sess: &Session, arg: &TokenTree) -> TranslationResult> { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TokenTree` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1310:42 [INFO] [stdout] | [INFO] [stdout] 1310 | fn check_for_usize(sess: &Session, arg: &TokenTree) -> TranslationResult> { [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1354:27 [INFO] [stdout] | [INFO] [stdout] 1354 | fn check_for_ident(sess: &Session, arg: &TokenTree) -> TranslationResult<(Spanned, String)> { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TokenTree` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1354:42 [INFO] [stdout] | [INFO] [stdout] 1354 | fn check_for_ident(sess: &Session, arg: &TokenTree) -> TranslationResult<(Spanned, String)> { [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1374:12 [INFO] [stdout] | [INFO] [stdout] 1374 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MacCall` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1377:12 [INFO] [stdout] | [INFO] [stdout] 1377 | call: &MacCall, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1409:12 [INFO] [stdout] | [INFO] [stdout] 1409 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MacCall` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1412:12 [INFO] [stdout] | [INFO] [stdout] 1412 | call: &MacCall, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1525:12 [INFO] [stdout] | [INFO] [stdout] 1525 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MacCall` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1528:12 [INFO] [stdout] | [INFO] [stdout] 1528 | call: &MacCall, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Ty` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1555:34 [INFO] [stdout] | [INFO] [stdout] 1555 | ... &Ty { [INFO] [stdout] | ^^ help: a type alias with a similar name exists: `Typ` [INFO] [stdout] | [INFO] [stdout] ::: src/rustspec.rs:157:1 [INFO] [stdout] | [INFO] [stdout] 157 | pub type Typ = (Spanned, Spanned); [INFO] [stdout] | ------------------------------------------------------ similarly named type alias `Typ` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ast` [INFO] [stdout] --> src/ast_to_rustspec.rs:1560:46 [INFO] [stdout] | [INFO] [stdout] 1560 | ... ast::Path::from_ident(symbol::Ident { [INFO] [stdout] | ^^^^ not found in `ast` [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 1 | use crate::Path; [INFO] [stdout] | [INFO] [stdout] 1 | use std::path::Path; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Attribute` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1635:29 [INFO] [stdout] | [INFO] [stdout] 1635 | fn attribute_is_test(attr: &Attribute) -> bool { [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1643:12 [INFO] [stdout] | [INFO] [stdout] 1643 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `FnKind` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1654:17 [INFO] [stdout] | [INFO] [stdout] 1654 | let FnKind(defaultness, ref sig, ref generics, ref body) = fn_kind.as_ref(); [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0531]: cannot find tuple struct or tuple variant `TyAliasKind` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1840:17 [INFO] [stdout] | [INFO] [stdout] 1840 | let TyAliasKind(defaultness, generics, _, ty) = ty_alias_kind.as_ref(); [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1883:25 [INFO] [stdout] | [INFO] [stdout] 1883 | pub fn translate(sess: &Session, krate: &Crate) -> TranslationResult { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Crate` in this scope [INFO] [stdout] --> src/ast_to_rustspec.rs:1883:42 [INFO] [stdout] | [INFO] [stdout] 1883 | pub fn translate(sess: &Session, krate: &Crate) -> TranslationResult { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:36:11 [INFO] [stdout] | [INFO] [stdout] 36 | tcx: &TyCtxt, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:92:67 [INFO] [stdout] | [INFO] [stdout] 92 | ... Ok((BaseTyp::Seq(Box::new((param_typ, DUMMY_SP))), typ_ctx)) [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:98:75 [INFO] [stdout] | [INFO] [stdout] 98 | ... (Ident::Original(name.to_ident_string()), DUMMY_SP), [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:121:57 [INFO] [stdout] | [INFO] [stdout] 121 | ... (param_typ.clone(), DUMMY_SP), [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:122:49 [INFO] [stdout] | [INFO] [stdout] 122 | ... (param_typ, DUMMY_SP), [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:130:82 [INFO] [stdout] | [INFO] [stdout] 130 | BaseTyp::Named((Ident::Original(name.to_ident_string()), DUMMY_SP), None), [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:157:40 [INFO] [stdout] | [INFO] [stdout] 157 | new_args.push((new_ty, DUMMY_SP)); [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:167:11 [INFO] [stdout] | [INFO] [stdout] 167 | tcx: &TyCtxt, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:174:40 [INFO] [stdout] | [INFO] [stdout] 174 | Ok((((Borrowing::Borrowed, DUMMY_SP), (ty, DUMMY_SP)), typ_ctx)) [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:174:56 [INFO] [stdout] | [INFO] [stdout] 174 | Ok((((Borrowing::Borrowed, DUMMY_SP), (ty, DUMMY_SP)), typ_ctx)) [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:178:40 [INFO] [stdout] | [INFO] [stdout] 178 | Ok((((Borrowing::Consumed, DUMMY_SP), (ty, DUMMY_SP)), typ_ctx)) [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:178:56 [INFO] [stdout] | [INFO] [stdout] 178 | Ok((((Borrowing::Consumed, DUMMY_SP), (ty, DUMMY_SP)), typ_ctx)) [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:184:11 [INFO] [stdout] | [INFO] [stdout] 184 | tcx: &TyCtxt, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PolyFnSig` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:185:11 [INFO] [stdout] | [INFO] [stdout] 185 | sig: &PolyFnSig, [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:230:13 [INFO] [stdout] | [INFO] [stdout] 230 | _sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:231:11 [INFO] [stdout] | [INFO] [stdout] 231 | tcx: &TyCtxt, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:232:10 [INFO] [stdout] | [INFO] [stdout] 232 | id: &DefId, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `CrateNum` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:233:17 [INFO] [stdout] | [INFO] [stdout] 233 | krate_num: &CrateNum, [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:315:11 [INFO] [stdout] | [INFO] [stdout] 315 | tcx: &TyCtxt, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PolyFnSig` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:316:11 [INFO] [stdout] | [INFO] [stdout] 316 | sig: &PolyFnSig, [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:351:64 [INFO] [stdout] | [INFO] [stdout] 351 | ... (ArraySize::Integer(new_size), DUMMY_SP), [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:352:55 [INFO] [stdout] | [INFO] [stdout] 352 | ... Box::new((new_cell_t, DUMMY_SP)), [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:369:12 [INFO] [stdout] | [INFO] [stdout] 369 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:370:11 [INFO] [stdout] | [INFO] [stdout] 370 | tcx: &TyCtxt, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `LOCAL_CRATE` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:378:18 [INFO] [stdout] | [INFO] [stdout] 378 | krates.push(&LOCAL_CRATE); [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `CStore` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:382:58 [INFO] [stdout] | [INFO] [stdout] 368 | pub fn retrieve_external_functions( [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] ... [INFO] [stdout] 382 | let crate_store = tcx.cstore_as_any().downcast_ref::().unwrap(); [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:388:47 [INFO] [stdout] | [INFO] [stdout] 388 | imported_crates.push(("core".to_string(), DUMMY_SP)); [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:389:60 [INFO] [stdout] | [INFO] [stdout] 389 | imported_crates.push(("abstract_integers".to_string(), DUMMY_SP)); [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:390:58 [INFO] [stdout] | [INFO] [stdout] 390 | imported_crates.push(("secret_integers".to_string(), DUMMY_SP)); [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `LOCAL_CRATE` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:398:52 [INFO] [stdout] | [INFO] [stdout] 398 | == tcx.original_crate_name(LOCAL_CRATE).to_ident_string() [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `LOCAL_CRATE` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:404:30 [INFO] [stdout] | [INFO] [stdout] 404 | if *krate_num != LOCAL_CRATE { [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `DefId` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:406:69 [INFO] [stdout] | [INFO] [stdout] 406 | let def_ids = (0..num_def_ids).into_iter().map(|id| DefId { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `LOCAL_CRATE` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:474:32 [INFO] [stdout] | [INFO] [stdout] 474 | let items = &tcx.hir_crate(LOCAL_CRATE).items; [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `LOCAL_CRATE` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:482:18 [INFO] [stdout] | [INFO] [stdout] 482 | &LOCAL_CRATE, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `LOCAL_CRATE` in this scope [INFO] [stdout] --> src/hir_to_rustspec.rs:494:30 [INFO] [stdout] | [INFO] [stdout] 494 | ... &LOCAL_CRATE, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Span` in this scope [INFO] [stdout] --> src/rustspec.rs:9:27 [INFO] [stdout] | [INFO] [stdout] 9 | pub type Spanned = (T, Span); [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BinOpKind` in this scope [INFO] [stdout] --> src/rustspec.rs:188:17 [INFO] [stdout] | [INFO] [stdout] 179 | pub enum UnOpKind { [INFO] [stdout] | ----------------- similarly named enum `UnOpKind` defined here [INFO] [stdout] ... [INFO] [stdout] 188 | Spanned, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: an enum with a similar name exists [INFO] [stdout] | [INFO] [stdout] 188 | Spanned, [INFO] [stdout] | ~~~~~~~~ [INFO] [stdout] help: you might be missing a type parameter [INFO] [stdout] | [INFO] [stdout] 185 | pub enum Expression { [INFO] [stdout] | +++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BinOpKind` in this scope [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:385:9 [INFO] [stdout] | [INFO] [stdout] 385 | op: BinOpKind, [INFO] [stdout] | ^^^^^^^^^ help: an enum with a similar name exists: `UnOpKind` [INFO] [stdout] | [INFO] [stdout] ::: src/rustspec.rs:179:1 [INFO] [stdout] | [INFO] [stdout] 179 | pub enum UnOpKind { [INFO] [stdout] | ----------------- similarly named enum `UnOpKind` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/rustspec_to_easycrypt.rs:1134:43 [INFO] [stdout] | [INFO] [stdout] 1134 | pub fn translate_and_write_to_file(sess: &Session, p: &Program, file: &str, typ_dict: &TypeDict) { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BinOpKind` in this scope [INFO] [stdout] --> src/rustspec_to_fstar.rs:353:9 [INFO] [stdout] | [INFO] [stdout] 353 | op: BinOpKind, [INFO] [stdout] | ^^^^^^^^^ help: an enum with a similar name exists: `UnOpKind` [INFO] [stdout] | [INFO] [stdout] ::: src/rustspec.rs:179:1 [INFO] [stdout] | [INFO] [stdout] 179 | pub enum UnOpKind { [INFO] [stdout] | ----------------- similarly named enum `UnOpKind` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/rustspec_to_fstar.rs:1076:43 [INFO] [stdout] | [INFO] [stdout] 1076 | pub fn translate_and_write_to_file(sess: &Session, p: &Program, file: &str, typ_dict: &TypeDict) { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/typechecker.rs:129:12 [INFO] [stdout] | [INFO] [stdout] 129 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Span` in this scope [INFO] [stdout] --> src/typechecker.rs:132:12 [INFO] [stdout] | [INFO] [stdout] 132 | span: &Span, [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/typechecker.rs:260:12 [INFO] [stdout] | [INFO] [stdout] 260 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/typechecker.rs:417:12 [INFO] [stdout] | [INFO] [stdout] 417 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/typechecker.rs:539:12 [INFO] [stdout] | [INFO] [stdout] 539 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Span` in this scope [INFO] [stdout] --> src/typechecker.rs:543:12 [INFO] [stdout] | [INFO] [stdout] 543 | span: &Span, [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/typechecker.rs:627:12 [INFO] [stdout] | [INFO] [stdout] 627 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/typechecker.rs:699:12 [INFO] [stdout] | [INFO] [stdout] 699 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/typechecker.rs:1558:12 [INFO] [stdout] | [INFO] [stdout] 1558 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Span` in this scope [INFO] [stdout] --> src/typechecker.rs:1640:43 [INFO] [stdout] | [INFO] [stdout] 1640 | fn var_set_to_tuple(vars: &VarSet, span: &Span) -> Statement { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/typechecker.rs:1654:12 [INFO] [stdout] | [INFO] [stdout] 1654 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/typechecker.rs:2042:12 [INFO] [stdout] | [INFO] [stdout] 2042 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/typechecker.rs:2052:54 [INFO] [stdout] | [INFO] [stdout] 2052 | let mut return_typ = Some(((Borrowing::Consumed, DUMMY_SP), (BaseTyp::Unit, DUMMY_SP))); [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/typechecker.rs:2052:81 [INFO] [stdout] | [INFO] [stdout] 2052 | let mut return_typ = Some(((Borrowing::Consumed, DUMMY_SP), (BaseTyp::Unit, DUMMY_SP))); [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/typechecker.rs:2106:12 [INFO] [stdout] | [INFO] [stdout] 2106 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/typechecker.rs:2342:53 [INFO] [stdout] | [INFO] [stdout] 2342 | ... (String::new(), DUMMY_SP), // TODO: replace with real modulo value [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/typechecker.rs:2375:12 [INFO] [stdout] | [INFO] [stdout] 2375 | sess: &Session, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/typechecker.rs:2396:36 [INFO] [stdout] | [INFO] [stdout] 2396 | .map(|(k, v)| (k, ((v, DUMMY_SP), None))) [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/typechecker.rs:2407:47 [INFO] [stdout] | [INFO] [stdout] 2407 | (Borrowing::Consumed, DUMMY_SP), [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/typechecker.rs:2410:84 [INFO] [stdout] | [INFO] [stdout] 2410 | ... BaseTyp::Named((Ident::Original("U8".to_string()), DUMMY_SP), None), [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/typechecker.rs:2411:33 [INFO] [stdout] | [INFO] [stdout] 2411 | ... DUMMY_SP, [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/typechecker.rs:2413:29 [INFO] [stdout] | [INFO] [stdout] 2413 | ... DUMMY_SP, [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/typechecker.rs:2435:40 [INFO] [stdout] | [INFO] [stdout] 2435 | ((Borrowing::Consumed, DUMMY_SP), (array_typ, DUMMY_SP)), [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> src/typechecker.rs:2435:63 [INFO] [stdout] | [INFO] [stdout] 2435 | ((Borrowing::Consumed, DUMMY_SP), (array_typ, DUMMY_SP)), [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ErrorOutputType` in this scope [INFO] [stdout] --> src/main.rs:48:28 [INFO] [stdout] | [INFO] [stdout] 48 | const ERROR_OUTPUT_CONFIG: ErrorOutputType = [INFO] [stdout] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MultiSpan` in this scope [INFO] [stdout] --> src/main.rs:52:34 [INFO] [stdout] | [INFO] [stdout] 51 | trait HacspecErrorEmitter { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] 52 | fn span_rustspec_err>(&self, s: S, msg: &str); [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MultiSpan` in this scope [INFO] [stdout] --> src/main.rs:54:35 [INFO] [stdout] | [INFO] [stdout] 51 | trait HacspecErrorEmitter { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] ... [INFO] [stdout] 54 | fn span_rustspec_warn>(&self, s: S, msg: &str); [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Session` in this scope [INFO] [stdout] --> src/main.rs:57:30 [INFO] [stdout] | [INFO] [stdout] 57 | impl HacspecErrorEmitter for Session { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MultiSpan` in this scope [INFO] [stdout] --> src/main.rs:58:34 [INFO] [stdout] | [INFO] [stdout] 57 | impl HacspecErrorEmitter for Session { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] 58 | fn span_rustspec_err>(&self, s: S, msg: &str) { [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MultiSpan` in this scope [INFO] [stdout] --> src/main.rs:62:35 [INFO] [stdout] | [INFO] [stdout] 57 | impl HacspecErrorEmitter for Session { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] ... [INFO] [stdout] 62 | fn span_rustspec_warn>(&self, s: S, msg: &str) { [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0405]: cannot find trait `Callbacks` in this scope [INFO] [stdout] --> src/main.rs:67:6 [INFO] [stdout] | [INFO] [stdout] 67 | impl Callbacks for HacspecCallbacks { [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Config` in this scope [INFO] [stdout] --> src/main.rs:68:39 [INFO] [stdout] | [INFO] [stdout] 68 | fn config(&mut self, config: &mut Config) { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Compiler` in this scope [INFO] [stdout] --> src/main.rs:81:20 [INFO] [stdout] | [INFO] [stdout] 81 | compiler: &Compiler, [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 22 | use regex::internal::Compiler; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Queries` in this scope [INFO] [stdout] --> src/main.rs:82:24 [INFO] [stdout] | [INFO] [stdout] 82 | queries: &'tcx Queries<'tcx>, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Compilation` in this scope [INFO] [stdout] --> src/main.rs:83:10 [INFO] [stdout] | [INFO] [stdout] 83 | ) -> Compilation { [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel [INFO] [stdout] --> src/main.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(rustc_private)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 505 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0405, E0412, E0422, E0425, E0433, E0463, E0531, E0554. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0405`. [INFO] [stdout] [INFO] [stderr] error: could not compile `hacspec` due to 506 previous errors [INFO] running `Command { std: "docker" "inspect" "69cbec120802d2e7330f8fb2616498c135f6539a81a1a4e5567309f1db7dd8e6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "69cbec120802d2e7330f8fb2616498c135f6539a81a1a4e5567309f1db7dd8e6", kill_on_drop: false }` [INFO] [stdout] 69cbec120802d2e7330f8fb2616498c135f6539a81a1a4e5567309f1db7dd8e6