Build #947067 2023-10-23T14:51:58.488434+00:00
# rustc version
rustc 1.75.0-nightly (1c05d50c8 2023-10-21)# docs.rs version
docsrs 0.6.0 (45c814ae 2023-10-19)# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/hax-cli-options-engine-0.1.0-pre.1/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/hax-cli-options-engine-0.1.0-pre.1/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace/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:023092b8bfa974c7f3e45c5ce651cc8dd3afd5e76915d5995b8dacd3032bf956" "/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\", \"-20231021-1.75.0-nightly-1c05d50c8\", \"--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] 68633154b8792e17b300051db8bce17dd17fc8d7501312cbbd51db34580b5d75
[INFO] running `Command { std: "docker" "start" "-a" "68633154b8792e17b300051db8bce17dd17fc8d7501312cbbd51db34580b5d75", 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::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:1366: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:72: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[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:2856: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::ExprPrecedence::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:1366: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[E0599]: no associated item named `Trait` found for struct `rustc_middle::ty::Clause` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/traits.rs:60:47
[INFO] [stderr] |
[INFO] [stderr] 60 | PredicateKind::Clause(Clause::Trait(c)) => Some(c),
[INFO] [stderr] | ^^^^^ associated item not found in `Clause<'_>`
[INFO] [stderr]
[INFO] [stderr] error[E0061]: this method takes 3 arguments but 2 arguments were supplied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/constant_utils.rs:266:30
[INFO] [stderr] |
[INFO] [stderr] 266 | let evaluated = self.eval(s.base().tcx, get_param_env(s));
[INFO] [stderr] | ^^^^-------------------------------- an argument of type `std::option::Option<rustc_span::Span>` is missing
[INFO] [stderr] |
[INFO] [stderr] note: method defined here
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_middle/src/ty/consts.rs:280:12
[INFO] [stderr] help: provide the argument
[INFO] [stderr] |
[INFO] [stderr] 266 | let evaluated = self.eval(s.base().tcx, get_param_env(s), /* std::option::Option<rustc_span::Span> */);
[INFO] [stderr] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]
[INFO] [stderr] error[E0277]: can't compare `Result<ValTree<'_>, ErrorHandled>` with `rustc_middle::ty::Const<'tcx>`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/constant_utils.rs:267:21
[INFO] [stderr] |
[INFO] [stderr] 267 | (&evaluated != self).then_some(evaluated)
[INFO] [stderr] | ^^ no implementation for `Result<ValTree<'_>, ErrorHandled> == rustc_middle::ty::Const<'tcx>`
[INFO] [stderr] |
[INFO] [stderr] = help: the trait `std::cmp::PartialEq<rustc_middle::ty::Const<'tcx>>` is not implemented for `Result<ValTree<'_>, ErrorHandled>`
[INFO] [stderr] = help: the trait `std::cmp::PartialEq` is implemented for `Result<ValTree<'_>, ErrorHandled>`
[INFO] [stderr] = help: for that trait implementation, expected `Result<ValTree<'_>, ErrorHandled>`, found `rustc_middle::ty::Const<'tcx>`
[INFO] [stderr] = note: required for `&Result<ValTree<'_>, ErrorHandled>` to implement `std::cmp::PartialEq<&rustc_middle::ty::Const<'tcx>>`
[INFO] [stderr]
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/constant_utils.rs:267:40
[INFO] [stderr] |
[INFO] [stderr] 267 | (&evaluated != self).then_some(evaluated)
[INFO] [stderr] | --------- ^^^^^^^^^ expected `Const<'_>`, found `Result<ValTree<'_>, ErrorHandled>`
[INFO] [stderr] | |
[INFO] [stderr] | arguments to this method are incorrect
[INFO] [stderr] |
[INFO] [stderr] = note: expected struct `rustc_middle::ty::Const<'tcx>`
[INFO] [stderr] found enum `Result<ValTree<'_>, ErrorHandled>`
[INFO] [stderr] help: the return type of this call is `Result<ValTree<'_>, ErrorHandled>` due to the type of the argument passed
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/constant_utils.rs:267:9
[INFO] [stderr] |
[INFO] [stderr] 267 | (&evaluated != self).then_some(evaluated)
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------^
[INFO] [stderr] | |
[INFO] [stderr] | this argument influences the return type of `then_some`
[INFO] [stderr] note: method defined here
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/bool.rs:33:12
[INFO] [stderr] |
[INFO] [stderr] 33 | pub fn then_some<T>(self, t: T) -> Option<T> {
[INFO] [stderr] | ^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no method named `mk_const` found for struct `rustc_middle::ty::TyCtxt<'tcx>` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/constant_utils.rs:324:49
[INFO] [stderr] |
[INFO] [stderr] 324 | .destructure_const(s.base().tcx.mk_const(valtree, ty));
[INFO] [stderr] | ^^^^^^^^ help: there is a method with a similar name: `mk_const_list`
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no method named `try_destructure_mir_constant` found for struct `rustc_middle::ty::TyCtxt<'tcx>` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/constant_utils.rs:390:10
[INFO] [stderr] |
[INFO] [stderr] 389 | let dc = tcx
[INFO] [stderr] | ______________-
[INFO] [stderr] 390 | | .try_destructure_mir_constant(param_env_and_const)
[INFO] [stderr] | | -^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: there is a method with a similar name: `destructure_const`
[INFO] [stderr] | |_________|
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no method named `subst` found for struct `EarlyBinder` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/rustc_utils.rs:7:51
[INFO] [stderr] |
[INFO] [stderr] 7 | ty::EarlyBinder::bind(self.skip_binder()).subst(tcx, substs)
[INFO] [stderr] | ^^^^^ method not found in `EarlyBinder<T>`
[INFO] [stderr] |
[INFO] [stderr] = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stderr] note: `rustc_utils::SubstBinder` defines an item `subst`, perhaps you need to implement it
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/rustc_utils.rs:4:31
[INFO] [stderr] |
[INFO] [stderr] 4 | #[extension_traits::extension(pub trait SubstBinder)]
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no associated item named `Trait` found for struct `rustc_middle::ty::Clause` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/rustc_utils.rs:16:62
[INFO] [stderr] |
[INFO] [stderr] 16 | if let ty::PredicateKind::Clause(ty::Clause::Trait(trait_predicate)) = kind {
[INFO] [stderr] | ^^^^^ associated item not found in `Clause<'_>`
[INFO] [stderr]
[INFO] [stderr] error[E0277]: the trait bound `std::vec::Vec<(rustc_middle::ty::Predicate<'tcx>, rustc_span::Span)>: Extend<&(rustc_middle::ty::Clause<'_>, rustc_span::Span)>` is not satisfied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/rustc_utils.rs:40:24
[INFO] [stderr] |
[INFO] [stderr] 40 | predicates.extend(gen_preds.predicates.into_iter())
[INFO] [stderr] | ^^^^^^ the trait `Extend<&(rustc_middle::ty::Clause<'_>, rustc_span::Span)>` is not implemented for `std::vec::Vec<(rustc_middle::ty::Predicate<'tcx>, rustc_span::Span)>`
[INFO] [stderr] |
[INFO] [stderr] = help: the following other types implement trait `Extend<A>`:
[INFO] [stderr] <std::vec::Vec<T, A> as Extend<T>>
[INFO] [stderr] <std::vec::Vec<T, A> as Extend<&'a T>>
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no method named `subst_identity` found for struct `EarlyBinder` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/state.rs:245:35
[INFO] [stderr] |
[INFO] [stderr] 245 | typ: tcx.type_of(did).subst_identity().sinto(s),
[INFO] [stderr] | ^^^^^^^^^^^^^^ method not found in `EarlyBinder<Ty<'_>>`
[INFO] [stderr]
[INFO] [stderr] error[E0599]: the method `sinto` exists for enum `Option<EarlyBinder<TraitRef<'_>>>`, but its trait bounds were not satisfied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/state.rs:246:48
[INFO] [stderr] |
[INFO] [stderr] 246 | trait_ref: tcx.impl_trait_ref(did).sinto(s),
[INFO] [stderr] | ^^^^^ method cannot be called on `Option<EarlyBinder<TraitRef<'_>>>` due to unsatisfied trait bounds
[INFO] [stderr] |
[INFO] [stderr] ::: /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/option.rs:563:1
[INFO] [stderr] |
[INFO] [stderr] 563 | pub enum Option<T> {
[INFO] [stderr] | ------------------ doesn't satisfy `_: SInto<_, Option<_>>`
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_middle/src/ty/generic_args.rs:541:1
[INFO] [stderr] |
[INFO] [stderr] = note: doesn't satisfy `_: SInto<_, _>`
[INFO] [stderr] |
[INFO] [stderr] note: trait bound `EarlyBinder<rustc_middle::ty::TraitRef<'tcx>>: sinto::SInto<_, _>` was not satisfied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:60:15
[INFO] [stderr] |
[INFO] [stderr] 60 | impl<S, D, T: SInto<S, D>> SInto<S, Option<D>> for Option<T> {
[INFO] [stderr] | ^^^^^^^^^^^ ------------------- ---------
[INFO] [stderr] | |
[INFO] [stderr] | unsatisfied trait bound introduced here
[INFO] [stderr] = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stderr] note: `sinto::SInto` defines an item `sinto`, perhaps you need to implement it
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:4:1
[INFO] [stderr] |
[INFO] [stderr] 4 | pub trait SInto<S, To> {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] error[E0277]: the trait bound `rustc_middle::ty::Clause<'_>: sinto::SInto<state::State<state::types::Base<'_>, (), (), rustc_span::def_id::DefId>, copied::Binder<copied::PredicateKind>>` is not satisfied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/state.rs:241:35
[INFO] [stderr] |
[INFO] [stderr] 241 | .map(|(x, _)| x.sinto(s))
[INFO] [stderr] | ----- ^ the trait `sinto::SInto<state::State<state::types::Base<'_>, (), (), rustc_span::def_id::DefId>, copied::Binder<copied::PredicateKind>>` is not implemented for `rustc_middle::ty::Clause<'_>`
[INFO] [stderr] | |
[INFO] [stderr] | required by a bound introduced by this call
[INFO] [stderr] |
[INFO] [stderr] = help: the following other types implement trait `sinto::SInto<S, To>`:
[INFO] [stderr] <rustc_middle::ty::Clause<'tcx> as sinto::SInto<S, copied::Clause>>
[INFO] [stderr] <rustc_middle::ty::Clause<'tcx> as sinto::SInto<S, copied::ClauseKind>>
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no method named `sinto` found for enum `GenericArgKind` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:590:23
[INFO] [stderr] |
[INFO] [stderr] 590 | self.unpack().sinto(s)
[INFO] [stderr] | ^^^^^ method not found in `GenericArgKind<'_>`
[INFO] [stderr] |
[INFO] [stderr] = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stderr] note: `sinto::SInto` defines an item `sinto`, perhaps you need to implement it
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:4:1
[INFO] [stderr] |
[INFO] [stderr] 4 | pub trait SInto<S, To> {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no variant or associated item named `CfgSpec` found for enum `rustc_span::FileName` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:834:5
[INFO] [stderr] |
[INFO] [stderr] 824 | #[args(<S>, from: rustc_span::FileName, state: S as gstate)]
[INFO] [stderr] | ___________________-
[INFO] [stderr] 825 | | #[derive(
[INFO] [stderr] 826 | | Clone, Debug, Serialize, Deserialize, JsonSchema, PartialEq, Eq, Hash, PartialOrd, Ord,
[INFO] [stderr] 827 | | )]
[INFO] [stderr] ... |
[INFO] [stderr] 833 | | ProcMacroSourceCode(u64),
[INFO] [stderr] 834 | | CfgSpec(u64),
[INFO] [stderr] | | -^^^^^^^ variant or associated item not found in `FileName`
[INFO] [stderr] | |____|
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0609]: no field `substs` on type `&rustc_middle::ty::AliasTy<'tcx>`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:911:26
[INFO] [stderr] |
[INFO] [stderr] 911 | substs: self.substs.sinto(s),
[INFO] [stderr] | ^^^^^^ unknown field
[INFO] [stderr] |
[INFO] [stderr] = note: available fields are: `args`, `def_id`
[INFO] [stderr]
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1059:9
[INFO] [stderr] |
[INFO] [stderr] 1059 | pub delim: MacDelimiter,
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ expected `MacDelimiter`, found `Delimiter`
[INFO] [stderr]
[INFO] [stderr] error[E0559]: variant `rustc_middle::thir::PatKind<'_>::Variant` has no field named `substs`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1226:25
[INFO] [stderr] |
[INFO] [stderr] 1226 | substs,
[INFO] [stderr] | ^^^^^^ `rustc_middle::thir::PatKind<'_>::Variant` does not have this field
[INFO] [stderr] |
[INFO] [stderr] = note: available fields are: `args`
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no variant or associated item named `Generator` found for enum `rustc_type_ir::TyKind` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1475:5
[INFO] [stderr] |
[INFO] [stderr] 1432 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::TyKind<'tcx>, state: S as state)]
[INFO] [stderr] | ________________________________________________-
[INFO] [stderr] 1433 | | #[derive(
[INFO] [stderr] 1434 | | Clone, Debug, Serialize, Deserialize, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord,
[INFO] [stderr] 1435 | | )]
[INFO] [stderr] ... |
[INFO] [stderr] 1474 | | Dynamic(Vec<Binder<ExistentialPredicate>>, Region, DynKind),
[INFO] [stderr] 1475 | | Generator(DefId, Vec<GenericArg>, Movability),
[INFO] [stderr] | | -^^^^^^^^^ variant or associated item not found in `TyKind<TyCtxt<'_>>`
[INFO] [stderr] | |____|
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no method named `subst` found for struct `EarlyBinder` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1447:44
[INFO] [stderr] |
[INFO] [stderr] 1447 | arrow_of_sig(&tcx.fn_sig(*def).subst(tcx, substs), state)
[INFO] [stderr] | ^^^^^ method not found in `EarlyBinder<Binder<'_, FnSig<'_>>>`
[INFO] [stderr] |
[INFO] [stderr] = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stderr] note: `rustc_utils::SubstBinder` defines an item `subst`, perhaps you need to implement it
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/rustc_utils.rs:4:31
[INFO] [stderr] |
[INFO] [stderr] 4 | #[extension_traits::extension(pub trait SubstBinder)]
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no method named `sinto` found for reference `&rustc_type_ir::AliasKind` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1478:11
[INFO] [stderr] |
[INFO] [stderr] 1478 | Alias(AliasKind, AliasTy),
[INFO] [stderr] | ^^^^^^^^^ method not found in `&AliasKind`
[INFO] [stderr] |
[INFO] [stderr] = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stderr] note: `sinto::SInto` defines an item `sinto`, perhaps you need to implement it
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:4:1
[INFO] [stderr] |
[INFO] [stderr] 4 | pub trait SInto<S, To> {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no method named `sinto` found for reference `&rustc_middle::mir::Const<'_>` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1548:13
[INFO] [stderr] |
[INFO] [stderr] 1548 | pub lo: ConstantExpr,
[INFO] [stderr] | ^^^^^^^^^^^^ method not found in `&Const<'_>`
[INFO] [stderr] |
[INFO] [stderr] = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stderr] note: `sinto::SInto` defines an item `sinto`, perhaps you need to implement it
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:4:1
[INFO] [stderr] |
[INFO] [stderr] 4 | pub trait SInto<S, To> {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no method named `sinto` found for reference `&rustc_middle::mir::Const<'_>` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1549:13
[INFO] [stderr] |
[INFO] [stderr] 1549 | pub hi: ConstantExpr,
[INFO] [stderr] | ^^^^^^^^^^^^ method not found in `&Const<'_>`
[INFO] [stderr] |
[INFO] [stderr] = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stderr] note: `sinto::SInto` defines an item `sinto`, perhaps you need to implement it
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:4:1
[INFO] [stderr] |
[INFO] [stderr] 4 | pub trait SInto<S, To> {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] error[E0026]: variant `rustc_middle::thir::PatKind::Variant` does not have a field named `substs`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1645:53
[INFO] [stderr] |
[INFO] [stderr] 1645 | FROM_TYPE::Variant {adt_def, variant_index, substs, subpatterns} => {
[INFO] [stderr] | ^^^^^^
[INFO] [stderr] | |
[INFO] [stderr] | variant `rustc_middle::thir::PatKind::Variant` does not have this field
[INFO] [stderr] | help: `rustc_middle::thir::PatKind::Variant` has a field named `args`
[INFO] [stderr]
[INFO] [stderr] error[E0027]: pattern does not mention field `args`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1645:9
[INFO] [stderr] |
[INFO] [stderr] 1645 | FROM_TYPE::Variant {adt_def, variant_index, substs, subpatterns} => {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing field `args`
[INFO] [stderr] |
[INFO] [stderr] help: include the missing field in the pattern
[INFO] [stderr] |
[INFO] [stderr] 1645 | FROM_TYPE::Variant {adt_def, variant_index, substs, subpatterns, args } => {
[INFO] [stderr] | ~~~~~~~~
[INFO] [stderr] help: if you don't care about this missing field, you can explicitly ignore it
[INFO] [stderr] |
[INFO] [stderr] 1645 | FROM_TYPE::Variant {adt_def, variant_index, substs, subpatterns, .. } => {
[INFO] [stderr] | ~~~~~~
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no method named `sinto` found for reference `&rustc_middle::mir::Const<'_>` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1678:16
[INFO] [stderr] |
[INFO] [stderr] 1678 | value: ConstantExpr,
[INFO] [stderr] | ^^^^^^^^^^^^ method not found in `&Const<'_>`
[INFO] [stderr] |
[INFO] [stderr] = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stderr] note: `sinto::SInto` defines an item `sinto`, perhaps you need to implement it
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:4:1
[INFO] [stderr] |
[INFO] [stderr] 4 | pub trait SInto<S, To> {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no variant or associated item named `Unique` found for enum `rustc_middle::mir::BorrowKind` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1748:5
[INFO] [stderr] |
[INFO] [stderr] 1741 | #[args(<S>, from: rustc_middle::mir::BorrowKind, state: S as gstate)]
[INFO] [stderr] | ___________________-
[INFO] [stderr] 1742 | | #[derive(
[INFO] [stderr] 1743 | | Copy, Clone, Debug, Serialize, Deserialize, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord,
[INFO] [stderr] 1744 | | )]
[INFO] [stderr] ... |
[INFO] [stderr] 1747 | | Shallow,
[INFO] [stderr] 1748 | | Unique,
[INFO] [stderr] | | -^^^^^^ variant or associated item not found in `BorrowKind`
[INFO] [stderr] | |____|
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0026]: variant `rustc_middle::mir::BorrowKind::Mut` does not have a field named `allow_two_phase_borrow`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1749:11
[INFO] [stderr] |
[INFO] [stderr] 1749 | Mut { allow_two_phase_borrow: bool },
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] | |
[INFO] [stderr] | variant `rustc_middle::mir::BorrowKind::Mut` does not have this field
[INFO] [stderr] | help: `rustc_middle::mir::BorrowKind::Mut` has a field named `kind`
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no variant named `Pointer` found for enum `rustc_middle::thir::ExprKind<'_>`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1992:5
[INFO] [stderr] |
[INFO] [stderr] 1992 | Pointer {
[INFO] [stderr] | ^^^^^^^ variant not found in `rustc_middle::thir::ExprKind<'_>`
[INFO] [stderr]
[INFO] [stderr] error[E0026]: variant `rustc_middle::thir::ExprKind::ConstBlock` does not have a field named `substs`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:2070:9
[INFO] [stderr] |
[INFO] [stderr] 2070 | substs: Vec<GenericArg>,
[INFO] [stderr] | ^^^^^^
[INFO] [stderr] | |
[INFO] [stderr] | variant `rustc_middle::thir::ExprKind::ConstBlock` does not have this field
[INFO] [stderr] | help: `rustc_middle::thir::ExprKind::ConstBlock` has a field named `args`
[INFO] [stderr]
[INFO] [stderr] error[E0026]: variant `NamedConst` does not have a field named `substs`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:2124:9
[INFO] [stderr] |
[INFO] [stderr] 2124 | substs: Vec<GenericArg>,
[INFO] [stderr] | ^^^^^^
[INFO] [stderr] | |
[INFO] [stderr] | variant `NamedConst` does not have this field
[INFO] [stderr] | help: `NamedConst` has a field named `args`
[INFO] [stderr]
[INFO] [stderr] error[E0026]: struct `rustc_hir::Impl` does not have a field named `constness`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:2446:9
[INFO] [stderr] |
[INFO] [stderr] 2446 | pub constness: Constness,
[INFO] [stderr] | ^^^^^^^^^ struct `rustc_hir::Impl` does not have this field
[INFO] [stderr]
[INFO] [stderr] error[E0599]: the method `sinto` exists for enum `Option<EarlyBinder<TraitRef<'_>>>`, but its trait bounds were not satisfied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:2449:51
[INFO] [stderr] |
[INFO] [stderr] 2449 | s.base().tcx.impl_trait_ref(s.owner_id()).sinto(s)
[INFO] [stderr] | ^^^^^ method cannot be called on `Option<EarlyBinder<TraitRef<'_>>>` due to unsatisfied trait bounds
[INFO] [stderr] |
[INFO] [stderr] ::: /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/option.rs:563:1
[INFO] [stderr] |
[INFO] [stderr] 563 | pub enum Option<T> {
[INFO] [stderr] | ------------------ doesn't satisfy `_: SInto<_, Option<_>>`
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_middle/src/ty/generic_args.rs:541:1
[INFO] [stderr] |
[INFO] [stderr] = note: doesn't satisfy `_: SInto<_, _>`
[INFO] [stderr] |
[INFO] [stderr] note: trait bound `EarlyBinder<rustc_middle::ty::TraitRef<'tcx>>: sinto::SInto<_, _>` was not satisfied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:60:15
[INFO] [stderr] |
[INFO] [stderr] 60 | impl<S, D, T: SInto<S, D>> SInto<S, Option<D>> for Option<T> {
[INFO] [stderr] | ^^^^^^^^^^^ ------------------- ---------
[INFO] [stderr] | |
[INFO] [stderr] | unsatisfied trait bound introduced here
[INFO] [stderr] = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stderr] note: `sinto::SInto` defines an item `sinto`, perhaps you need to implement it
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:4:1
[INFO] [stderr] |
[INFO] [stderr] 4 | pub trait SInto<S, To> {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] error[E0023]: this pattern has 2 fields, but the corresponding tuple variant has 3 fields
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:2593:11
[INFO] [stderr] |
[INFO] [stderr] 2593 | Const(Ty, Body),
[INFO] [stderr] | ^^ ^^^^ expected 3 fields, found 2
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_hir/src/hir.rs:3328:49
[INFO] [stderr] |
[INFO] [stderr] = note: tuple variant has 3 fields
[INFO] [stderr] |
[INFO] [stderr] help: use `_` to explicitly ignore each field
[INFO] [stderr] |
[INFO] [stderr] 2593 | Const(Ty, Body, _),
[INFO] [stderr] | +++
[INFO] [stderr]
[INFO] [stderr] error[E0026]: struct `rustc_middle::ty::TraitRef` does not have a field named `substs`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:2759:12
[INFO] [stderr] |
[INFO] [stderr] 2759 | #[from(substs)]
[INFO] [stderr] | ^^^^^^ struct `rustc_middle::ty::TraitRef` does not have this field
[INFO] [stderr]
[INFO] [stderr] error[E0026]: struct `rustc_middle::ty::TraitPredicate` does not have a field named `constness`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:2770:12
[INFO] [stderr] |
[INFO] [stderr] 2770 | #[from(constness)]
[INFO] [stderr] | ^^^^^^^^^ struct `rustc_middle::ty::TraitPredicate` does not have this field
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no associated item named `Trait` found for struct `rustc_middle::ty::Clause` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:2837:5
[INFO] [stderr] |
[INFO] [stderr] 2832 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::Clause<'tcx>, state: S as tcx)]
[INFO] [stderr] | ________________________________________________-
[INFO] [stderr] 2833 | | #[derive(
[INFO] [stderr] 2834 | | Clone, Debug, Serialize, Deserialize, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord,
[INFO] [stderr] 2835 | | )]
[INFO] [stderr] 2836 | | pub enum ClauseKind {
[INFO] [stderr] 2837 | | Trait(TraitPredicate),
[INFO] [stderr] | | -^^^^^ associated item not found in `Clause<'_>`
[INFO] [stderr] | |____|
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no associated item named `RegionOutlives` found for struct `rustc_middle::ty::Clause` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:2838:5
[INFO] [stderr] |
[INFO] [stderr] 2832 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::Clause<'tcx>, state: S as tcx)]
[INFO] [stderr] | ________________________________________________-
[INFO] [stderr] 2833 | | #[derive(
[INFO] [stderr] 2834 | | Clone, Debug, Serialize, Deserialize, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord,
[INFO] [stderr] 2835 | | )]
[INFO] [stderr] 2836 | | pub enum ClauseKind {
[INFO] [stderr] 2837 | | Trait(TraitPredicate),
[INFO] [stderr] 2838 | | RegionOutlives(RegionOutlivesPredicate),
[INFO] [stderr] | | -^^^^^^^^^^^^^^ associated item not found in `Clause<'_>`
[INFO] [stderr] | |____|
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no associated item named `TypeOutlives` found for struct `rustc_middle::ty::Clause` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:2839:5
[INFO] [stderr] |
[INFO] [stderr] 2832 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::Clause<'tcx>, state: S as tcx)]
[INFO] [stderr] | ________________________________________________-
[INFO] [stderr] 2833 | | #[derive(
[INFO] [stderr] 2834 | | Clone, Debug, Serialize, Deserialize, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord,
[INFO] [stderr] 2835 | | )]
[INFO] [stderr] ... |
[INFO] [stderr] 2838 | | RegionOutlives(RegionOutlivesPredicate),
[INFO] [stderr] 2839 | | TypeOutlives(TypeOutlivesPredicate),
[INFO] [stderr] | | -^^^^^^^^^^^^ associated item not found in `Clause<'_>`
[INFO] [stderr] | |____|
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no associated item named `Projection` found for struct `rustc_middle::ty::Clause` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:2840:5
[INFO] [stderr] |
[INFO] [stderr] 2832 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::Clause<'tcx>, state: S as tcx)]
[INFO] [stderr] | ________________________________________________-
[INFO] [stderr] 2833 | | #[derive(
[INFO] [stderr] 2834 | | Clone, Debug, Serialize, Deserialize, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord,
[INFO] [stderr] 2835 | | )]
[INFO] [stderr] ... |
[INFO] [stderr] 2839 | | TypeOutlives(TypeOutlivesPredicate),
[INFO] [stderr] 2840 | | Projection(ProjectionPredicate),
[INFO] [stderr] | | -^^^^^^^^^^ associated item not found in `Clause<'_>`
[INFO] [stderr] | |____|
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no associated item named `ConstArgHasType` found for struct `rustc_middle::ty::Clause` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:2841:5
[INFO] [stderr] |
[INFO] [stderr] 2832 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::Clause<'tcx>, state: S as tcx)]
[INFO] [stderr] | ________________________________________________-
[INFO] [stderr] 2833 | | #[derive(
[INFO] [stderr] 2834 | | Clone, Debug, Serialize, Deserialize, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord,
[INFO] [stderr] 2835 | | )]
[INFO] [stderr] ... |
[INFO] [stderr] 2840 | | Projection(ProjectionPredicate),
[INFO] [stderr] 2841 | | ConstArgHasType(ConstantExpr, Ty),
[INFO] [stderr] | | -^^^^^^^^^^^^^^^ associated item not found in `Clause<'_>`
[INFO] [stderr] | |____|
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0277]: the trait bound `rustc_middle::ty::Clause<'_>: sinto::SInto<S, copied::Binder<copied::PredicateKind>>` is not satisfied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:2882:103
[INFO] [stderr] |
[INFO] [stderr] 2882 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::GenericPredicates<'tcx>, state: S as tcx)]
[INFO] [stderr] | ^^^ the trait `sinto::SInto<S, copied::Binder<copied::PredicateKind>>` is not implemented for `rustc_middle::ty::Clause<'_>`
[INFO] [stderr] ...
[INFO] [stderr] 2888 | pub predicates: Vec<(Predicate, Span)>,
[INFO] [stderr] | ---------------------- required by a bound introduced by this call
[INFO] [stderr] |
[INFO] [stderr] = help: the following other types implement trait `sinto::SInto<S, To>`:
[INFO] [stderr] <rustc_middle::ty::Clause<'tcx> as sinto::SInto<S, copied::Clause>>
[INFO] [stderr] <rustc_middle::ty::Clause<'tcx> as sinto::SInto<S, copied::ClauseKind>>
[INFO] [stderr] note: required for `(rustc_middle::ty::Clause<'_>, rustc_span::Span)` to implement `sinto::SInto<S, (copied::Binder<copied::PredicateKind>, copied::Span)>`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:54:51
[INFO] [stderr] |
[INFO] [stderr] 54 | impl<S, LL, RR, L: SInto<S, LL>, R: SInto<S, RR>> SInto<S, (LL, RR)> for (L, R) {
[INFO] [stderr] | ------------ ^^^^^^^^^^^^^^^^^^ ^^^^^^
[INFO] [stderr] | |
[INFO] [stderr] | unsatisfied trait bound introduced here
[INFO] [stderr] = note: 1 redundant requirement hidden
[INFO] [stderr] = note: required for `[(rustc_middle::ty::Clause<'_>, rustc_span::Span)]` to implement `sinto::SInto<S, std::vec::Vec<(copied::Binder<copied::PredicateKind>, copied::Span)>>`
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no variant or associated item named `WellFormed` found for enum `rustc_middle::ty::PredicateKind` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:2960:5
[INFO] [stderr] |
[INFO] [stderr] 2954 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::PredicateKind<'tcx>, state: S as tcx)]
[INFO] [stderr] | ________________________________________________-
[INFO] [stderr] 2955 | | #[derive(
[INFO] [stderr] 2956 | | Clone, Debug, Serialize, Deserialize, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord,
[INFO] [stderr] 2957 | | )]
[INFO] [stderr] 2958 | | pub enum PredicateKind {
[INFO] [stderr] 2959 | | Clause(Clause),
[INFO] [stderr] 2960 | | WellFormed(GenericArg),
[INFO] [stderr] | | -^^^^^^^^^^ variant or associated item not found in `PredicateKind<'_>`
[INFO] [stderr] | |____|
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no variant or associated item named `ConstEvaluatable` found for enum `rustc_middle::ty::PredicateKind` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:2965:5
[INFO] [stderr] |
[INFO] [stderr] 2954 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::PredicateKind<'tcx>, state: S as tcx)]
[INFO] [stderr] | ________________________________________________-
[INFO] [stderr] 2955 | | #[derive(
[INFO] [stderr] 2956 | | Clone, Debug, Serialize, Deserialize, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord,
[INFO] [stderr] 2957 | | )]
[INFO] [stderr] ... |
[INFO] [stderr] 2964 | | Coerce(CoercePredicate),
[INFO] [stderr] 2965 | | ConstEvaluatable(ConstantExpr),
[INFO] [stderr] | | -^^^^^^^^^^^^^^^^ variant or associated item not found in `PredicateKind<'_>`
[INFO] [stderr] | |____|
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no variant or associated item named `TypeWellFormedFromEnv` found for enum `rustc_middle::ty::PredicateKind` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:2967:5
[INFO] [stderr] |
[INFO] [stderr] 2954 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_middle::ty::PredicateKind<'tcx>, state: S as tcx)]
[INFO] [stderr] | ________________________________________________-
[INFO] [stderr] 2955 | | #[derive(
[INFO] [stderr] 2956 | | Clone, Debug, Serialize, Deserialize, JsonSchema, Hash, PartialEq, Eq, PartialOrd, Ord,
[INFO] [stderr] 2957 | | )]
[INFO] [stderr] ... |
[INFO] [stderr] 2966 | | ConstEquate(ConstantExpr, ConstantExpr),
[INFO] [stderr] 2967 | | TypeWellFormedFromEnv(Ty),
[INFO] [stderr] | | -^^^^^^^^^^^^^^^^^^^^^ variant or associated item not found in `PredicateKind<'_>`
[INFO] [stderr] | |____|
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no method named `sinto` found for reference `&rustc_middle::ty::ClauseKind<'_>` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:2959:12
[INFO] [stderr] |
[INFO] [stderr] 2959 | Clause(Clause),
[INFO] [stderr] | ^^^^^^ method not found in `&ClauseKind<'_>`
[INFO] [stderr] |
[INFO] [stderr] = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stderr] note: `sinto::SInto` defines an item `sinto`, perhaps you need to implement it
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:4:1
[INFO] [stderr] |
[INFO] [stderr] 4 | pub trait SInto<S, To> {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no method named `subst_identity` found for struct `EarlyBinder` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:3000:50
[INFO] [stderr] |
[INFO] [stderr] 3000 | let list = tcx.item_bounds(s.owner_id()).subst_identity();
[INFO] [stderr] | ^^^^^^^^^^^^^^ method not found in `EarlyBinder<&List<Clause<'_>>>`
[INFO] [stderr]
[INFO] [stderr] error[E0026]: struct `rustc_middle::mir::LocalDecl` does not have a field named `internal`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:23:9
[INFO] [stderr] |
[INFO] [stderr] 23 | pub internal: bool,
[INFO] [stderr] | ^^^^^^^^ struct `rustc_middle::mir::LocalDecl` does not have this field
[INFO] [stderr]
[INFO] [stderr] error[E0026]: struct `rustc_middle::mir::Body` does not have a field named `generator`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:127:9
[INFO] [stderr] |
[INFO] [stderr] 127 | pub generator: Option<GeneratorInfo>,
[INFO] [stderr] | ^^^^^^^^^ struct `rustc_middle::mir::Body` does not have this field
[INFO] [stderr]
[INFO] [stderr] error[E0599]: the method `sinto` exists for reference `&Vec<ConstOperand<'_>>`, but its trait bounds were not satisfied
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_middle/src/mir/syntax.rs:1147:1
[INFO] [stderr] |
[INFO] [stderr] = note: doesn't satisfy `ConstOperand<'tcx>: sinto::SInto<_, _>`
[INFO] [stderr] |
[INFO] [stderr] ::: /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/alloc/src/vec/mod.rs:396:1
[INFO] [stderr] |
[INFO] [stderr] 396 | pub struct Vec<T, #[unstable(feature = "allocator_api", issue = "32838")] A: Allocator = Global> {
[INFO] [stderr] | ------------------------------------------------------------------------------------------------ doesn't satisfy `_: SInto<_, Vec<_>>`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:144:26
[INFO] [stderr] |
[INFO] [stderr] 144 | pub required_consts: Vec<Constant>,
[INFO] [stderr] | ^^^^^^^^^^^^^
[INFO] [stderr] |
[INFO] [stderr] note: trait bound `ConstOperand<'tcx>: sinto::SInto<_, _>` was not satisfied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:71:22
[INFO] [stderr] |
[INFO] [stderr] 71 | impl<S, D: Clone, T: SInto<S, D>> SInto<S, Vec<D>> for [T] {
[INFO] [stderr] | ^^^^^^^^^^^ ---------------- ---
[INFO] [stderr] | |
[INFO] [stderr] | unsatisfied trait bound introduced here
[INFO] [stderr] note: trait bound `ConstOperand<'tcx>: sinto::SInto<_, _>` was not satisfied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:83:22
[INFO] [stderr] |
[INFO] [stderr] 83 | impl<S, D: Clone, T: SInto<S, D>> SInto<S, Vec<D>> for Vec<T> {
[INFO] [stderr] | ^^^^^^^^^^^ ---------------- ------
[INFO] [stderr] | |
[INFO] [stderr] | unsatisfied trait bound introduced here
[INFO] [stderr] = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stderr] note: `sinto::SInto` defines an item `sinto`, perhaps you need to implement it
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:4:1
[INFO] [stderr] |
[INFO] [stderr] 4 | pub trait SInto<S, To> {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] error[E0026]: struct `rustc_middle::ty::Instance` does not have a field named `substs`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:166:9
[INFO] [stderr] |
[INFO] [stderr] 166 | pub substs: Vec<GenericArg>,
[INFO] [stderr] | ^^^^^^
[INFO] [stderr] | |
[INFO] [stderr] | struct `rustc_middle::ty::Instance` does not have this field
[INFO] [stderr] | help: `rustc_middle::ty::Instance` has a field named `args`
[INFO] [stderr]
[INFO] [stderr] error[E0599]: the method `sinto` exists for reference `&Box<ConstOperand<'_>>`, but its trait bounds were not satisfied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:190:14
[INFO] [stderr] |
[INFO] [stderr] 190 | Constant(Constant),
[INFO] [stderr] | ^^^^^^^^ method cannot be called on `&Box<ConstOperand<'_>>` due to unsatisfied trait bounds
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_middle/src/mir/syntax.rs:1147:1
[INFO] [stderr] |
[INFO] [stderr] = note: doesn't satisfy `ConstOperand<'tcx>: sinto::SInto<_, _>`
[INFO] [stderr] |
[INFO] [stderr] ::: /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/alloc/src/boxed.rs:195:1
[INFO] [stderr] |
[INFO] [stderr] 195 | / pub struct Box<
[INFO] [stderr] 196 | | T: ?Sized,
[INFO] [stderr] 197 | | #[unstable(feature = "allocator_api", issue = "32838")] A: Allocator = Global,
[INFO] [stderr] 198 | | >(Unique<T>, A);
[INFO] [stderr] | |_- doesn't satisfy `_: SInto<_, _>`
[INFO] [stderr] |
[INFO] [stderr] note: trait bound `ConstOperand<'tcx>: sinto::SInto<_, _>` was not satisfied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:65:15
[INFO] [stderr] |
[INFO] [stderr] 65 | impl<S, D, T: SInto<S, D>> SInto<S, D> for Box<T> {
[INFO] [stderr] | ^^^^^^^^^^^ ----------- ------
[INFO] [stderr] | |
[INFO] [stderr] | unsatisfied trait bound introduced here
[INFO] [stderr] = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stderr] note: `sinto::SInto` defines an item `sinto`, perhaps you need to implement it
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:4:1
[INFO] [stderr] |
[INFO] [stderr] 4 | pub trait SInto<S, To> {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] error[E0609]: no field `literal` on type `&ConstOperand<'_>`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:226:22
[INFO] [stderr] |
[INFO] [stderr] 226 | match &c.literal {
[INFO] [stderr] | ^^^^^^^ unknown field
[INFO] [stderr] |
[INFO] [stderr] = note: available fields are: `span`, `user_ty`, `const_`
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no variant or associated item named `Resume` found for enum `rustc_middle::mir::TerminatorKind` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:355:5
[INFO] [stderr] |
[INFO] [stderr] 336 | #[args(<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>>, from: rustc_middle::mir::TerminatorKind<'tcx>, state: S as s)]
[INFO] [stderr] | _______________________________________________________________-
[INFO] [stderr] 337 | | pub enum TerminatorKind {
[INFO] [stderr] 338 | | Goto {
[INFO] [stderr] 339 | | target: BasicBlock,
[INFO] [stderr] ... |
[INFO] [stderr] 354 | | },
[INFO] [stderr] 355 | | Resume,
[INFO] [stderr] | | -^^^^^^ variant or associated item not found in `TerminatorKind<'_>`
[INFO] [stderr] | |____|
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no variant or associated item named `Terminate` found for enum `rustc_middle::mir::TerminatorKind` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:356:5
[INFO] [stderr] |
[INFO] [stderr] 336 | #[args(<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>>, from: rustc_middle::mir::TerminatorKind<'tcx>, state: S as s)]
[INFO] [stderr] | _______________________________________________________________-
[INFO] [stderr] 337 | | pub enum TerminatorKind {
[INFO] [stderr] 338 | | Goto {
[INFO] [stderr] 339 | | target: BasicBlock,
[INFO] [stderr] ... |
[INFO] [stderr] 355 | | Resume,
[INFO] [stderr] 356 | | Terminate,
[INFO] [stderr] | | -^^^^^^^^^ variant or associated item not found in `TerminatorKind<'_>`
[INFO] [stderr] | |____|
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0026]: variant `rustc_middle::mir::TerminatorKind::Call` does not have a field named `from_hir_call`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:376:9
[INFO] [stderr] |
[INFO] [stderr] 376 | from_hir_call: bool,
[INFO] [stderr] | ^^^^^^^^^^^^^
[INFO] [stderr] | |
[INFO] [stderr] | variant `rustc_middle::mir::TerminatorKind::Call` does not have this field
[INFO] [stderr] | help: `rustc_middle::mir::TerminatorKind::Call` has a field named `call_source`
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no variant or associated item named `GeneratorDrop` found for enum `rustc_middle::mir::TerminatorKind` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:392:5
[INFO] [stderr] |
[INFO] [stderr] 336 | #[args(<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>>, from: rustc_middle::mir::TerminatorKind<'tcx>, state: S as s)]
[INFO] [stderr] | _______________________________________________________________-
[INFO] [stderr] 337 | | pub enum TerminatorKind {
[INFO] [stderr] 338 | | Goto {
[INFO] [stderr] 339 | | target: BasicBlock,
[INFO] [stderr] ... |
[INFO] [stderr] 391 | | },
[INFO] [stderr] 392 | | GeneratorDrop,
[INFO] [stderr] | | -^^^^^^^^^^^^^ variant or associated item not found in `TerminatorKind<'_>`
[INFO] [stderr] | |____|
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no variant or associated item named `Generator` found for enum `rustc_middle::mir::AggregateKind` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:637:5
[INFO] [stderr] |
[INFO] [stderr] 614 | #[args(<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>>, from: rustc_middle::mir::AggregateKind<'tcx>, state: S as s)]
[INFO] [stderr] | _______________________________________________________________-
[INFO] [stderr] 615 | | pub enum AggregateKind {
[INFO] [stderr] 616 | | Array(Ty),
[INFO] [stderr] 617 | | Tuple,
[INFO] [stderr] ... |
[INFO] [stderr] 636 | | Closure(DefId, Vec<GenericArg>),
[INFO] [stderr] 637 | | Generator(DefId, Vec<GenericArg>, Movability),
[INFO] [stderr] | | -^^^^^^^^^ variant or associated item not found in `AggregateKind<'_>`
[INFO] [stderr] | |____|
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0599]: the method `sinto` exists for reference `&Option<FieldIdx>`, but its trait bounds were not satisfied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:626:17
[INFO] [stderr] |
[INFO] [stderr] 626 | fid.sinto(s))
[INFO] [stderr] | ^^^^^ method cannot be called on `&Option<FieldIdx>` due to unsatisfied trait bounds
[INFO] [stderr] |
[INFO] [stderr] ::: /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/option.rs:563:1
[INFO] [stderr] |
[INFO] [stderr] 563 | pub enum Option<T> {
[INFO] [stderr] | ------------------ doesn't satisfy `_: SInto<_, Option<_>>`
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_target/src/abi/mod.rs:22:1
[INFO] [stderr] ::: /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_target/src/abi/mod.rs:46:1
[INFO] [stderr] |
[INFO] [stderr] = note: doesn't satisfy `rustc_target::abi::FieldIdx: sinto::SInto<_, _>`
[INFO] [stderr] |
[INFO] [stderr] note: trait bound `rustc_target::abi::FieldIdx: sinto::SInto<_, _>` was not satisfied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:60:15
[INFO] [stderr] |
[INFO] [stderr] 60 | impl<S, D, T: SInto<S, D>> SInto<S, Option<D>> for Option<T> {
[INFO] [stderr] | ^^^^^^^^^^^ ------------------- ---------
[INFO] [stderr] | |
[INFO] [stderr] | unsatisfied trait bound introduced here
[INFO] [stderr] = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stderr] note: `sinto::SInto` defines an item `sinto`, perhaps you need to implement it
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:4:1
[INFO] [stderr] |
[INFO] [stderr] 4 | pub trait SInto<S, To> {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no variant or associated item named `Pointer` found for enum `rustc_middle::mir::CastKind` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:645:5
[INFO] [stderr] |
[INFO] [stderr] 641 | #[args(<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>>, from: rustc_middle::mir::CastKind, state: S as s)]
[INFO] [stderr] | _______________________________________________________________-
[INFO] [stderr] 642 | | pub enum CastKind {
[INFO] [stderr] 643 | | PointerExposeAddress,
[INFO] [stderr] 644 | | PointerFromExposedAddress,
[INFO] [stderr] 645 | | Pointer(PointerCast),
[INFO] [stderr] | | -^^^^^^^ variant or associated item not found in `CastKind`
[INFO] [stderr] | |____|
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0599]: the method `sinto` exists for reference `&&List<FieldIdx>`, but its trait bounds were not satisfied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:661:14
[INFO] [stderr] |
[INFO] [stderr] 661 | OffsetOf(Vec<FieldIdx>),
[INFO] [stderr] | ^^^^^^^^^^^^^ method cannot be called on `&&List<FieldIdx>` due to unsatisfied trait bounds
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_middle/src/ty/list.rs:32:1
[INFO] [stderr] |
[INFO] [stderr] = note: doesn't satisfy `_: SInto<_, Vec<_>>`
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_target/src/abi/mod.rs:22:1
[INFO] [stderr] ::: /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_target/src/abi/mod.rs:46:1
[INFO] [stderr] |
[INFO] [stderr] = note: doesn't satisfy `rustc_target::abi::FieldIdx: sinto::SInto<_, _>`
[INFO] [stderr] |
[INFO] [stderr] note: trait bound `rustc_target::abi::FieldIdx: sinto::SInto<_, _>` was not satisfied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/copied.rs:1376:15
[INFO] [stderr] |
[INFO] [stderr] 1376 | impl<S, U, T: SInto<S, U>> SInto<S, Vec<U>> for rustc_middle::ty::List<T> {
[INFO] [stderr] | ^^^^^^^^^^^ ---------------- -------------------------
[INFO] [stderr] | |
[INFO] [stderr] | unsatisfied trait bound introduced here
[INFO] [stderr] note: trait bound `rustc_target::abi::FieldIdx: sinto::SInto<_, _>` was not satisfied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:71:22
[INFO] [stderr] |
[INFO] [stderr] 71 | impl<S, D: Clone, T: SInto<S, D>> SInto<S, Vec<D>> for [T] {
[INFO] [stderr] | ^^^^^^^^^^^ ---------------- ---
[INFO] [stderr] | |
[INFO] [stderr] | unsatisfied trait bound introduced here
[INFO] [stderr] = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stderr] note: `sinto::SInto` defines an item `sinto`, perhaps you need to implement it
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:4:1
[INFO] [stderr] |
[INFO] [stderr] 4 | pub trait SInto<S, To> {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] error[E0599]: the method `sinto` exists for reference `&IndexVec<FieldIdx, Operand<'_>>`, but its trait bounds were not satisfied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/types/mir.rs:679:30
[INFO] [stderr] |
[INFO] [stderr] 679 | Aggregate(AggregateKind, IndexVec<FieldIdx, Operand>),
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ method cannot be called on `&IndexVec<FieldIdx, Operand<'_>>` due to unsatisfied trait bounds
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_index/src/slice.rs:19:1
[INFO] [stderr] |
[INFO] [stderr] = note: doesn't satisfy `_: SInto<_, IndexVec<_, _>>`
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_target/src/abi/mod.rs:22:1
[INFO] [stderr] ::: /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_target/src/abi/mod.rs:46:1
[INFO] [stderr] |
[INFO] [stderr] = note: doesn't satisfy `rustc_target::abi::FieldIdx: sinto::SInto<_, _>`
[INFO] [stderr] |
[INFO] [stderr] note: trait bound `rustc_target::abi::FieldIdx: sinto::SInto<_, _>` was not satisfied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/index_vec.rs:36:31
[INFO] [stderr] |
[INFO] [stderr] 36 | I: rustc_index::Idx + SInto<S, J>,
[INFO] [stderr] | ^^^^^^^^^^^ unsatisfied trait bound introduced here
[INFO] [stderr] ...
[INFO] [stderr] 39 | > SInto<S, IndexVec<J, U>> for rustc_index::IndexSlice<I, T>
[INFO] [stderr] | ------------------------ -----------------------------
[INFO] [stderr] = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stderr] note: `sinto::SInto` defines an item `sinto`, perhaps you need to implement it
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/sinto.rs:4:1
[INFO] [stderr] |
[INFO] [stderr] 4 | pub trait SInto<S, To> {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] error[E0609]: no field `substs` on type `rustc_middle::ty::TraitRef<'tcx>`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/traits.rs:120:76
[INFO] [stderr] |
[INFO] [stderr] 120 | predicates_to_trait_predicates(tcx, predicates, self.trait_ref.substs).collect()
[INFO] [stderr] | ^^^^^^ unknown field
[INFO] [stderr] |
[INFO] [stderr] = note: available fields are: `def_id`, `args`
[INFO] [stderr]
[INFO] [stderr] error[E0609]: no field `substs` on type `rustc_middle::ty::TraitRef<'tcx>`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/traits.rs:136:44
[INFO] [stderr] |
[INFO] [stderr] 136 | ... self.trait_ref.substs,
[INFO] [stderr] | ^^^^^^ unknown field
[INFO] [stderr] |
[INFO] [stderr] = note: available fields are: `def_id`, `args`
[INFO] [stderr]
[INFO] [stderr] error[E0271]: expected `Iter<'_, Clause<'_>>` to be an iterator that yields `&Predicate<'_>`, but it yields `&Clause<'_>`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/traits.rs:135:29
[INFO] [stderr] |
[INFO] [stderr] 133 | predicates_to_trait_predicates(
[INFO] [stderr] | ------------------------------ required by a bound introduced by this call
[INFO] [stderr] 134 | tcx,
[INFO] [stderr] 135 | predicates.into_iter(),
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ expected `&Predicate<'_>`, found `&Clause<'_>`
[INFO] [stderr] |
[INFO] [stderr] = note: expected reference `&rustc_middle::ty::Predicate<'_>`
[INFO] [stderr] found reference `&rustc_middle::ty::Clause<'_>`
[INFO] [stderr] = note: required for `Copied<std::slice::Iter<'_, rustc_middle::ty::Clause<'_>>>` to implement `Iterator`
[INFO] [stderr] note: required by a bound in `predicates_to_trait_predicates`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/traits.rs:54:35
[INFO] [stderr] |
[INFO] [stderr] 52 | fn predicates_to_trait_predicates<'tcx>(
[INFO] [stderr] | ------------------------------ required by a bound in this function
[INFO] [stderr] 53 | tcx: TyCtxt<'tcx>,
[INFO] [stderr] 54 | predicates: impl Iterator<Item = Predicate<'tcx>>,
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `predicates_to_trait_predicates`
[INFO] [stderr]
[INFO] [stderr] error[E0026]: struct `rustc_middle::traits::ImplSourceUserDefinedData` does not have a field named `substs`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/traits.rs:235:17
[INFO] [stderr] |
[INFO] [stderr] 235 | substs,
[INFO] [stderr] | ^^^^^^
[INFO] [stderr] | |
[INFO] [stderr] | struct `rustc_middle::traits::ImplSourceUserDefinedData` does not have this field
[INFO] [stderr] | help: `rustc_middle::traits::ImplSourceUserDefinedData` has a field named `args`
[INFO] [stderr]
[INFO] [stderr] error[E0027]: pattern does not mention field `args`
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/traits.rs:233:37
[INFO] [stderr] |
[INFO] [stderr] 233 | ImplSource::UserDefined(ImplSourceUserDefinedData {
[INFO] [stderr] | _____________________________________^
[INFO] [stderr] 234 | | impl_def_id,
[INFO] [stderr] 235 | | substs,
[INFO] [stderr] 236 | | nested,
[INFO] [stderr] 237 | | }) => ImplExprAtom::Concrete {
[INFO] [stderr] | |_____________^ missing field `args`
[INFO] [stderr] |
[INFO] [stderr] help: include the missing field in the pattern
[INFO] [stderr] |
[INFO] [stderr] 236 | nested, args }) => ImplExprAtom::Concrete {
[INFO] [stderr] | ~~~~~~~~
[INFO] [stderr] help: if you don't care about this missing field, you can explicitly ignore it
[INFO] [stderr] |
[INFO] [stderr] 236 | nested, .. }) => ImplExprAtom::Concrete {
[INFO] [stderr] | ~~~~~~
[INFO] [stderr]
[INFO] [stderr] error[E0023]: this pattern has 2 fields, but the corresponding tuple variant has 1 field
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/traits.rs:242:31
[INFO] [stderr] |
[INFO] [stderr] 242 | ImplSource::Param(nested, _constness) => {
[INFO] [stderr] | ^^^^^^ ^^^^^^^^^^ expected 1 field, found 2
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_middle/src/traits/mod.rs:652:11
[INFO] [stderr] |
[INFO] [stderr] = note: tuple variant has 1 field
[INFO] [stderr]
[INFO] [stderr] error[E0599]: no variant or associated item named `Object` found for enum `rustc_middle::traits::ImplSource` in the current scope
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/traits.rs:267:25
[INFO] [stderr] |
[INFO] [stderr] 267 | ImplSource::Object(data) => ImplExprAtom::Dyn {
[INFO] [stderr] | ^^^^^^ variant or associated item not found in `ImplSource<'_, _>`
[INFO] [stderr]
[INFO] [stderr] error[E0023]: this pattern has 1 field, but the corresponding tuple variant has 2 fields
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/traits.rs:271:33
[INFO] [stderr] |
[INFO] [stderr] 271 | ImplSource::Builtin(x) => ImplExprAtom::Builtin {
[INFO] [stderr] | ^ expected 2 fields, found 1
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_middle/src/traits/mod.rs:655:32
[INFO] [stderr] |
[INFO] [stderr] = note: tuple variant has 2 fields
[INFO] [stderr] |
[INFO] [stderr] help: use `_` to explicitly ignore each field
[INFO] [stderr] |
[INFO] [stderr] 271 | ImplSource::Builtin(x, _) => ImplExprAtom::Builtin {
[INFO] [stderr] | +++
[INFO] [stderr]
[INFO] [stderr] error[E0277]: the trait bound `rustc_middle::ty::Binder<'_, rustc_middle::ty::TraitRef<'tcx>>: rustc_middle::ty::ToPredicate<'_, rustc_middle::ty::TraitPredicate<'_>>` is not satisfied
[INFO] [stderr] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/hax-frontend-exporter-0.1.0-pre.1/src/traits.rs:335:72
[INFO] [stderr] |
[INFO] [stderr] 335 | let obligation = Obligation::new(tcx, obligation_cause, param_env, trait_ref);
[INFO] [stderr] | --------------- ^^^^^^^^^ the trait `rustc_middle::ty::ToPredicate<'_, rustc_middle::ty::TraitPredicate<'_>>` is not implemented for `rustc_middle::ty::Binder<'_, rustc_middle::ty::TraitRef<'tcx>>`
[INFO] [stderr] | |
[INFO] [stderr] | required by a bound introduced by this call
[INFO] [stderr] |
[INFO] [stderr] = help: the following other types implement trait `rustc_middle::ty::ToPredicate<'tcx, P>`:
[INFO] [stderr] <rustc_middle::ty::Binder<'tcx, rustc_middle::ty::PredicateKind<'tcx>> as rustc_middle::ty::ToPredicate<'tcx>>
[INFO] [stderr] <rustc_middle::ty::Binder<'tcx, rustc_middle::ty::ClauseKind<'tcx>> as rustc_middle::ty::ToPredicate<'tcx>>
[INFO] [stderr] <rustc_middle::ty::Binder<'tcx, rustc_middle::ty::ClauseKind<'tcx>> as rustc_middle::ty::ToPredicate<'tcx, rustc_middle::ty::Clause<'tcx>>>
[INFO] [stderr] <rustc_middle::ty::Binder<'tcx, rustc_middle::ty::TraitRef<'tcx>> as rustc_middle::ty::ToPredicate<'tcx>>
[INFO] [stderr] <rustc_middle::ty::Binder<'tcx, rustc_middle::ty::TraitRef<'tcx>> as rustc_middle::ty::ToPredicate<'tcx, rustc_middle::ty::Clause<'tcx>>>
[INFO] [stderr] <rustc_middle::ty::Binder<'tcx, rustc_middle::ty::TraitRef<'tcx>> as rustc_middle::ty::ToPredicate<'tcx, rustc_middle::ty::Binder<'tcx, rustc_middle::ty::TraitPredicate<'tcx>>>>
[INFO] [stderr] <rustc_middle::ty::Binder<'tcx, rustc_middle::ty::TraitPredicate<'tcx>> as rustc_middle::ty::ToPredicate<'tcx>>
[INFO] [stderr] <rustc_middle::ty::Binder<'tcx, rustc_middle::ty::TraitPredicate<'tcx>> as rustc_middle::ty::ToPredicate<'tcx, rustc_middle::ty::Clause<'tcx>>>
[INFO] [stderr] and 3 others
[INFO] [stderr] note: required by a bound in `Obligation::<'tcx, O>::new`
[INFO] [stderr] --> /opt/rustwide/rustup-home/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_infer/src/traits/mod.rs:146:5
[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: E0023, E0026, E0027, E0061, E0271, E0277, E0308, E0408, E0412...
[INFO] [stderr] For more information about an error, try `rustc --explain E0023`.
[INFO] [stderr] error: could not compile `hax-frontend-exporter` (lib) due to 116 previous errors
[INFO] running `Command { std: "docker" "inspect" "68633154b8792e17b300051db8bce17dd17fc8d7501312cbbd51db34580b5d75", kill_on_drop: false }`
[WARN] too much data in the log, truncating it