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