[INFO] fetching crate hacspec 0.2.0-beta.4...
[INFO] documenting hacspec-0.2.0-beta.4 against 1.61.0 for beta-1.62-rustdoc-1
[INFO] extracting crate hacspec 0.2.0-beta.4 into /workspace/builds/worker-8/source
[INFO] validating manifest of crates.io crate hacspec 0.2.0-beta.4 on toolchain 1.61.0
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.61.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] removed /workspace/builds/worker-8/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-8/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" "+1.61.0" "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] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded im v15.0.0
[INFO] [stderr]   Downloaded assert_cmd v1.0.3
[INFO] [stderr]   Downloaded predicates v1.0.7
[INFO] [stderr]   Downloaded hacspec-util v0.1.0-beta.1
[INFO] [stderr]   Downloaded sized-chunks v0.6.4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/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:d190cb871061d98bc6d0581d85cb2ecb09a0f8a142ba5463de30be9999fc3251" "/opt/rustwide/cargo-home/bin/cargo" "+1.61.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 7e764bf0480c880599cb1c6004a7913f8e27e8f6e9395782d515f73183df392e
[INFO] running `Command { std: "docker" "start" "-a" "7e764bf0480c880599cb1c6004a7913f8e27e8f6e9395782d515f73183df392e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7e764bf0480c880599cb1c6004a7913f8e27e8f6e9395782d515f73183df392e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7e764bf0480c880599cb1c6004a7913f8e27e8f6e9395782d515f73183df392e", kill_on_drop: false }`
[INFO] [stdout] 7e764bf0480c880599cb1c6004a7913f8e27e8f6e9395782d515f73183df392e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/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" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d190cb871061d98bc6d0581d85cb2ecb09a0f8a142ba5463de30be9999fc3251" "/opt/rustwide/cargo-home/bin/cargo" "+1.61.0" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ea89687b46154917dcf39253e0df16520630c64b8755da8f431e32ed1941c50d
[INFO] running `Command { std: "docker" "start" "-a" "ea89687b46154917dcf39253e0df16520630c64b8755da8f431e32ed1941c50d", 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 version_check v0.9.3
[INFO] [stderr]    Compiling serde_json v1.0.64
[INFO] [stderr]     Checking rand_core v0.5.1
[INFO] [stderr]     Checking same-file v1.0.6
[INFO] [stderr]     Checking itoa v0.4.7
[INFO] [stderr]     Checking unicode-segmentation v1.7.1
[INFO] [stderr]     Checking regex-syntax v0.6.23
[INFO] [stderr]     Checking either v1.6.1
[INFO] [stderr]     Checking typed-arena v2.0.1
[INFO] [stderr]     Checking arrayvec v0.5.2
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]     Checking rand_xoshiro v0.4.0
[INFO] [stderr]     Checking itertools v0.10.0
[INFO] [stderr]     Checking walkdir v2.3.1
[INFO] [stderr]     Checking pretty v0.10.0
[INFO] [stderr]     Checking heck v0.3.2
[INFO] [stderr]    Compiling im v15.0.0
[INFO] [stderr]     Checking aho-corasick v0.7.15
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]     Checking bitmaps v2.1.0
[INFO] [stderr]     Checking regex v1.4.5
[INFO] [stderr]     Checking sized-chunks v0.6.4
[INFO] [stderr]     Checking hacspec-util v0.1.0-beta.1
[INFO] [stderr]  Documenting 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<Ident> {
[INFO] [stdout]    |                        ^^^^^^ use of undeclared crate or module `symbol`
[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<String> {
[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<Ident> {
[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: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 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 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 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 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 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 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 `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[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<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: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<Ident> {
[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<Spanned<BaseTyp>> {
[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<Spanned<BaseTyp>> {
[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<Borrowing>, Spanned<BaseTyp>);
[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<Spanned<Typ>> {
[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<Spanned<Typ>> {
[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<Borrowing>, Spanned<BaseTyp>);
[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<Spanned<Pattern>> {
[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<Spanned<Pattern>> {
[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<Spanned<Expression>> {
[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<Spanned<Expression>> {
[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<Spanned<Expression>> {
[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<Spanned<Expression>> {
[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<Ident>, 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<Ident>, 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[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[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<Program> {
[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<Program> {
[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[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[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[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[E0412]: cannot find type `Span` in this scope
[INFO] [stdout]  --> src/rustspec.rs:9:27
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub type Spanned<T> = (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<BinOpKind>,
[INFO] [stdout]     |                 ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: an enum with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 188 |         Spanned<UnOpKind>,
[INFO] [stdout]     |                 ~~~~~~~~
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 185 | pub enum Expression<BinOpKind> {
[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[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[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[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: `<MultiSpan>`
[INFO] [stdout] 52 |     fn span_rustspec_err<S: Into<MultiSpan>>(&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: `<MultiSpan>`
[INFO] [stdout] ...
[INFO] [stdout] 54 |     fn span_rustspec_warn<S: Into<MultiSpan>>(&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: `<MultiSpan>`
[INFO] [stdout] 58 |     fn span_rustspec_err<S: Into<MultiSpan>>(&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: `<MultiSpan>`
[INFO] [stdout] ...
[INFO] [stdout] 62 |     fn span_rustspec_warn<S: Into<MultiSpan>>(&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 stable 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: Compilation failed, aborting rustdoc
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 115 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0405, E0412, E0433, E0463, E0554.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0405`.
[INFO] [stdout] 
[INFO] [stderr] error: could not document `hacspec`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustdoc --edition=2018 --crate-type bin --crate-name hacspec_driver src/main.rs -o /opt/rustwide/target/doc --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --document-private-items -C metadata=0ab6bd43429ab4c9 -L dependency=/opt/rustwide/target/debug/deps --extern hacspec_util=/opt/rustwide/target/debug/deps/libhacspec_util-c0b9d1cb7c004c98.rmeta --extern heck=/opt/rustwide/target/debug/deps/libheck-e4da0bcf25f2a4b2.rmeta --extern im=/opt/rustwide/target/debug/deps/libim-a8d9b4fd6fe6751c.rmeta --extern itertools=/opt/rustwide/target/debug/deps/libitertools-6afed964e725cfad.rmeta --extern lazy_static=/opt/rustwide/target/debug/deps/liblazy_static-1479f2b7adeaa2b6.rmeta --extern pretty=/opt/rustwide/target/debug/deps/libpretty-06a5c0162801728c.rmeta --extern regex=/opt/rustwide/target/debug/deps/libregex-16c53435a1f9b16e.rmeta --extern serde=/opt/rustwide/target/debug/deps/libserde-35861e23143c9656.rmeta --extern serde_json=/opt/rustwide/target/debug/deps/libserde_json-771409687baa1f0a.rmeta --extern walkdir=/opt/rustwide/target/debug/deps/libwalkdir-61e7bbb96e22c0fa.rmeta --cap-lints=warn --crate-version 0.2.0-beta.4` (exit status: 1)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "ea89687b46154917dcf39253e0df16520630c64b8755da8f431e32ed1941c50d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ea89687b46154917dcf39253e0df16520630c64b8755da8f431e32ed1941c50d", kill_on_drop: false }`
[INFO] [stdout] ea89687b46154917dcf39253e0df16520630c64b8755da8f431e32ed1941c50d