==> Synchronizing chroot copy [/home/alhp/workspace/chroot/root] -> [build_1dd91d94-606f-4ac5-ba34-938f857aeee0]...done ==> Making package: kani 0.56.0-2.1 (Sun Dec 15 11:41:09 2024) ==> Retrieving sources... -> Cloning kani-0.56.0 git repo... Cloning into bare repository '/home/alhp/workspace/build/x86-64-v2/kani-0.56.0-2/kani-0.56.0'... -> Cloning kani-charon git repo... Cloning into bare repository '/home/alhp/workspace/build/x86-64-v2/kani-0.56.0-2/kani-charon'... -> Cloning kani-firecracker git repo... Cloning into bare repository '/home/alhp/workspace/build/x86-64-v2/kani-0.56.0-2/kani-firecracker'... -> Cloning kani-s2n-quic git repo... Cloning into bare repository '/home/alhp/workspace/build/x86-64-v2/kani-0.56.0-2/kani-s2n-quic'... ==> Validating source files with sha256sums... kani-0.56.0 ... Passed kani-charon ... Skipped kani-firecracker ... Skipped kani-s2n-quic ... Skipped ==> Making package: kani 0.56.0-2.1 (Sun Dec 15 10:42:03 2024) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Package (1) New Version Net Change extra/rustup 1.27.1-1 7.62 MiB Total Installed Size: 7.62 MiB :: Proceed with installation? [Y/n] checking keyring... checking package integrity... loading package files... checking for file conflicts... :: Processing package changes... installing rustup... You may need to run rustup update stable and possibly also rustup self upgrade-data Optional dependencies for rustup lldb: rust-lldb script gdb: rust-gdb script :: Running post-transaction hooks... (1/1) Arming ConditionNeedsUpdate... ==> Checking buildtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Package (4) New Version Net Change extra/perl-error 0.17029-7 0.04 MiB extra/perl-mailtools 2.21-9 0.10 MiB extra/perl-timedate 2.33-7 0.08 MiB extra/git 2.47.1-1 28.29 MiB Total Installed Size: 28.51 MiB :: Proceed with installation? [Y/n] checking keyring... checking package integrity... loading package files... checking for file conflicts... :: Processing package changes... installing perl-error... installing perl-timedate... installing perl-mailtools... installing git... Optional dependencies for git tk: gitk and git gui openssh: ssh transport and crypto perl-libwww: git svn perl-term-readkey: git svn and interactive.singlekey setting perl-io-socket-ssl: git send-email TLS support perl-authen-sasl: git send-email TLS support perl-mediawiki-api: git mediawiki support perl-datetime-format-iso8601: git mediawiki support perl-lwp-protocol-https: git mediawiki https support perl-cgi: gitweb (web interface) support python: git svn & git p4 subversion: git svn org.freedesktop.secrets: keyring credential helper libsecret: libsecret credential helper [installed] :: Running post-transaction hooks... (1/4) Creating system user accounts... Creating group 'git' with GID 972. Creating user 'git' (git daemon user) with UID 972 and GID 972. (2/4) Reloading system manager configuration... Skipped: Current root is not booted. (3/4) Arming ConditionNeedsUpdate... (4/4) Warn about old perl modules ==> Retrieving sources... ==> WARNING: Skipping all source file integrity checks. ==> Extracting sources... -> Creating working copy of kani-0.56.0 git repo... Cloning into 'kani-0.56.0'... done. Switched to a new branch 'makepkg' -> Creating working copy of kani-charon git repo... Cloning into 'kani-charon'... done. -> Creating working copy of kani-firecracker git repo... Cloning into 'kani-firecracker'... done. -> Creating working copy of kani-s2n-quic git repo... Cloning into 'kani-s2n-quic'... done. ==> Starting prepare()... Submodule 'charon' (https://github.com/AeneasVerif/charon) registered for path 'charon' Submodule 'firecracker' (https://github.com/firecracker-microvm/firecracker.git) registered for path 'firecracker' Submodule 'tests/perf/s2n-quic' (https://github.com/aws/s2n-quic) registered for path 'tests/perf/s2n-quic' Cloning into '/startdir/src/kani-0.56.0/charon'... done. Cloning into '/startdir/src/kani-0.56.0/firecracker'... done. Cloning into '/startdir/src/kani-0.56.0/tests/perf/s2n-quic'... done. Submodule path 'charon': checked out '2193aa00fd89e991226ada10d8a8f66e0594f212' Submodule path 'firecracker': checked out 'cd36c699f3cb3d531289aadee26c45c1306edcfc' Submodule path 'tests/perf/s2n-quic': checked out 'cb41b35a9bc0412435b70b5038df0681a881e414' info: syncing channel updates for 'nightly-x86_64-unknown-linux-gnu' info: latest update on 2024-12-15, rust version 1.85.0-nightly (0aeaa5eb2 2024-12-14) info: downloading component 'cargo' info: downloading component 'clippy' info: downloading component 'rust-docs' info: downloading component 'rust-std' info: downloading component 'rustc' info: downloading component 'rustfmt' info: installing component 'cargo' info: installing component 'clippy' info: installing component 'rust-docs' info: installing component 'rust-std' info: installing component 'rustc' info: installing component 'rustfmt' info: downloading component 'rust-src' info: installing component 'rust-src' info: downloading component 'rustc-dev' info: installing component 'rustc-dev' info: downloading component 'llvm-tools' info: installing component 'llvm-tools' Updating crates.io index Updating git repository `https://github.com/Nadrieril/tracing-tree` Downloading crates ... Downloaded quote v1.0.37 Downloaded anyhow v1.0.93 Downloaded equivalent v1.0.1 Downloaded tracing-serde v0.1.3 Downloaded rustc_version v0.4.1 Downloaded tracing-log v0.2.0 Downloaded humantime v2.1.0 Downloaded matchers v0.1.0 Downloaded num_threads v0.1.7 Downloaded is_terminal_polyfill v1.70.1 Downloaded wait-timeout v0.2.0 Downloaded strum v0.26.3 Downloaded thread_local v1.1.8 Downloaded index_vec v0.1.4 Downloaded lazy_static v1.5.0 Downloaded joinery v2.1.0 Downloaded take_mut v0.2.2 Downloaded time-core v0.1.2 Downloaded num-conv v0.1.0 Downloaded itoa v1.0.11 Downloaded anstyle v1.0.10 Downloaded home v0.5.9 Downloaded cfg-if v1.0.0 Downloaded linear-map v1.2.0 Downloaded version_check v0.9.5 Downloaded num-iter v0.1.45 Downloaded scopeguard v1.2.0 Downloaded heck v0.5.0 Downloaded powerfmt v0.2.0 Downloaded memuse v0.2.1 Downloaded difflib v0.4.0 Downloaded utf8parse v0.2.2 Downloaded num v0.4.3 Downloaded smallvec v1.13.2 Downloaded toml_datetime v0.6.8 Downloaded derive-visitor-macros v0.4.0 Downloaded serde_test v1.0.177 Downloaded either v1.13.0 Downloaded num-rational v0.4.2 Downloaded time-macros v0.2.18 Downloaded termtree v0.4.1 Downloaded serde_derive v1.0.214 Downloaded autocfg v1.4.0 Downloaded deranged v0.3.11 Downloaded anstream v0.6.18 Downloaded getrandom v0.2.15 Downloaded toml v0.8.19 Downloaded typed-arena v2.0.2 Downloaded parking_lot_core v0.9.10 Downloaded ahash v0.8.11 Downloaded proc-macro2 v1.0.89 Downloaded indexmap v2.6.0 Downloaded tree-sitter-language v0.1.2 Downloaded hashbrown v0.15.1 Downloaded toml_edit v0.22.22 Downloaded derive-visitor v0.4.0 Downloaded zerocopy v0.7.35 Downloaded predicates-core v1.0.8 Downloaded clap_builder v4.5.20 Downloaded serde_stacker v0.1.11 Downloaded predicates-tree v1.0.11 Downloaded bitflags v1.3.2 Downloaded env_filter v0.1.2 Downloaded regex v1.11.1 Downloaded shlex v1.3.0 Downloaded regex-syntax v0.6.29 Downloaded regex-syntax v0.8.5 Downloaded stacker v0.1.17 Downloaded semver v1.0.23 Downloaded proc-macro-error2 v2.0.1 Downloaded walkdir v2.5.0 Downloaded csv-core v0.1.11 Downloaded rustix v0.38.40 Downloaded camino v1.1.9 Downloaded graph-cycles v0.1.0 Downloaded unsafe-libyaml v0.2.11 Downloaded cc v1.1.37 Downloaded crossterm v0.27.0 Downloaded nom v7.1.3 Downloaded tree-sitter v0.23.2 Downloaded rayon v1.10.0 Downloaded unicode-segmentation v1.12.0 Downloaded itertools v0.10.5 Downloaded syn v1.0.109 Downloaded unicode-width v0.1.14 Downloaded regex-automata v0.4.8 Downloaded tree-sitter-rust v0.21.2 Downloaded bstr v1.10.0 Downloaded mio v1.0.2 Downloaded minimal-lexical v0.2.1 Downloaded serde_yaml v0.9.34+deprecated Downloaded comfy-table v7.1.1 Downloaded pathdiff v0.2.2 Downloaded libc v0.2.162 Downloaded rand v0.8.5 Downloaded rayon-core v1.12.1 Downloaded rustc_apfloat v0.2.1+llvm-462a31f5a5ab Downloaded petgraph v0.6.5 Downloaded crossbeam-epoch v0.9.18 Downloaded crossbeam-utils v0.8.20 Downloaded bytes v1.8.0 Downloaded tokio v1.41.1 Downloaded csv v1.3.1 Downloaded env_logger v0.11.5 Downloaded arrayvec v0.5.2 Downloaded thiserror-impl v1.0.69 Downloaded rustc-demangle v0.1.24 Downloaded derivative v2.2.0 Downloaded hashlink v0.9.1 Downloaded serde_spanned v0.6.8 Downloaded getopts v0.2.21 Downloaded same-file v1.0.6 Downloaded cargo_metadata v0.18.1 Downloaded console v0.15.8 Downloaded rand_core v0.6.4 Downloaded fastrand v2.2.0 Downloaded tempfile v3.14.0 Downloaded signal-hook-registry v1.4.2 Downloaded assert_cmd v2.0.16 Downloaded arrayvec v0.7.6 Downloaded nom-supreme v0.8.0 Downloaded fixedbitset v0.4.2 Downloaded pretty v0.12.3 Downloaded syn v2.0.87 Downloaded psm v0.1.23 Downloaded proc-macro-error-attr2 v2.0.0 Downloaded cargo-platform v0.1.8 Downloaded thiserror v1.0.69 Downloaded glob v0.3.1 Downloaded ppv-lite86 v0.2.20 Downloaded rand_chacha v0.3.1 Downloaded crossbeam-deque v0.8.5 Downloaded predicates v3.1.2 Downloaded indoc v2.0.5 Downloaded convert_case v0.6.0 Downloaded convert_case v0.4.0 Downloaded aho-corasick v1.1.3 Downloaded tracing-subscriber v0.3.18 Downloaded colored v2.1.0 Downloaded serde-map-to-array v1.1.1 Downloaded winnow v0.6.20 Downloaded itertools v0.13.0 Downloaded hashbrown v0.14.5 Downloaded regex-automata v0.1.10 Downloaded serde_json v1.0.132 Downloaded brownstone v3.0.0 Downloaded indent_write v2.2.0 Downloaded time v0.3.36 Downloaded num-bigint v0.4.6 Downloaded memchr v2.7.4 Downloaded linux-raw-sys v0.4.14 Downloaded tracing v0.1.40 Downloaded serde v1.0.214 Downloaded tracing-core v0.1.32 Downloaded sharded-slab v0.1.7 Downloaded tracing-attributes v0.1.27 Downloaded bitflags v2.6.0 Downloaded clap v4.5.20 Downloaded num-traits v0.2.19 Downloaded log v0.4.22 Downloaded zerocopy-derive v0.7.35 Downloaded nu-ansi-term v0.46.0 Downloaded parking_lot v0.12.3 Downloaded once_cell v1.20.2 Downloaded ryu v1.0.18 Downloaded unicode-ident v1.0.13 Downloaded clap_derive v4.5.18 Downloaded num-complex v0.4.6 Downloaded nu-ansi-term v0.50.1 Downloaded strum_macros v0.26.4 Downloaded overload v0.1.1 Downloaded lock_api v0.4.12 Downloaded anstyle-query v1.1.2 Downloaded strsim v0.11.1 Downloaded rustversion v1.0.18 Downloaded tracing-tree v0.4.0 Downloaded byteorder v1.5.0 Downloaded pin-project-lite v0.2.15 Downloaded which v6.0.3 Downloaded colorchoice v1.0.3 Downloaded clap_lex v0.7.2 Downloaded os_info v3.8.2 Downloaded string-interner v0.17.0 Downloaded errno v0.3.9 Downloaded anstyle-parse v0.2.6 Downloaded num-integer v0.1.46 Downloaded shell-words v1.1.0 Downloaded doc-comment v0.3.3 Downloaded colour v2.1.0 ==> Starting build()... Compiling proc-macro2 v1.0.89 Compiling unicode-ident v1.0.13 Compiling serde v1.0.214 Compiling cfg-if v1.0.0 Compiling libc v0.2.162 Compiling autocfg v1.4.0 Compiling once_cell v1.20.2 Compiling memchr v2.7.4 Compiling byteorder v1.5.0 Compiling log v0.4.22 Compiling equivalent v1.0.1 Compiling hashbrown v0.15.1 Compiling regex-syntax v0.8.5 Compiling version_check v0.9.5 Compiling smallvec v1.13.2 Compiling tracing-core v0.1.32 Compiling lazy_static v1.5.0 Compiling anstyle v1.0.10 Compiling shlex v1.3.0 Compiling pin-project-lite v0.2.15 Compiling utf8parse v0.2.2 Compiling cc v1.1.37 Compiling serde_json v1.0.132 Compiling num-traits v0.2.19 Compiling itoa v1.0.11 Compiling ahash v0.8.11 Compiling anstyle-parse v0.2.6 Compiling anyhow v1.0.93 Compiling colorchoice v1.0.3 Compiling anstyle-query v1.1.2 Compiling aho-corasick v1.1.3 Compiling ryu v1.0.18 Compiling regex-syntax v0.6.29 Compiling quote v1.0.37 Compiling indexmap v2.6.0 Compiling bitflags v2.6.0 Compiling heck v0.5.0 Compiling syn v2.0.87 Compiling is_terminal_polyfill v1.70.1 Compiling anstream v0.6.18 Compiling syn v1.0.109 Compiling rustix v0.38.40 Compiling rustversion v1.0.18 Compiling overload v0.1.1 Compiling home v0.5.9 Compiling semver v1.0.23 Compiling crossbeam-utils v0.8.20 Compiling nu-ansi-term v0.46.0 Compiling tracing-log v0.2.0 Compiling lock_api v0.4.12 Compiling num-integer v0.1.46 Compiling sharded-slab v0.1.7 Compiling thread_local v1.1.8 Compiling either v1.13.0 Compiling strsim v0.11.1 Compiling linux-raw-sys v0.4.14 Compiling psm v0.1.23 Compiling num-bigint v0.4.6 Compiling clap_lex v0.7.2 Compiling powerfmt v0.2.0 Compiling parking_lot_core v0.9.10 Compiling unicode-width v0.1.14 Compiling deranged v0.3.11 Compiling clap_builder v4.5.20 Compiling num-iter v0.1.45 Compiling stacker v0.1.17 Compiling regex-automata v0.4.8 Compiling num-complex v0.4.6 Compiling regex-automata v0.1.10 Compiling predicates-core v1.0.8 Compiling num-rational v0.4.2 Compiling scopeguard v1.2.0 Compiling num-conv v0.1.0 Compiling doc-comment v0.3.3 Compiling matchers v0.1.0 Compiling num_threads v0.1.7 Compiling time-core v0.1.2 Compiling winnow v0.6.20 Compiling itertools v0.10.5 Compiling time v0.3.36 Compiling num v0.4.3 Compiling crossbeam-epoch v0.9.18 Compiling getrandom v0.2.15 Compiling thiserror v1.0.69 Compiling difflib v0.4.0 Compiling convert_case v0.4.0 Compiling strum v0.26.3 Compiling minimal-lexical v0.2.1 Compiling camino v1.1.9 Compiling assert_cmd v2.0.16 Compiling rustc_apfloat v0.2.1+llvm-462a31f5a5ab Compiling kani-verifier v0.56.0 (/startdir/src/kani-0.56.0) Compiling arrayvec v0.7.6 Compiling regex v1.11.1 Compiling nu-ansi-term v0.50.1 Compiling rayon-core v1.12.1 Compiling termtree v0.4.1 Compiling derive-visitor-macros v0.4.0 Compiling bstr v1.10.0 Compiling brownstone v3.0.0 Compiling predicates-tree v1.0.11 Compiling nom v7.1.3 Compiling env_filter v0.1.2 Compiling serde_derive v1.0.214 Compiling zerocopy-derive v0.7.35 Compiling tracing-attributes v0.1.27 Compiling clap_derive v4.5.18 Compiling strum_macros v0.26.4 Compiling thiserror-impl v1.0.69 Compiling predicates v3.1.2 Compiling zerocopy v0.7.35 Compiling rand_core v0.6.4 Compiling parking_lot v0.12.3 Compiling tracing v0.1.40 Compiling ppv-lite86 v0.2.20 Compiling hashbrown v0.14.5 Compiling crossbeam-deque v0.8.5 Compiling which v6.0.3 Compiling wait-timeout v0.2.0 Compiling os_info v3.8.2 Compiling joinery v2.1.0 Compiling bitflags v1.3.2 Compiling indent_write v2.2.0 Compiling fixedbitset v0.4.2 Compiling arrayvec v0.5.2 Compiling typed-arena v2.0.2 Compiling unicode-segmentation v1.12.0 Compiling humantime v2.1.0 Compiling petgraph v0.6.5 Compiling nom-supreme v0.8.0 Compiling clap v4.5.20 Compiling pretty v0.12.3 Compiling env_logger v0.11.5 Compiling convert_case v0.6.0 Compiling rand_chacha v0.3.1 Compiling crossterm v0.27.0 Compiling derive-visitor v0.4.0 Compiling macros v0.1.0 (/startdir/src/kani-0.56.0/charon/charon/macros) Compiling derivative v2.2.0 Compiling itertools v0.13.0 Compiling signal-hook-registry v1.4.2 Compiling mio v1.0.2 Compiling colored v2.1.0 Compiling indoc v2.0.5 Compiling kani-compiler v0.56.0 (/startdir/src/kani-0.56.0/kani-compiler) Compiling take_mut v0.2.2 Compiling kani-driver v0.56.0 (/startdir/src/kani-0.56.0/kani-driver) Compiling fastrand v2.2.0 Compiling bytes v1.8.0 Compiling comfy-table v7.1.1 Compiling rayon v1.10.0 Compiling tempfile v3.14.0 Compiling rand v0.8.5 Compiling tokio v1.41.1 Compiling console v0.15.8 Compiling glob v0.3.1 Compiling colour v2.1.0 Compiling shell-words v1.1.0 Compiling rustc-demangle v0.1.24 Compiling pathdiff v0.2.2 Compiling tracing-serde v0.1.3 Compiling serde_test v1.0.177 Compiling serde_spanned v0.6.8 Compiling toml_datetime v0.6.8 Compiling string-interner v0.17.0 Compiling serde-map-to-array v1.1.1 Compiling hashlink v0.9.1 Compiling toml_edit v0.22.22 Compiling rustc_version v0.4.1 Compiling index_vec v0.1.4 Compiling linear-map v1.2.0 Compiling cargo-platform v0.1.8 Compiling serde_stacker v0.1.11 Compiling cprover_bindings v0.56.0 (/startdir/src/kani-0.56.0/cprover_bindings) Compiling tracing-subscriber v0.3.18 Compiling cargo_metadata v0.18.1 Compiling kani_metadata v0.56.0 (/startdir/src/kani-0.56.0/kani_metadata) Compiling toml v0.8.19 Compiling tracing-tree v0.4.0 (https://github.com/Nadrieril/tracing-tree#841286bf) Compiling tracing-tree v0.4.0 Compiling charon v0.1.45 (/startdir/src/kani-0.56.0/charon/charon) error[E0432]: unresolved import `rustc_middle::ty::layout::HasParamEnv` --> kani-compiler/src/codegen_cprover_gotoc/context/goto_ctx.rs:32:47 | 32 | FnAbiError, FnAbiOfHelpers, FnAbiRequest, HasParamEnv, HasTyCtxt, LayoutError, LayoutOfHelpers, | ^^^^^^^^^^^ no `HasParamEnv` in `ty::layout` error[E0432]: unresolved import `rustc_middle::ty::layout::HasParamEnv` --> kani-compiler/src/kani_middle/mod.rs:12:56 | 12 | FnAbiError, FnAbiOf, FnAbiOfHelpers, FnAbiRequest, HasParamEnv, HasTyCtxt, LayoutError, | ^^^^^^^^^^^ no `HasParamEnv` in `ty::layout` error[E0407]: method `apply_statement_effect` is not a member of trait `Analysis` --> kani-compiler/src/kani_middle/points_to/points_to_analysis.rs:139:5 | 139 | fn apply_statement_effect( | ^ ---------------------- help: there is an associated function with a similar name: `apply_early_statement_effect` | _____| | | 140 | | &mut self, 141 | | state: &mut Self::Domain, 142 | | statement: &Statement<'tcx>, ... | 184 | | } | |_____^ not a member of trait `Analysis` error[E0407]: method `apply_terminator_effect` is not a member of trait `Analysis` --> kani-compiler/src/kani_middle/points_to/points_to_analysis.rs:186:5 | 186 | fn apply_terminator_effect<'mir>( | ^ ----------------------- help: there is an associated function with a similar name: `apply_early_terminator_effect` | _____| | | 187 | | &mut self, 188 | | state: &mut Self::Domain, 189 | | terminator: &'mir Terminator<'tcx>, ... | 335 | | terminator.edges() 336 | | } | |_____^ not a member of trait `Analysis` error[E0053]: method `link` has an incompatible type for trait --> kani-compiler/src/codegen_aeneas_llbc/compiler_interface.rs:328:10 | 328 | ) -> Result<(), ErrorGuaranteed> { | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `()`, found `Result<(), ErrorGuaranteed>` | = note: expected signature `fn(&LlbcCodegenBackend, &Session, CodegenResults, &OutputFilenames) -> ()` found signature `fn(&LlbcCodegenBackend, &Session, CodegenResults, &OutputFilenames) -> Result<(), ErrorGuaranteed>` help: change the output type to match the trait | 328 | ) -> () { | ~~ error[E0053]: method `link` has an incompatible type for trait --> kani-compiler/src/codegen_cprover_gotoc/compiler_interface.rs:411:10 | 411 | ) -> Result<(), ErrorGuaranteed> { | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `()`, found `Result<(), ErrorGuaranteed>` | = note: expected signature `fn(&GotocCodegenBackend, &Session, CodegenResults, &OutputFilenames) -> ()` found signature `fn(&GotocCodegenBackend, &Session, CodegenResults, &OutputFilenames) -> Result<(), ErrorGuaranteed>` help: change the output type to match the trait | 411 | ) -> () { | ~~ error[E0277]: the trait bound `GotocCtx<'tcx>: HasTypingEnv<'tcx>` is not satisfied --> kani-compiler/src/codegen_cprover_gotoc/context/goto_ctx.rs:331:38 | 331 | impl<'tcx> LayoutOfHelpers<'tcx> for GotocCtx<'tcx> { | ^^^^^^^^^^^^^^ the trait `HasTypingEnv<'tcx>` is not implemented for `GotocCtx<'tcx>` | = help: the following other types implement trait `HasTypingEnv<'tcx>`: LayoutCx<'tcx> rustc_const_eval::interpret::eval_context::InterpCx<'tcx, M> rustc_lint::context::LateContext<'tcx> rustc_smir::rustc_smir::Tables<'tcx> note: required by a bound in `LayoutOfHelpers` --> /build/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_middle/src/ty/layout.rs:658:1 error[E0277]: the trait bound `GotocCtx<'tcx>: HasTypingEnv<'tcx>` is not satisfied --> kani-compiler/src/codegen_cprover_gotoc/context/goto_ctx.rs:359:37 | 359 | impl<'tcx> FnAbiOfHelpers<'tcx> for GotocCtx<'tcx> { | ^^^^^^^^^^^^^^ the trait `HasTypingEnv<'tcx>` is not implemented for `GotocCtx<'tcx>` | = help: the following other types implement trait `HasTypingEnv<'tcx>`: LayoutCx<'tcx> rustc_const_eval::interpret::eval_context::InterpCx<'tcx, M> rustc_lint::context::LateContext<'tcx> rustc_smir::rustc_smir::Tables<'tcx> = note: required for `GotocCtx<'tcx>` to implement `LayoutOfHelpers<'tcx>` note: required by a bound in `FnAbiOfHelpers` --> /build/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_middle/src/ty/layout.rs:1281:1 error[E0053]: method `after_analysis` has an incompatible type for trait --> kani-compiler/src/kani_compiler.rs:130:24 | 130 | rustc_queries: &'tcx rustc_interface::Queries<'tcx>, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `TyCtxt<'tcx>`, found `&Queries<'_>` | = note: expected signature `fn(&mut KaniCompiler, &Compiler, TyCtxt<'tcx>) -> Compilation` found signature `fn(&mut KaniCompiler, &Compiler, &Queries<'_>) -> Compilation` help: change the parameter type to match the trait | 130 | rustc_queries: TyCtxt<'tcx>, | ~~~~~~~~~~~~ error[E0277]: the trait bound `CompilerHelpers<'tcx>: HasTypingEnv<'tcx>` is not satisfied --> kani-compiler/src/kani_middle/mod.rs:189:38 | 189 | impl<'tcx> LayoutOfHelpers<'tcx> for CompilerHelpers<'tcx> { | ^^^^^^^^^^^^^^^^^^^^^ the trait `HasTypingEnv<'tcx>` is not implemented for `CompilerHelpers<'tcx>` | = help: the following other types implement trait `HasTypingEnv<'tcx>`: LayoutCx<'tcx> rustc_const_eval::interpret::eval_context::InterpCx<'tcx, M> rustc_lint::context::LateContext<'tcx> rustc_smir::rustc_smir::Tables<'tcx> note: required by a bound in `LayoutOfHelpers` --> /build/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_middle/src/ty/layout.rs:658:1 error[E0277]: the trait bound `CompilerHelpers<'tcx>: HasTypingEnv<'tcx>` is not satisfied --> kani-compiler/src/kani_middle/mod.rs:199:37 | 199 | impl<'tcx> FnAbiOfHelpers<'tcx> for CompilerHelpers<'tcx> { | ^^^^^^^^^^^^^^^^^^^^^ the trait `HasTypingEnv<'tcx>` is not implemented for `CompilerHelpers<'tcx>` | = help: the following other types implement trait `HasTypingEnv<'tcx>`: LayoutCx<'tcx> rustc_const_eval::interpret::eval_context::InterpCx<'tcx, M> rustc_lint::context::LateContext<'tcx> rustc_smir::rustc_smir::Tables<'tcx> = note: required for `CompilerHelpers<'tcx>` to implement `LayoutOfHelpers<'tcx>` note: required by a bound in `FnAbiOfHelpers` --> /build/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_middle/src/ty/layout.rs:1281:1 error[E0046]: not all trait items implemented, missing: `apply_primary_statement_effect` --> kani-compiler/src/kani_middle/points_to/points_to_analysis.rs:117:1 | 117 | impl<'tcx> Analysis<'tcx> for PointsToAnalysis<'_, 'tcx> { | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `apply_primary_statement_effect` in implementation | = help: implement the missing item: `fn apply_primary_statement_effect(&mut self, _: &mut >::Domain, _: &rustc_middle::mir::Statement<'tcx>, _: rustc_middle::mir::Location) { todo!() }` error[E0061]: this method takes 2 arguments but 1 argument was supplied --> kani-compiler/src/session.rs:68:21 | 68 | emitter.emit_diagnostic(diagnostic); | ^^^^^^^^^^^^^^^------------ argument #2 of type `&rustc_errors::registry::Registry` is missing | note: method defined here --> /build/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/compiler/rustc_errors/src/emitter.rs:185:8 help: provide the argument | 68 | emitter.emit_diagnostic(diagnostic, /* &rustc_errors::registry::Registry */); | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Some errors have detailed explanations: E0046, E0053, E0061, E0277, E0407, E0432. For more information about an error, try `rustc --explain E0046`. error: could not compile `kani-compiler` (bin "kani-compiler") due to 13 previous errors warning: build failed, waiting for other jobs to finish... ==> ERROR: A failure occurred in build(). Aborting... ==> ERROR: Build failed, check /home/alhp/workspace/chroot/build_1dd91d94-606f-4ac5-ba34-938f857aeee0/build