Build #1035227 2023-12-04T04:53:10.504374+00:00
# rustc version
rustc 1.76.0-nightly (9fad68599 2023-12-03)# docs.rs version
docsrs 0.6.0 (cd4e3294 2023-12-01)# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace-builder/builds/hax-cli-options-engine-0.1.0-pre.1/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace-builder/builds/hax-cli-options-engine-0.1.0-pre.1/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace-builder/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace-builder/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "6442450944" "--cpus" "6" "--user" "1001:1001" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "-Z" "unstable-options" "--config" "build.rustdocflags=[\"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20231203-1.76.0-nightly-9fad68599\", \"--static-root-path\", \"/-/rustdoc.static/\", \"--cap-lints\", \"warn\", \"--extern-html-root-takes-precedence\"]" "--offline" "-Zunstable-options" "--config=doc.extern-map.registries.crates-io=\"https://docs.rs/{pkg_name}/{version}/x86_64-unknown-linux-gnu\"" "-Zrustdoc-scrape-examples" "-j6" "--target" "x86_64-unknown-linux-gnu", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 75a233f0e8e80dc97ace408a690531f05508f10854e3d92f907e80a21883940b
[INFO] running `Command { std: "docker" "start" "-a" "75a233f0e8e80dc97ace408a690531f05508f10854e3d92f907e80a21883940b", kill_on_drop: false }`
[INFO] [stderr] warning: Target filter specified, but no targets matched. This is a no-op
[INFO] [stderr] Checking hax-frontend-exporter v0.1.0-pre.1
[INFO] [stderr] error[E0432]: unresolved import `rustc_middle::mir::interpret::ConstValue`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/constant_utils.rs:428:9
[INFO] [stderr] |
[INFO] [stderr] 428 | use rustc_middle::mir::interpret::ConstValue;
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `ConstValue` in `mir::interpret`
[INFO] [stderr] |
[INFO] [stderr] help: consider importing one of these items instead
[INFO] [stderr] |
[INFO] [stderr] 428 | use crate::prelude::rustc_middle::mir::ConstValue;
[INFO] [stderr] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] 428 | use rustc_middle::mir::ConstValue;
[INFO] [stderr] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]
[INFO] [stderr] error[E0432]: unresolved import `rustc_middle::mir::ConstantKind`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:195:13
[INFO] [stderr] |
[INFO] [stderr] 195 | use rustc_middle::mir::ConstantKind;
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no `ConstantKind` in `mir`
[INFO] [stderr]
[INFO] [stderr] error[E0432]: unresolved import `rustc_middle::mir::ConstantKind`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:221:29
[INFO] [stderr] |
[INFO] [stderr] 221 | use rustc_middle::mir::{ConstantKind, Operand};
[INFO] [stderr] | ^^^^^^^^^^^^ no `ConstantKind` in `mir`
[INFO] [stderr]
[INFO] [stderr] error[E0432]: unresolved import `rustc_middle::ty::subst`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:398:66
[INFO] [stderr] |
[INFO] [stderr] 398 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::subst::UserSelfTy<'tcx>, state: S as gstate)]
[INFO] [stderr] | ^^^^^ could not find `subst` in `ty`
[INFO] [stderr]
[INFO] [stderr] error[E0432]: unresolved import `rustc_middle::ty::subst`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:405:66
[INFO] [stderr] |
[INFO] [stderr] 405 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::subst::UserSubsts<'tcx>, state: S as gstate)]
[INFO] [stderr] | ^^^^^ could not find `subst` in `ty`
[INFO] [stderr]
[INFO] [stderr] error[E0432]: unresolved import `rustc_middle::ty::EarlyBoundRegion`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:521:5
[INFO] [stderr] |
[INFO] [stderr] 521 | AdtInto, Clone, Debug, Serialize, Deserialize, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord,
[INFO] [stderr] | ^^^^^^^ no `EarlyBoundRegion` in `ty`
[INFO] [stderr] |
[INFO] [stderr] = note: this error originates in the derive macro `AdtInto` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] help: a similar name exists in the module
[INFO] [stderr] |
[INFO] [stderr] 523 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::BoundRegion, state: S as gstate)]
[INFO] [stderr] | ~~~~~~~~~~~
[INFO] [stderr] help: consider importing this struct through its public re-export instead
[INFO] [stderr] |
[INFO] [stderr] 521 | crate::EarlyBoundRegion as FROM_TYPE, Clone, Debug, Serialize, Deserialize, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord,
[INFO] [stderr] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]
[INFO] [stderr] error[E0432]: unresolved import `rustc_middle::ty::FreeRegion`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:531:5
[INFO] [stderr] |
[INFO] [stderr] 531 | AdtInto, Clone, Debug, Serialize, Deserialize, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord,
[INFO] [stderr] | ^^^^^^^ no `FreeRegion` in `ty`
[INFO] [stderr] |
[INFO] [stderr] = note: this error originates in the derive macro `AdtInto` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] help: consider importing one of these items instead
[INFO] [stderr] |
[INFO] [stderr] 531 | crate::FreeRegion as FROM_TYPE, Clone, Debug, Serialize, Deserialize, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord,
[INFO] [stderr] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] 531 | crate::prelude::rustc_trait_selection::infer::NllRegionVariableOrigin::FreeRegion as FROM_TYPE, Clone, Debug, Serialize, Deserialize, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord,
[INFO] [stderr] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] 531 | rustc_infer::infer::NllRegionVariableOrigin::FreeRegion as FROM_TYPE, Clone, Debug, Serialize, Deserialize, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord,
[INFO] [stderr] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] 531 | rustc_trait_selection::infer::NllRegionVariableOrigin::FreeRegion as FROM_TYPE, Clone, Debug, Serialize, Deserialize, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord,
[INFO] [stderr] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]
[INFO] [stderr] error[E0432]: unresolved import `rustc_middle::ty::subst`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:581:66
[INFO] [stderr] |
[INFO] [stderr] 581 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::subst::GenericArgKind<'tcx>, state: S as s)]
[INFO] [stderr] | ^^^^^ could not find `subst` in `ty`
[INFO] [stderr]
[INFO] [stderr] error[E0432]: unresolved import `rustc_ast::ast::MacDelimiter`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:934:10
[INFO] [stderr] |
[INFO] [stderr] 934 | #[derive(AdtInto)]
[INFO] [stderr] | ^^^^^^^ no `MacDelimiter` in `ast`
[INFO] [stderr] |
[INFO] [stderr] = note: this error originates in the derive macro `AdtInto` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] help: a similar name exists in the module
[INFO] [stderr] |
[INFO] [stderr] 935 | #[args(<S>, from: rustc_ast::ast::Delimiter, state: S as _s)]
[INFO] [stderr] | ~~~~~~~~~
[INFO] [stderr] help: consider importing this enum through its public re-export instead
[INFO] [stderr] |
[INFO] [stderr] 934 | #[derive(crate::MacDelimiter as FROM_TYPE)]
[INFO] [stderr] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]
[INFO] [stderr] error[E0432]: unresolved import `rustc_type_ir::sty`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1421:34
[INFO] [stderr] |
[INFO] [stderr] 1421 | #[args(<S>, from: rustc_type_ir::sty::AliasKind, state: S as _s)]
[INFO] [stderr] | ^^^ could not find `sty` in `rustc_type_ir`
[INFO] [stderr]
[INFO] [stderr] error[E0432]: unresolved import `rustc_middle::ty::adjustment::PointerCast`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1728:10
[INFO] [stderr] |
[INFO] [stderr] 1728 | #[derive(AdtInto)]
[INFO] [stderr] | ^^^^^^^ no `PointerCast` in `ty::adjustment`
[INFO] [stderr] |
[INFO] [stderr] = note: this error originates in the derive macro `AdtInto` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] help: consider importing this enum through its public re-export instead
[INFO] [stderr] |
[INFO] [stderr] 1728 | #[derive(crate::PointerCast as FROM_TYPE)]
[INFO] [stderr] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]
[INFO] [stderr] error[E0432]: unresolved import `rustc_middle::mir::Constant`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:110:10
[INFO] [stderr] |
[INFO] [stderr] 110 | #[derive(AdtInto, Clone, Debug, Serialize, Deserialize, JsonSchema)]
[INFO] [stderr] | ^^^^^^^ no `Constant` in `mir`
[INFO] [stderr] |
[INFO] [stderr] = note: this error originates in the derive macro `AdtInto` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] help: consider importing one of these items instead
[INFO] [stderr] |
[INFO] [stderr] 110 | #[derive(crate::Constant as FROM_TYPE, Clone, Debug, Serialize, Deserialize, JsonSchema)]
[INFO] [stderr] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] 110 | #[derive(crate::Operand::Constant as FROM_TYPE, Clone, Debug, Serialize, Deserialize, JsonSchema)]
[INFO] [stderr] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] 110 | #[derive(crate::PatKind::Constant as FROM_TYPE, Clone, Debug, Serialize, Deserialize, JsonSchema)]
[INFO] [stderr] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] 110 | #[derive(crate::prelude::rustc_middle::mir::Operand::Constant as FROM_TYPE, Clone, Debug, Serialize, Deserialize, JsonSchema)]
[INFO] [stderr] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] and 3 other candidates
[INFO] [stderr]
[INFO] [stderr] error[E0433]: failed to resolve: could not find `ConstantKind` in `mir`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/constant_utils.rs:383:37
[INFO] [stderr] |
[INFO] [stderr] 383 | let cvalue = rustc_middle::mir::ConstantKind::Val(val, ty);
[INFO] [stderr] | ^^^^^^^^^^^^ could not find `ConstantKind` in `mir`
[INFO] [stderr]
[INFO] [stderr] error[E0433]: failed to resolve: could not find `subst` in `ty`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/rustc_utils.rs:6:57
[INFO] [stderr] |
[INFO] [stderr] 6 | fn subst(self, tcx: ty::TyCtxt<'tcx>, substs: &[ty::subst::GenericArg<'tcx>]) -> T {
[INFO] [stderr] | ^^^^^ could not find `subst` in `ty`
[INFO] [stderr]
[INFO] [stderr] error[E0433]: failed to resolve: could not find `subst` in `ty`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:398:66
[INFO] [stderr] |
[INFO] [stderr] 398 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::subst::UserSelfTy<'tcx>, state: S as gstate)]
[INFO] [stderr] | ^^^^^ could not find `subst` in `ty`
[INFO] [stderr]
[INFO] [stderr] error[E0433]: failed to resolve: could not find `subst` in `ty`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:405:66
[INFO] [stderr] |
[INFO] [stderr] 405 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::subst::UserSubsts<'tcx>, state: S as gstate)]
[INFO] [stderr] | ^^^^^ could not find `subst` in `ty`
[INFO] [stderr]
[INFO] [stderr] error[E0433]: failed to resolve: could not find `subst` in `ty`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:483:44
[INFO] [stderr] |
[INFO] [stderr] 483 | let substs = rustc_middle::ty::subst::InternalSubsts::identity_for_item(tcx, self.did);
[INFO] [stderr] | ^^^^^ could not find `subst` in `ty`
[INFO] [stderr]
[INFO] [stderr] error[E0433]: failed to resolve: could not find `subst` in `ty`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:581:66
[INFO] [stderr] |
[INFO] [stderr] 581 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::subst::GenericArgKind<'tcx>, state: S as s)]
[INFO] [stderr] | ^^^^^ could not find `subst` in `ty`
[INFO] [stderr]
[INFO] [stderr] error[E0433]: failed to resolve: could not find `subst` in `ty`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:595:27
[INFO] [stderr] |
[INFO] [stderr] 595 | for rustc_middle::ty::subst::SubstsRef<'tcx>
[INFO] [stderr] | ^^^^^ could not find `subst` in `ty`
[INFO] [stderr]
[INFO] [stderr] error[E0408]: variable `ImplTraitPlaceholder` is not bound in all patterns
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:895:13
[INFO] [stderr] |
[INFO] [stderr] 895 | AssocTy | AssocConst | ImplTraitPlaceholder
[INFO] [stderr] | ^^^^^^^ ^^^^^^^^^^ -------------------- variable not in all patterns
[INFO] [stderr] | | |
[INFO] [stderr] | | pattern doesn't bind `ImplTraitPlaceholder`
[INFO] [stderr] | pattern doesn't bind `ImplTraitPlaceholder`
[INFO] [stderr] |
[INFO] [stderr] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::ImplTraitPlaceholder`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:895:36
[INFO] [stderr] |
[INFO] [stderr] 895 | AssocTy | AssocConst | ImplTraitPlaceholder
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] error[E0433]: failed to resolve: could not find `sty` in `rustc_type_ir`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1421:34
[INFO] [stderr] |
[INFO] [stderr] 1421 | #[args(<S>, from: rustc_type_ir::sty::AliasKind, state: S as _s)]
[INFO] [stderr] | ^^^ could not find `sty` in `rustc_type_ir`
[INFO] [stderr]
[INFO] [stderr] error[E0433]: failed to resolve: could not find `subst` in `ty`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:2431:41
[INFO] [stderr] |
[INFO] [stderr] 2431 | > SInto<S, D> for rustc_middle::ty::subst::EarlyBinder<T>
[INFO] [stderr] | ^^^^^ could not find `subst` in `ty`
[INFO] [stderr]
[INFO] [stderr] error[E0425]: cannot find value `FIRST_VARIANT` in crate `rustc_abi`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/constant_utils.rs:199:63
[INFO] [stderr] |
[INFO] [stderr] 199 | info: get_variant_information(def, rustc_abi::FIRST_VARIANT, s),
[INFO] [stderr] | ^^^^^^^^^^^^^ not found in `rustc_abi`
[INFO] [stderr] |
[INFO] [stderr] help: consider importing one of these items
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::prelude::rustc_target::abi::FIRST_VARIANT;
[INFO] [stderr] |
[INFO] [stderr] 1 + use rustc_target::abi::FIRST_VARIANT;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `FIRST_VARIANT`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 199 - info: get_variant_information(def, rustc_abi::FIRST_VARIANT, s),
[INFO] [stderr] 199 + info: get_variant_information(def, FIRST_VARIANT, s),
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `ConstantKind` in module `rustc_middle::mir`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/constant_utils.rs:270:53
[INFO] [stderr] |
[INFO] [stderr] 270 | impl<'tcx> ConstantExt<'tcx> for rustc_middle::mir::ConstantKind<'tcx> {
[INFO] [stderr] | ^^^^^^^^^^^^ not found in `rustc_middle::mir`
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `ConstValue` in module `rustc_middle::mir::interpret`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/constant_utils.rs:371:40
[INFO] [stderr] |
[INFO] [stderr] 371 | val: rustc_middle::mir::interpret::ConstValue<'tcx>,
[INFO] [stderr] | ^^^^^^^^^^ not found in `rustc_middle::mir::interpret`
[INFO] [stderr] |
[INFO] [stderr] help: consider importing one of these items
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::prelude::rustc_middle::mir::ConstValue;
[INFO] [stderr] |
[INFO] [stderr] 1 + use rustc_middle::mir::ConstValue;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `ConstValue`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 371 - val: rustc_middle::mir::interpret::ConstValue<'tcx>,
[INFO] [stderr] 371 + val: ConstValue<'tcx>,
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `ConstValue` in module `interpret`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/constant_utils.rs:406:41
[INFO] [stderr] |
[INFO] [stderr] 406 | let fields: Vec<(ty::Ty, interpret::ConstValue)> = dc
[INFO] [stderr] | ^^^^^^^^^^ not found in `interpret`
[INFO] [stderr] |
[INFO] [stderr] help: consider importing one of these items
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::prelude::rustc_middle::mir::ConstValue;
[INFO] [stderr] |
[INFO] [stderr] 1 + use rustc_middle::mir::ConstValue;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `ConstValue`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 406 - let fields: Vec<(ty::Ty, interpret::ConstValue)> = dc
[INFO] [stderr] 406 + let fields: Vec<(ty::Ty, ConstValue)> = dc
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `ConstValue` in module `rustc_middle::mir::interpret`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/constant_utils.rs:425:40
[INFO] [stderr] |
[INFO] [stderr] 425 | val: rustc_middle::mir::interpret::ConstValue<'tcx>,
[INFO] [stderr] | ^^^^^^^^^^ not found in `rustc_middle::mir::interpret`
[INFO] [stderr] |
[INFO] [stderr] help: consider importing one of these items
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::prelude::rustc_middle::mir::ConstValue;
[INFO] [stderr] |
[INFO] [stderr] 1 + use rustc_middle::mir::ConstValue;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `ConstValue`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 425 - val: rustc_middle::mir::interpret::ConstValue<'tcx>,
[INFO] [stderr] 425 + val: ConstValue<'tcx>,
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `SubstsRef` in module `ty`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/rustc_utils.rs:49:17
[INFO] [stderr] |
[INFO] [stderr] 49 | substs: ty::SubstsRef<'tcx>,
[INFO] [stderr] | ^^^^^^^^^ not found in `ty`
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `VariantIdx` in crate `rustc_abi`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/rustc_utils.rs:64:31
[INFO] [stderr] |
[INFO] [stderr] 64 | variant_index: rustc_abi::VariantIdx,
[INFO] [stderr] | ^^^^^^^^^^
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_abi/src/lib.rs:1365:1
[INFO] [stderr] |
[INFO] [stderr] = note: similarly named enum `Variants` defined here
[INFO] [stderr] |
[INFO] [stderr] help: an enum with a similar name exists
[INFO] [stderr] |
[INFO] [stderr] 64 | variant_index: rustc_abi::Variants,
[INFO] [stderr] | ~~~~~~~~
[INFO] [stderr] help: consider importing one of these items
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::VariantIdx;
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::prelude::rustc_target::abi::VariantIdx;
[INFO] [stderr] |
[INFO] [stderr] 1 + use rustc_target::abi::VariantIdx;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `VariantIdx`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 64 - variant_index: rustc_abi::VariantIdx,
[INFO] [stderr] 64 + variant_index: VariantIdx,
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `ConstantKind` in module `rustc_middle::mir`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:192:28
[INFO] [stderr] |
[INFO] [stderr] 192 | for rustc_middle::mir::ConstantKind<'tcx>
[INFO] [stderr] | ^^^^^^^^^^^^ not found in `rustc_middle::mir`
[INFO] [stderr]
[INFO] [stderr] error[E0532]: expected tuple struct or tuple variant, found unit variant `rustc_middle::ty::BoundRegionKind::BrAnon`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:327:48
[INFO] [stderr] |
[INFO] [stderr] 327 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::BoundRegionKind, state: S as gstate)]
[INFO] [stderr] | ________________________________________________^
[INFO] [stderr] 328 | | pub enum BoundRegionKind {
[INFO] [stderr] 329 | | BrAnon(Option<Span>),
[INFO] [stderr] | |________________________^
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_middle/src/ty/sty.rs:76:5
[INFO] [stderr] |
[INFO] [stderr] = note: `rustc_middle::ty::BoundRegionKind::BrAnon` defined here
[INFO] [stderr] |
[INFO] [stderr] help: use this syntax instead
[INFO] [stderr] |
[INFO] [stderr] 327 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::BoundRegionKind::BrAnon,
[INFO] [stderr] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] help: consider importing this tuple variant instead
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::BoundRegionKind::BrAnon;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `BrAnon`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 327 - #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::BoundRegionKind, state: S as gstate)]
[INFO] [stderr] 328 - pub enum BoundRegionKind {
[INFO] [stderr] 329 - BrAnon(Option<Span>),
[INFO] [stderr] 327 + #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: BrAnon(Option<Span>),
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `EarlyBoundRegion` in module `rustc_middle::ty`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:523:66
[INFO] [stderr] |
[INFO] [stderr] 523 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::EarlyBoundRegion, state: S as gstate)]
[INFO] [stderr] | ^^^^^^^^^^^^^^^^
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_middle/src/ty/sty.rs:91:1
[INFO] [stderr] |
[INFO] [stderr] = note: similarly named struct `BoundRegion` defined here
[INFO] [stderr] |
[INFO] [stderr] help: a struct with a similar name exists
[INFO] [stderr] |
[INFO] [stderr] 523 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::BoundRegion, state: S as gstate)]
[INFO] [stderr] | ~~~~~~~~~~~
[INFO] [stderr] help: consider importing this struct through its public re-export
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::EarlyBoundRegion;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `EarlyBoundRegion`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 523 - #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::EarlyBoundRegion, state: S as gstate)]
[INFO] [stderr] 523 + #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: EarlyBoundRegion, state: S as gstate)]
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0422]: cannot find struct, variant or union type `EarlyBoundRegion` in module `rustc_middle::ty`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:523:66
[INFO] [stderr] |
[INFO] [stderr] 523 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::EarlyBoundRegion, state: S as gstate)]
[INFO] [stderr] | ^^^^^^^^^^^^^^^^
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_middle/src/ty/sty.rs:91:1
[INFO] [stderr] |
[INFO] [stderr] = note: similarly named struct `BoundRegion` defined here
[INFO] [stderr] |
[INFO] [stderr] help: a struct with a similar name exists
[INFO] [stderr] |
[INFO] [stderr] 523 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::BoundRegion, state: S as gstate)]
[INFO] [stderr] | ~~~~~~~~~~~
[INFO] [stderr] help: consider importing this struct through its public re-export
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::EarlyBoundRegion;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `EarlyBoundRegion`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 523 - #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::EarlyBoundRegion, state: S as gstate)]
[INFO] [stderr] 523 + #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: EarlyBoundRegion, state: S as gstate)]
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `FreeRegion` in module `rustc_middle::ty`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:533:66
[INFO] [stderr] |
[INFO] [stderr] 533 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::FreeRegion, state: S as gstate)]
[INFO] [stderr] | ^^^^^^^^^^ not found in `rustc_middle::ty`
[INFO] [stderr] |
[INFO] [stderr] help: consider importing this struct through its public re-export
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::FreeRegion;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `FreeRegion`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 533 - #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::FreeRegion, state: S as gstate)]
[INFO] [stderr] 533 + #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: FreeRegion, state: S as gstate)]
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0422]: cannot find struct, variant or union type `FreeRegion` in module `rustc_middle::ty`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:533:66
[INFO] [stderr] |
[INFO] [stderr] 533 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::FreeRegion, state: S as gstate)]
[INFO] [stderr] | ^^^^^^^^^^ not found in `rustc_middle::ty`
[INFO] [stderr] |
[INFO] [stderr] help: consider importing one of these items
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::FreeRegion;
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::prelude::rustc_trait_selection::infer::NllRegionVariableOrigin::FreeRegion;
[INFO] [stderr] |
[INFO] [stderr] 1 + use rustc_infer::infer::NllRegionVariableOrigin::FreeRegion;
[INFO] [stderr] |
[INFO] [stderr] 1 + use rustc_trait_selection::infer::NllRegionVariableOrigin::FreeRegion;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `FreeRegion`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 533 - #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::FreeRegion, state: S as gstate)]
[INFO] [stderr] 533 + #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: FreeRegion, state: S as gstate)]
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0433]: failed to resolve: could not find `subst` in `ty`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:581:66
[INFO] [stderr] |
[INFO] [stderr] 581 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::subst::GenericArgKind<'tcx>, state: S as s)]
[INFO] [stderr] | ^^^^^ could not find `subst` in `ty`
[INFO] [stderr] |
[INFO] [stderr] help: consider importing one of these items
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::prelude::rustc_middle::ty::GenericArgKind;
[INFO] [stderr] |
[INFO] [stderr] 1 + use rustc_middle::ty::GenericArgKind;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `GenericArgKind`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 581 - #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::subst::GenericArgKind<'tcx>, state: S as s)]
[INFO] [stderr] 581 + #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: GenericArgKind<'tcx>, state: S as s)]
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `MacDelimiter` in module `rustc_ast::ast`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:935:35
[INFO] [stderr] |
[INFO] [stderr] 935 | #[args(<S>, from: rustc_ast::ast::MacDelimiter, state: S as _s)]
[INFO] [stderr] | ^^^^^^^^^^^^
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_ast/src/token.rs:46:1
[INFO] [stderr] |
[INFO] [stderr] = note: similarly named enum `Delimiter` defined here
[INFO] [stderr] |
[INFO] [stderr] help: an enum with a similar name exists
[INFO] [stderr] |
[INFO] [stderr] 935 | #[args(<S>, from: rustc_ast::ast::Delimiter, state: S as _s)]
[INFO] [stderr] | ~~~~~~~~~
[INFO] [stderr] help: consider importing this enum through its public re-export
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::MacDelimiter;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `MacDelimiter`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 935 - #[args(<S>, from: rustc_ast::ast::MacDelimiter, state: S as _s)]
[INFO] [stderr] 935 + #[args(<S>, from: MacDelimiter, state: S as _s)]
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0433]: failed to resolve: could not find `MacDelimiter` in `ast`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:935:35
[INFO] [stderr] |
[INFO] [stderr] 935 | #[args(<S>, from: rustc_ast::ast::MacDelimiter, state: S as _s)]
[INFO] [stderr] | ^^^^^^^^^^^^ could not find `MacDelimiter` in `ast`
[INFO] [stderr] |
[INFO] [stderr] help: an enum with a similar name exists
[INFO] [stderr] |
[INFO] [stderr] 935 | #[args(<S>, from: rustc_ast::ast::Delimiter, state: S as _s)]
[INFO] [stderr] | ~~~~~~~~~
[INFO] [stderr] help: consider importing this enum through its public re-export
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::MacDelimiter;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `MacDelimiter`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 935 - #[args(<S>, from: rustc_ast::ast::MacDelimiter, state: S as _s)]
[INFO] [stderr] 935 + #[args(<S>, from: MacDelimiter, state: S as _s)]
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0425]: cannot find value `FIRST_VARIANT` in crate `rustc_abi`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1136:79
[INFO] [stderr] |
[INFO] [stderr] 1136 | ... info: get_variant_information(def, rustc_abi::FIRST_VARIANT, s),
[INFO] [stderr] | ^^^^^^^^^^^^^ not found in `rustc_abi`
[INFO] [stderr] |
[INFO] [stderr] help: consider importing one of these items
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::prelude::rustc_target::abi::FIRST_VARIANT;
[INFO] [stderr] |
[INFO] [stderr] 1 + use rustc_target::abi::FIRST_VARIANT;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `FIRST_VARIANT`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 1136 - info: get_variant_information(def, rustc_abi::FIRST_VARIANT, s),
[INFO] [stderr] 1136 + info: get_variant_information(def, FIRST_VARIANT, s),
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0433]: failed to resolve: could not find `sty` in `rustc_type_ir`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1421:34
[INFO] [stderr] |
[INFO] [stderr] 1421 | #[args(<S>, from: rustc_type_ir::sty::AliasKind, state: S as _s)]
[INFO] [stderr] | ^^^ could not find `sty` in `rustc_type_ir`
[INFO] [stderr] |
[INFO] [stderr] help: consider importing one of these items
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::AliasKind;
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::prelude::rustc_type_ir::AliasKind;
[INFO] [stderr] |
[INFO] [stderr] 1 + use rustc_middle::ty::AliasKind;
[INFO] [stderr] |
[INFO] [stderr] 1 + use rustc_type_ir::AliasKind;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `AliasKind`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 1421 - #[args(<S>, from: rustc_type_ir::sty::AliasKind, state: S as _s)]
[INFO] [stderr] 1421 + #[args(<S>, from: AliasKind, state: S as _s)]
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `PointerCast` in module `rustc_middle::ty::adjustment`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1729:49
[INFO] [stderr] |
[INFO] [stderr] 1729 | #[args(<S>, from: rustc_middle::ty::adjustment::PointerCast, state: S as gstate)]
[INFO] [stderr] | ^^^^^^^^^^^ not found in `rustc_middle::ty::adjustment`
[INFO] [stderr] |
[INFO] [stderr] help: consider importing this enum through its public re-export
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::PointerCast;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `PointerCast`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 1729 - #[args(<S>, from: rustc_middle::ty::adjustment::PointerCast, state: S as gstate)]
[INFO] [stderr] 1729 + #[args(<S>, from: PointerCast, state: S as gstate)]
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0433]: failed to resolve: could not find `PointerCast` in `adjustment`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1729:49
[INFO] [stderr] |
[INFO] [stderr] 1729 | #[args(<S>, from: rustc_middle::ty::adjustment::PointerCast, state: S as gstate)]
[INFO] [stderr] | ^^^^^^^^^^^ could not find `PointerCast` in `adjustment`
[INFO] [stderr] |
[INFO] [stderr] help: consider importing this enum through its public re-export
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::PointerCast;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `PointerCast`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 1729 - #[args(<S>, from: rustc_middle::ty::adjustment::PointerCast, state: S as gstate)]
[INFO] [stderr] 1729 + #[args(<S>, from: PointerCast, state: S as gstate)]
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0532]: expected unit struct, unit variant or constant, found tuple variant `rustc_hir::IsAsync::Async`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:2457:19
[INFO] [stderr] |
[INFO] [stderr] 2457 | #[args(<S>, from: rustc_hir::IsAsync, state: S as _s)]
[INFO] [stderr] | ___________________^
[INFO] [stderr] 2458 | | #[derive(Clone, Debug, Serialize, Deserialize, JsonSchema)]
[INFO] [stderr] 2459 | | pub enum IsAsync {
[INFO] [stderr] 2460 | | Async,
[INFO] [stderr] | |_________^
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_hir/src/hir.rs:2665:5
[INFO] [stderr] |
[INFO] [stderr] = note: `rustc_hir::IsAsync::Async` defined here
[INFO] [stderr] |
[INFO] [stderr] help: use the tuple variant pattern syntax instead
[INFO] [stderr] |
[INFO] [stderr] 2457 | #[args(<S>, from: rustc_hir::IsAsync::Async(_),
[INFO] [stderr] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] help: consider importing one of these items instead
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::DesugaringKind::Async;
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::IsAsync::Async;
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::prelude::rustc_ast::GenBlockKind::Async;
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::prelude::rustc_span::DesugaringKind::Async;
[INFO] [stderr] |
[INFO] [stderr] and 4 other candidates
[INFO] [stderr] help: if you import `Async`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 2457 - #[args(<S>, from: rustc_hir::IsAsync, state: S as _s)]
[INFO] [stderr] 2458 - #[derive(Clone, Debug, Serialize, Deserialize, JsonSchema)]
[INFO] [stderr] 2459 - pub enum IsAsync {
[INFO] [stderr] 2460 - Async,
[INFO] [stderr] 2457 + #[args(<S>, from: Async,
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `Constant` in module `rustc_middle::mir`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:111:67
[INFO] [stderr] |
[INFO] [stderr] 111 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::mir::Constant<'tcx>, state: S as s)]
[INFO] [stderr] | ^^^^^^^^ not found in `rustc_middle::mir`
[INFO] [stderr] |
[INFO] [stderr] help: consider importing this struct through its public re-export
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::Constant;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `Constant`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 111 - #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::mir::Constant<'tcx>, state: S as s)]
[INFO] [stderr] 111 + #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: Constant<'tcx>, state: S as s)]
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0422]: cannot find struct, variant or union type `Constant` in module `rustc_middle::mir`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:111:67
[INFO] [stderr] |
[INFO] [stderr] 111 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::mir::Constant<'tcx>, state: S as s)]
[INFO] [stderr] | ^^^^^^^^ not found in `rustc_middle::mir`
[INFO] [stderr] |
[INFO] [stderr] help: consider importing one of these items
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::Constant;
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::Operand::Constant;
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::PatKind::Constant;
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::prelude::rustc_middle::mir::Operand::Constant;
[INFO] [stderr] |
[INFO] [stderr] and 3 other candidates
[INFO] [stderr] help: if you import `Constant`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 111 - #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::mir::Constant<'tcx>, state: S as s)]
[INFO] [stderr] 111 + #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: Constant<'tcx>, state: S as s)]
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `FieldIdx` in crate `rustc_abi`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:500:48
[INFO] [stderr] |
[INFO] [stderr] 500 | let mk_field = |index: &rustc_abi::FieldIdx,
[INFO] [stderr] | ^^^^^^^^ not found in `rustc_abi`
[INFO] [stderr] |
[INFO] [stderr] help: consider importing one of these items
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::FieldIdx;
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::prelude::rustc_target::abi::FieldIdx;
[INFO] [stderr] |
[INFO] [stderr] 1 + use rustc_target::abi::FieldIdx;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `FieldIdx`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 500 - let mk_field = |index: &rustc_abi::FieldIdx,
[INFO] [stderr] 500 + let mk_field = |index: &FieldIdx,
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `VariantIdx` in crate `rustc_abi`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:501:60
[INFO] [stderr] |
[INFO] [stderr] 501 | ... variant_idx: Option<rustc_abi::VariantIdx>| {
[INFO] [stderr] | ^^^^^^^^^^
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_abi/src/lib.rs:1365:1
[INFO] [stderr] |
[INFO] [stderr] = note: similarly named enum `Variants` defined here
[INFO] [stderr] |
[INFO] [stderr] help: an enum with a similar name exists
[INFO] [stderr] |
[INFO] [stderr] 501 | variant_idx: Option<rustc_abi::Variants>| {
[INFO] [stderr] | ~~~~~~~~
[INFO] [stderr] help: consider importing one of these items
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::VariantIdx;
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::prelude::rustc_target::abi::VariantIdx;
[INFO] [stderr] |
[INFO] [stderr] 1 + use rustc_target::abi::VariantIdx;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `VariantIdx`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 501 - variant_idx: Option<rustc_abi::VariantIdx>| {
[INFO] [stderr] 501 + variant_idx: Option<VariantIdx>| {
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0425]: cannot find value `FIRST_VARIANT` in crate `rustc_abi`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:505:73
[INFO] [stderr] |
[INFO] [stderr] 505 | ... get_variant_information(adt_def, rustc_abi::FIRST_VARIANT, s);
[INFO] [stderr] | ^^^^^^^^^^^^^ not found in `rustc_abi`
[INFO] [stderr] |
[INFO] [stderr] help: consider importing one of these items
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::prelude::rustc_target::abi::FIRST_VARIANT;
[INFO] [stderr] |
[INFO] [stderr] 1 + use rustc_target::abi::FIRST_VARIANT;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `FIRST_VARIANT`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 505 - get_variant_information(adt_def, rustc_abi::FIRST_VARIANT, s);
[INFO] [stderr] 505 + get_variant_information(adt_def, FIRST_VARIANT, s);
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `FieldIdx` in crate `rustc_abi`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:699:30
[INFO] [stderr] |
[INFO] [stderr] 699 | make_idx_wrapper!(rustc_abi, FieldIdx);
[INFO] [stderr] | ^^^^^^^^ not found in `rustc_abi`
[INFO] [stderr] |
[INFO] [stderr] help: consider importing one of these items
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::FieldIdx;
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::prelude::rustc_target::abi::FieldIdx;
[INFO] [stderr] |
[INFO] [stderr] 1 + use rustc_target::abi::FieldIdx;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `FieldIdx`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 699 - make_idx_wrapper!(rustc_abi, FieldIdx);
[INFO] [stderr] 699 + make_idx_wrapper!(FieldIdx);
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `GeneratorInfo` in module `rustc_middle::mir`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:715:32
[INFO] [stderr] |
[INFO] [stderr] 715 | sinto_todo!(rustc_middle::mir, GeneratorInfo<'tcx>);
[INFO] [stderr] | ^^^^^^^^^^^^^ not found in `rustc_middle::mir`
[INFO] [stderr] |
[INFO] [stderr] help: consider importing this enum through its public re-export
[INFO] [stderr] |
[INFO] [stderr] 1 + use crate::GeneratorInfo;
[INFO] [stderr] |
[INFO] [stderr] help: if you import `GeneratorInfo`, refer to it directly
[INFO] [stderr] |
[INFO] [stderr] 715 - sinto_todo!(rustc_middle::mir, GeneratorInfo<'tcx>);
[INFO] [stderr] 715 + sinto_todo!(GeneratorInfo<'tcx>);
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0107]: enum takes 0 lifetime arguments but 1 lifetime argument was supplied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:387:80
[INFO] [stderr] |
[INFO] [stderr] 387 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::infer::canonical::CanonicalVarKind<'tcx>, state: S as gstate)]
[INFO] [stderr] | ^^^^^^^^^^^^^^^^------ help: remove these generics
[INFO] [stderr] | |
[INFO] [stderr] | expected 0 lifetime arguments
[INFO] [stderr]
[INFO] [stderr] error[E0107]: enum takes 1 generic argument but 0 generic arguments were supplied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:387:80
[INFO] [stderr] |
[INFO] [stderr] 387 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::infer::canonical::CanonicalVarKind<'tcx>, state: S as gstate)]
[INFO] [stderr] | ^^^^^^^^^^^^^^^^ expected 1 generic argument
[INFO] [stderr] |
[INFO] [stderr] help: add missing generic argument
[INFO] [stderr] |
[INFO] [stderr] 387 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::infer::canonical::CanonicalVarKind<'tcx, I>, state: S as gstate)]
[INFO] [stderr] | +++
[INFO] [stderr]
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared crate or module `subst`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/traits.rs:55:17
[INFO] [stderr] |
[INFO] [stderr] 55 | substs: subst::SubstsRef<'tcx>,
[INFO] [stderr] | ^^^^^ use of undeclared crate or module `subst`
[INFO] [stderr]
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared crate or module `subst`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/traits.rs:125:30
[INFO] [stderr] |
[INFO] [stderr] 125 | ) -> Vec<(AssocItem, subst::EarlyBinder<Vec<TraitPredicate<'tcx>>>)> {
[INFO] [stderr] | ^^^^^ use of undeclared crate or module `subst`
[INFO] [stderr]
[INFO] [stderr] Some errors have detailed explanations: E0107, E0408, E0412, E0422, E0425, E0432, E0433, E0532.
[INFO] [stderr] For more information about an error, try `rustc --explain E0107`.
[INFO] [stderr] error: could not compile `hax-frontend-exporter` (lib) due to 54 previous errors
[INFO] running `Command { std: "docker" "inspect" "75a233f0e8e80dc97ace408a690531f05508f10854e3d92f907e80a21883940b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "75a233f0e8e80dc97ace408a690531f05508f10854e3d92f907e80a21883940b", kill_on_drop: false }`
[INFO] [stdout] 75a233f0e8e80dc97ace408a690531f05508f10854e3d92f907e80a21883940b