==> Synchronizing chroot copy [/home/alhp/workspace/chroot/root] -> [build_3d2026c3-779f-45a3-9295-d0b10bd67809]...done ==> Making package: kani 0.56.0-2.1 (Sun Dec 15 11:38:54 2024) ==> Retrieving sources... -> Cloning kani-0.56.0 git repo... Cloning into bare repository '/home/alhp/workspace/build/x86-64-v3/kani-0.56.0-2/kani-0.56.0'... -> Cloning kani-charon git repo... Cloning into bare repository '/home/alhp/workspace/build/x86-64-v3/kani-0.56.0-2/kani-charon'... -> Cloning kani-firecracker git repo... Cloning into bare repository '/home/alhp/workspace/build/x86-64-v3/kani-0.56.0-2/kani-firecracker'... -> Cloning kani-s2n-quic git repo... Cloning into bare repository '/home/alhp/workspace/build/x86-64-v3/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:39:46 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 anyhow v1.0.93 Downloaded home v0.5.9 Downloaded once_cell v1.20.2 Downloaded tracing-serde v0.1.3 Downloaded tracing-tree v0.4.0 Downloaded serde-map-to-array v1.1.1 Downloaded equivalent v1.0.1 Downloaded bitflags v1.3.2 Downloaded matchers v0.1.0 Downloaded semver v1.0.23 Downloaded num_threads v0.1.7 Downloaded colorchoice v1.0.3 Downloaded itoa v1.0.11 Downloaded num-conv v0.1.0 Downloaded rustversion v1.0.18 Downloaded time-macros v0.2.18 Downloaded scopeguard v1.2.0 Downloaded errno v0.3.9 Downloaded toml_datetime v0.6.8 Downloaded byteorder v1.5.0 Downloaded anstyle-query v1.1.2 Downloaded log v0.4.22 Downloaded take_mut v0.2.2 Downloaded serde_test v1.0.177 Downloaded termtree v0.4.1 Downloaded clap_derive v4.5.18 Downloaded utf8parse v0.2.2 Downloaded graph-cycles v0.1.0 Downloaded bitflags v2.6.0 Downloaded ryu v1.0.18 Downloaded predicates-tree v1.0.11 Downloaded proc-macro2 v1.0.89 Downloaded ahash v0.8.11 Downloaded difflib v0.4.0 Downloaded clap v4.5.20 Downloaded typed-arena v2.0.2 Downloaded rustc_apfloat v0.2.1+llvm-462a31f5a5ab Downloaded time v0.3.36 Downloaded tree-sitter-language v0.1.2 Downloaded itertools v0.13.0 Downloaded winnow v0.6.20 Downloaded fastrand v2.2.0 Downloaded signal-hook-registry v1.4.2 Downloaded convert_case v0.4.0 Downloaded env_filter v0.1.2 Downloaded glob v0.3.1 Downloaded colour v2.1.0 Downloaded regex-syntax v0.6.29 Downloaded same-file v1.0.6 Downloaded psm v0.1.23 Downloaded stacker v0.1.17 Downloaded getopts v0.2.21 Downloaded derive-visitor v0.4.0 Downloaded proc-macro-error-attr2 v2.0.0 Downloaded console v0.15.8 Downloaded proc-macro-error2 v2.0.1 Downloaded crossbeam-utils v0.8.20 Downloaded rustc-demangle v0.1.24 Downloaded env_logger v0.11.5 Downloaded assert_cmd v2.0.16 Downloaded arrayvec v0.7.6 Downloaded thiserror v1.0.69 Downloaded cargo_metadata v0.18.1 Downloaded rand_chacha v0.3.1 Downloaded regex-automata v0.4.8 Downloaded unsafe-libyaml v0.2.11 Downloaded serde_yaml v0.9.34+deprecated Downloaded cc v1.1.37 Downloaded unicode-segmentation v1.12.0 Downloaded minimal-lexical v0.2.1 Downloaded itertools v0.10.5 Downloaded crossterm v0.27.0 Downloaded libc v0.2.162 Downloaded nom v7.1.3 Downloaded tree-sitter v0.23.2 Downloaded rayon v1.10.0 Downloaded rand v0.8.5 Downloaded unicode-width v0.1.14 Downloaded syn v1.0.109 Downloaded mio v1.0.2 Downloaded comfy-table v7.1.1 Downloaded rayon-core v1.12.1 Downloaded bytes v1.8.0 Downloaded bstr v1.10.0 Downloaded tree-sitter-rust v0.21.2 Downloaded derivative v2.2.0 Downloaded thiserror-impl v1.0.69 Downloaded crossbeam-epoch v0.9.18 Downloaded tempfile v3.14.0 Downloaded nom-supreme v0.8.0 Downloaded index_vec v0.1.4 Downloaded walkdir v2.5.0 Downloaded csv-core v0.1.11 Downloaded camino v1.1.9 Downloaded ppv-lite86 v0.2.20 Downloaded predicates v3.1.2 Downloaded hashlink v0.9.1 Downloaded humantime v2.1.0 Downloaded fixedbitset v0.4.2 Downloaded petgraph v0.6.5 Downloaded convert_case v0.6.0 Downloaded cargo-platform v0.1.8 Downloaded crossbeam-deque v0.8.5 Downloaded predicates-core v1.0.8 Downloaded wait-timeout v0.2.0 Downloaded brownstone v3.0.0 Downloaded arrayvec v0.5.2 Downloaded pretty v0.12.3 Downloaded tokio v1.41.1 Downloaded rustix v0.38.40 Downloaded regex-syntax v0.8.5 Downloaded rand_core v0.6.4 Downloaded syn v2.0.87 Downloaded indent_write v2.2.0 Downloaded joinery v2.1.0 Downloaded regex v1.11.1 Downloaded colored v2.1.0 Downloaded csv v1.3.1 Downloaded indoc v2.0.5 Downloaded clap_builder v4.5.20 Downloaded aho-corasick v1.1.3 Downloaded tracing-subscriber v0.3.18 Downloaded zerocopy v0.7.35 Downloaded hashbrown v0.15.1 Downloaded serde_json v1.0.132 Downloaded doc-comment v0.3.3 Downloaded derive-visitor-macros v0.4.0 Downloaded hashbrown v0.14.5 Downloaded regex-automata v0.1.10 Downloaded shlex v1.3.0 Downloaded toml_edit v0.22.22 Downloaded num-bigint v0.4.6 Downloaded indexmap v2.6.0 Downloaded memchr v2.7.4 Downloaded linux-raw-sys v0.4.14 Downloaded rustc_version v0.4.1 Downloaded serde_spanned v0.6.8 Downloaded tracing v0.1.40 Downloaded serde_stacker v0.1.11 Downloaded toml v0.8.19 Downloaded sharded-slab v0.1.7 Downloaded serde v1.0.214 Downloaded num-traits v0.2.19 Downloaded zerocopy-derive v0.7.35 Downloaded num-complex v0.4.6 Downloaded strum_macros v0.26.4 Downloaded parking_lot v0.12.3 Downloaded unicode-ident v1.0.13 Downloaded serde_derive v1.0.214 Downloaded tracing-core v0.1.32 Downloaded pathdiff v0.2.2 Downloaded strsim v0.11.1 Downloaded num-rational v0.4.2 Downloaded anstream v0.6.18 Downloaded shell-words v1.1.0 Downloaded getrandom v0.2.15 Downloaded string-interner v0.17.0 Downloaded overload v0.1.1 Downloaded nu-ansi-term v0.50.1 Downloaded parking_lot_core v0.9.10 Downloaded lock_api v0.4.12 Downloaded pin-project-lite v0.2.15 Downloaded quote v1.0.37 Downloaded powerfmt v0.2.0 Downloaded clap_lex v0.7.2 Downloaded version_check v0.9.5 Downloaded num v0.4.3 Downloaded nu-ansi-term v0.46.0 Downloaded smallvec v1.13.2 Downloaded tracing-attributes v0.1.27 Downloaded num-iter v0.1.45 Downloaded autocfg v1.4.0 Downloaded deranged v0.3.11 Downloaded which v6.0.3 Downloaded linear-map v1.2.0 Downloaded num-integer v0.1.46 Downloaded either v1.13.0 Downloaded anstyle-parse v0.2.6 Downloaded anstyle v1.0.10 Downloaded memuse v0.2.1 Downloaded heck v0.5.0 Downloaded tracing-log v0.2.0 Downloaded lazy_static v1.5.0 Downloaded cfg-if v1.0.0 Downloaded time-core v0.1.2 Downloaded is_terminal_polyfill v1.70.1 Downloaded strum v0.26.3 Downloaded os_info v3.8.2 Downloaded thread_local v1.1.8 ==> 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 regex-syntax v0.8.5 Compiling hashbrown v0.15.1 Compiling version_check v0.9.5 Compiling lazy_static v1.5.0 Compiling tracing-core v0.1.32 Compiling smallvec v1.13.2 Compiling shlex v1.3.0 Compiling ahash v0.8.11 Compiling anstyle v1.0.10 Compiling num-traits v0.2.19 Compiling pin-project-lite v0.2.15 Compiling cc v1.1.37 Compiling itoa v1.0.11 Compiling serde_json v1.0.132 Compiling utf8parse v0.2.2 Compiling colorchoice v1.0.3 Compiling ryu v1.0.18 Compiling aho-corasick v1.1.3 Compiling anstyle-parse v0.2.6 Compiling is_terminal_polyfill v1.70.1 Compiling anyhow v1.0.93 Compiling indexmap v2.6.0 Compiling bitflags v2.6.0 Compiling quote v1.0.37 Compiling regex-syntax v0.6.29 Compiling anstyle-query v1.1.2 Compiling heck v0.5.0 Compiling syn v2.0.87 Compiling anstream v0.6.18 Compiling overload v0.1.1 Compiling crossbeam-utils v0.8.20 Compiling rustix v0.38.40 Compiling home v0.5.9 Compiling semver v1.0.23 Compiling rustversion v1.0.18 Compiling num-integer v0.1.46 Compiling syn v1.0.109 Compiling nu-ansi-term v0.46.0 Compiling tracing-log v0.2.0 Compiling lock_api v0.4.12 Compiling thread_local v1.1.8 Compiling sharded-slab v0.1.7 Compiling linux-raw-sys v0.4.14 Compiling parking_lot_core v0.9.10 Compiling psm v0.1.23 Compiling num-bigint v0.4.6 Compiling unicode-width v0.1.14 Compiling either v1.13.0 Compiling strsim v0.11.1 Compiling powerfmt v0.2.0 Compiling clap_lex v0.7.2 Compiling deranged v0.3.11 Compiling regex-automata v0.4.8 Compiling clap_builder v4.5.20 Compiling num-iter v0.1.45 Compiling stacker v0.1.17 Compiling regex-automata v0.1.10 Compiling num-complex v0.4.6 Compiling scopeguard v1.2.0 Compiling num-rational v0.4.2 Compiling predicates-core v1.0.8 Compiling matchers v0.1.0 Compiling doc-comment v0.3.3 Compiling num_threads v0.1.7 Compiling num-conv v0.1.0 Compiling winnow v0.6.20 Compiling time-core v0.1.2 Compiling time v0.3.36 Compiling num v0.4.3 Compiling itertools v0.10.5 Compiling crossbeam-epoch v0.9.18 Compiling getrandom v0.2.15 Compiling convert_case v0.4.0 Compiling kani-verifier v0.56.0 (/startdir/src/kani-0.56.0) Compiling camino v1.1.9 Compiling difflib v0.4.0 Compiling assert_cmd v2.0.16 Compiling nu-ansi-term v0.50.1 Compiling termtree v0.4.1 Compiling rustc_apfloat v0.2.1+llvm-462a31f5a5ab Compiling regex v1.11.1 Compiling rayon-core v1.12.1 Compiling minimal-lexical v0.2.1 Compiling arrayvec v0.7.6 Compiling strum v0.26.3 Compiling thiserror v1.0.69 Compiling env_filter v0.1.2 Compiling nom v7.1.3 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 brownstone v3.0.0 Compiling derive-visitor-macros v0.4.0 Compiling thiserror-impl v1.0.69 Compiling predicates v3.1.2 Compiling zerocopy v0.7.35 Compiling predicates-tree v1.0.11 Compiling tracing v0.1.40 Compiling bstr v1.10.0 Compiling ppv-lite86 v0.2.20 Compiling hashbrown v0.14.5 Compiling clap v4.5.20 Compiling rand_core v0.6.4 Compiling crossbeam-deque v0.8.5 Compiling parking_lot v0.12.3 Compiling which v6.0.3 Compiling wait-timeout v0.2.0 Compiling os_info v3.8.2 Compiling fixedbitset v0.4.2 Compiling arrayvec v0.5.2 Compiling indent_write v2.2.0 Compiling unicode-segmentation v1.12.0 Compiling joinery v2.1.0 Compiling bitflags v1.3.2 Compiling typed-arena v2.0.2 Compiling humantime v2.1.0 Compiling nom-supreme v0.8.0 Compiling pretty v0.12.3 Compiling petgraph v0.6.5 Compiling env_logger v0.11.5 Compiling convert_case v0.6.0 Compiling crossterm v0.27.0 Compiling rand_chacha v0.3.1 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 mio v1.0.2 Compiling signal-hook-registry v1.4.2 Compiling colored v2.1.0 Compiling kani-compiler v0.56.0 (/startdir/src/kani-0.56.0/kani-compiler) Compiling indoc v2.0.5 Compiling bytes v1.8.0 Compiling fastrand v2.2.0 Compiling take_mut v0.2.2 Compiling kani-driver v0.56.0 (/startdir/src/kani-0.56.0/kani-driver) Compiling rayon v1.10.0 Compiling rand v0.8.5 Compiling comfy-table v7.1.1 Compiling tempfile v3.14.0 Compiling tokio v1.41.1 Compiling console v0.15.8 Compiling colour v2.1.0 Compiling pathdiff v0.2.2 Compiling shell-words v1.1.0 Compiling glob v0.3.1 Compiling rustc-demangle v0.1.24 Compiling tracing-serde v0.1.3 Compiling serde_test v1.0.177 Compiling toml_datetime v0.6.8 Compiling serde_spanned v0.6.8 Compiling string-interner v0.17.0 Compiling hashlink v0.9.1 Compiling toml_edit v0.22.22 Compiling rustc_version v0.4.1 Compiling serde-map-to-array v1.1.1 Compiling cargo-platform v0.1.8 Compiling index_vec v0.1.4 Compiling linear-map v1.2.0 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_3d2026c3-779f-45a3-9295-d0b10bd67809/build