:: Synchronizing package databases... build-support-manual downloading... build-support downloading... core-staging downloading... extra-staging downloading... core-testing downloading... core downloading... extra-testing downloading... extra downloading... :: Starting full system upgrade... there is nothing to do ==> Building in chroot for [extra-staging-with-build-support] (i686)... ==> Synchronizing chroot copy [/var/lib/archbuild/extra-staging-with-build-support-i686/root] -> [build]...done ==> Making package: kani 0.61.0-1.0 (Sun Apr 20 05:07:01 2025) ==> Retrieving sources... -> Updating kani-0.61.0 git repo... -> Updating kani-charon git repo... -> Updating kani-firecracker git repo... -> Updating kani-s2n-quic git repo... ==> Validating source files with sha256sums... kani-0.61.0 ... Passed kani-charon ... Skipped kani-firecracker ... Skipped kani-s2n-quic ... Skipped gpg: Warning: using insecure memory! ==> Appending keys from archlinux32.gpg... gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! gpg: Warning: using insecure memory! ==> Updating trust database... gpg: Warning: using insecure memory! gpg: next trustdb check due at 2025-06-16 ==> Making package: kani 0.61.0-1.0 (Sun Apr 20 05:07:06 2025) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (1) rustup-1.27.1-1.0 Total Installed Size: 6.56 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... Packages (4) perl-error-0.17029-7.0 perl-mailtools-2.22-1.0 perl-timedate-2.33-7.0 git-2.47.1-1.0 Total Installed Size: 28.45 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 [installed] subversion: git svn org.freedesktop.secrets: keyring credential helper libsecret: libsecret credential helper [installed] :: Running post-transaction hooks... (1/4) Creating system user accounts... /usr/lib/sysusers.d/uuidd.conf:1: Unknown modifier 'u!'. 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.61.0 git repo... Cloning into 'kani-0.61.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 '/build/kani/src/kani-0.61.0/charon'... done. Cloning into '/build/kani/src/kani-0.61.0/firecracker'... done. Cloning into '/build/kani/src/kani-0.61.0/tests/perf/s2n-quic'... done. Submodule path 'charon': checked out 'df3b7fd4c1277827c92b4a2cb84347f1f54d92a6' Submodule path 'firecracker': checked out 'cd36c699f3cb3d531289aadee26c45c1306edcfc' Submodule path 'tests/perf/s2n-quic': checked out 'd0aff821d596f279c2fe3af1cfb946174196c257' info: syncing channel updates for 'nightly-2025-04-03-i686-unknown-linux-gnu' info: latest update on 2025-04-03, rust version 1.88.0-nightly (d5b4c2e4f 2025-04-02) info: downloading component 'cargo' info: downloading component 'clippy' info: downloading component 'llvm-tools' info: downloading component 'rust-docs' info: downloading component 'rust-src' info: downloading component 'rust-std' info: downloading component 'rustc' info: downloading component 'rustc-dev' info: downloading component 'rustfmt' info: installing component 'cargo' info: installing component 'clippy' info: installing component 'llvm-tools' info: installing component 'rust-docs' info: installing component 'rust-src' info: installing component 'rust-std' info: installing component 'rustc' info: installing component 'rustc-dev' info: installing component 'rustfmt' info: component 'rust-src' is up to date info: component 'rustc-dev' for target 'i686-unknown-linux-gnu' is up to date info: component 'llvm-tools' for target 'i686-unknown-linux-gnu' is up to date Updating crates.io index Updating git repository `https://github.com/Nadrieril/tracing-tree` Downloading crates ... Downloaded log v0.4.27 Downloaded home v0.5.11 Downloaded os_info v3.10.0 Downloaded tracing-core v0.1.33 Downloaded semver v1.0.26 Downloaded fixedbitset v0.4.2 Downloaded anyhow v1.0.97 Downloaded once_cell v1.21.3 Downloaded tracing-serde v0.2.0 Downloaded quote v1.0.40 Downloaded unicode-ident v1.0.18 Downloaded proc-macro2 v1.0.94 Downloaded serde_derive v1.0.219 Downloaded pin-project-lite v0.2.16 Downloaded joinery v2.1.0 Downloaded thread_local v1.1.8 Downloaded cfg-if v1.0.0 Downloaded tracing-attributes v0.1.28 Downloaded sharded-slab v0.1.7 Downloaded indent_write v2.2.0 Downloaded arrayvec v0.7.6 Downloaded smallvec v1.14.0 Downloaded tracing-tree v0.4.0 Downloaded hashlink v0.9.1 Downloaded indoc v2.0.6 Downloaded ahash v0.8.11 Downloaded version_check v0.9.5 Downloaded getrandom v0.2.15 Downloaded nom-supreme v0.8.0 Downloaded tracing-subscriber v0.3.19 Downloaded darling v0.20.11 Downloaded env_filter v0.1.3 Downloaded ryu v1.0.20 Downloaded env_logger v0.11.7 Downloaded darling_macro v0.20.11 Downloaded brownstone v3.0.0 Downloaded itoa v1.0.15 Downloaded fnv v1.0.7 Downloaded convert_case v0.6.0 Downloaded foldhash v0.1.5 Downloaded equivalent v1.0.2 Downloaded assert_cmd v2.0.16 Downloaded signal-hook-registry v1.4.2 Downloaded annotate-snippets v0.11.5 Downloaded predicates v3.1.3 Downloaded predicates-core v1.0.9 Downloaded termtree v0.5.1 Downloaded predicates-tree v1.0.12 Downloaded wait-timeout v0.2.1 Downloaded colored v2.2.0 Downloaded ident_case v1.0.1 Downloaded index_vec v0.1.4 Downloaded serde_stacker v0.1.12 Downloaded rustc-demangle v0.1.24 Downloaded fastrand v2.3.0 Downloaded getrandom v0.3.2 Downloaded tempfile v3.19.1 Downloaded thiserror-impl v1.0.69 Downloaded thiserror v1.0.69 Downloaded heck v0.5.0 Downloaded nu-ansi-term v0.50.1 Downloaded matchers v0.1.0 Downloaded overload v0.1.1 Downloaded nu-ansi-term v0.46.0 Downloaded autocfg v1.4.0 Downloaded scopeguard v1.2.0 Downloaded lock_api v0.4.12 Downloaded parking_lot_core v0.9.10 Downloaded parking_lot v0.12.3 Downloaded proc-macro-error-attr2 v2.0.0 Downloaded cargo-platform v0.1.9 Downloaded thiserror-impl v2.0.12 Downloaded thiserror v2.0.12 Downloaded cargo_metadata v0.19.2 Downloaded console v0.15.11 Downloaded pathdiff v0.2.3 Downloaded crossbeam-epoch v0.9.18 Downloaded crossbeam-deque v0.8.6 Downloaded crossbeam-utils v0.8.21 Downloaded doc-comment v0.3.3 Downloaded difflib v0.4.0 Downloaded proc-macro-error2 v2.0.1 Downloaded getopts v0.2.21 Downloaded glob v0.3.2 Downloaded unsafe-libyaml v0.2.11 Downloaded serde_yaml v0.9.34+deprecated Downloaded same-file v1.0.6 Downloaded walkdir v2.5.0 Downloaded streaming-iterator v0.1.9 Downloaded tree-sitter-language v0.1.5 Downloaded csv-core v0.1.12 Downloaded fixedbitset v0.5.7 Downloaded camino v1.1.9 Downloaded zerocopy v0.7.35 Downloaded hashbrown v0.14.5 Downloaded itertools v0.13.0 Downloaded minimal-lexical v0.2.1 Downloaded nom v7.1.3 Downloaded unicode-segmentation v1.12.0 Downloaded darling_core v0.20.11 Downloaded crossterm v0.28.1 Downloaded mio v1.0.3 Downloaded rustc_version v0.4.1 Downloaded anstyle v1.0.10 Downloaded clap_lex v0.7.4 Downloaded strsim v0.11.1 Downloaded clap_derive v4.5.32 Downloaded clap v4.5.34 Downloaded linear-map v1.2.0 Downloaded memuse v0.2.2 Downloaded serde_test v1.0.177 Downloaded clap_builder v4.5.34 Downloaded regex v1.11.1 Downloaded hashbrown v0.15.2 Downloaded indexmap v2.8.0 Downloaded memchr v2.7.4 Downloaded serde_json v1.0.140 Downloaded tracing v0.1.41 Downloaded num-complex v0.4.6 Downloaded num-iter v0.1.45 Downloaded num-integer v0.1.46 Downloaded num-rational v0.4.2 Downloaded num-traits v0.2.19 Downloaded num v0.4.3 Downloaded strum v0.27.1 Downloaded rustversion v1.0.20 Downloaded strum_macros v0.27.1 Downloaded lazy_static v1.5.0 Downloaded tracing-log v0.2.0 Downloaded tree-sitter v0.25.3 Downloaded bytes v1.10.1 Downloaded serde v1.0.219 Downloaded shlex v1.3.0 Downloaded psm v0.1.25 Downloaded stacker v0.1.20 Downloaded take_mut v0.2.2 Downloaded serde_spanned v0.6.8 Downloaded toml_datetime v0.6.8 Downloaded toml v0.8.20 Downloaded deranged v0.4.1 Downloaded num_threads v0.1.7 Downloaded powerfmt v0.2.0 Downloaded num-conv v0.1.0 Downloaded time-core v0.1.4 Downloaded time-macros v0.2.22 Downloaded env_home v0.1.0 Downloaded bitflags v2.9.0 Downloaded errno v0.3.10 Downloaded which v7.0.2 Downloaded aho-corasick v1.1.3 Downloaded either v1.15.0 Downloaded anstyle-parse v0.2.6 Downloaded anstyle-query v1.1.2 Downloaded colorchoice v1.0.3 Downloaded is_terminal_polyfill v1.70.1 Downloaded utf8parse v0.2.2 Downloaded anstream v0.6.18 Downloaded comfy-table v7.1.4 Downloaded rayon-core v1.12.1 Downloaded rayon v1.10.0 Downloaded itertools v0.14.0 Downloaded regex-automata v0.1.10 Downloaded cc v1.2.17 Downloaded num-bigint v0.4.6 Downloaded graph-cycles v0.2.0 Downloaded to_markdown_table v0.1.5 Downloaded derive_generic_visitor_macros v0.1.1 Downloaded derive_generic_visitor v0.1.1 Downloaded bstr v1.11.3 Downloaded serde-map-to-array v1.1.1 Downloaded regex-syntax v0.8.5 Downloaded syn v2.0.100 Downloaded winnow v0.7.4 Downloaded toml_edit v0.22.24 Downloaded time v0.3.41 Downloaded unicode-width v0.2.0 Downloaded string-interner v0.19.0 Downloaded rustix v0.38.44 Downloaded rustix v1.0.3 Downloaded regex-syntax v0.6.29 Downloaded regex-automata v0.4.9 Downloaded unicode-width v0.1.14 Downloaded tree-sitter-rust v0.24.0 Downloaded petgraph v0.7.1 Downloaded jiff v0.2.5 Downloaded petgraph v0.6.5 Downloaded csv v1.3.1 Downloaded tokio v1.44.1 Downloaded libc v0.2.171 Downloaded linux-raw-sys v0.4.15 Downloaded linux-raw-sys v0.9.3 ==> Starting build()... Compiling proc-macro2 v1.0.94 Compiling unicode-ident v1.0.18 Compiling serde v1.0.219 Compiling libc v0.2.171 Compiling autocfg v1.4.0 Compiling once_cell v1.21.3 Compiling cfg-if v1.0.0 Compiling memchr v2.7.4 Compiling foldhash v0.1.5 Compiling log v0.4.27 Compiling hashbrown v0.15.2 Compiling regex-syntax v0.8.5 Compiling equivalent v1.0.2 Compiling tracing-core v0.1.33 Compiling anstyle v1.0.10 Compiling num-traits v0.2.19 Compiling aho-corasick v1.1.3 Compiling quote v1.0.40 Compiling syn v2.0.100 Compiling indexmap v2.8.0 Compiling smallvec v1.14.0 Compiling pin-project-lite v0.2.16 Compiling shlex v1.3.0 Compiling lazy_static v1.5.0 Compiling itoa v1.0.15 Compiling cc v1.2.17 Compiling utf8parse v0.2.2 Compiling bitflags v2.9.0 Compiling serde_json v1.0.140 Compiling num-integer v0.1.46 Compiling anstyle-parse v0.2.6 Compiling ryu v1.0.20 Compiling colorchoice v1.0.3 Compiling anyhow v1.0.97 Compiling is_terminal_polyfill v1.70.1 Compiling regex-syntax v0.6.29 Compiling rustix v0.38.44 Compiling anstyle-query v1.1.2 Compiling anstream v0.6.18 Compiling either v1.15.0 Compiling linux-raw-sys v0.4.15 Compiling regex-automata v0.4.9 Compiling strsim v0.11.1 Compiling crossbeam-utils v0.8.21 Compiling semver v1.0.26 Compiling ident_case v1.0.1 Compiling fnv v1.0.7 Compiling heck v0.5.0 Compiling version_check v0.9.5 Compiling overload v0.1.1 Compiling nu-ansi-term v0.46.0 Compiling psm v0.1.25 Compiling ahash v0.8.11 Compiling regex-automata v0.1.10 Compiling darling_core v0.20.11 Compiling regex v1.11.1 Compiling serde_derive v1.0.219 Compiling tracing-attributes v0.1.28 Compiling matchers v0.1.0 Compiling num-bigint v0.4.6 Compiling sharded-slab v0.1.7 Compiling tracing-log v0.2.0 Compiling lock_api v0.4.12 Compiling thread_local v1.1.8 Compiling powerfmt v0.2.0 Compiling unicode-width v0.2.0 Compiling rustversion v1.0.20 Compiling clap_lex v0.7.4 Compiling tracing v0.1.41 Compiling parking_lot_core v0.9.10 Compiling clap_builder v4.5.34 Compiling deranged v0.4.1 Compiling num-rational v0.4.2 Compiling darling_macro v0.20.11 Compiling clap_derive v4.5.32 Compiling stacker v0.1.20 Compiling num-iter v0.1.45 Compiling num-complex v0.4.6 Compiling num-conv v0.1.0 Compiling unicode-segmentation v1.12.0 Compiling num_threads v0.1.7 Compiling zerocopy v0.7.35 Compiling doc-comment v0.3.3 Compiling predicates-core v1.0.9 Compiling winnow v0.7.4 Compiling time-core v0.1.4 Compiling scopeguard v1.2.0 Compiling time v0.3.41 Compiling convert_case v0.6.0 Compiling clap v4.5.34 Compiling itertools v0.13.0 Compiling num v0.4.3 Compiling crossbeam-epoch v0.9.18 Compiling darling v0.20.11 Compiling tracing-serde v0.2.0 Compiling serde_test v1.0.177 Compiling serde_spanned v0.6.8 Compiling toml_datetime v0.6.8 Compiling linear-map v1.2.0 Compiling toml_edit v0.22.24 Compiling tracing-subscriber v0.3.19 Compiling string-interner v0.19.0 Compiling rustix v1.0.3 Compiling difflib v0.4.0 Compiling assert_cmd v2.0.16 Compiling termtree v0.5.1 Compiling arrayvec v0.7.6 Compiling thiserror v1.0.69 Compiling camino v1.1.9 Compiling minimal-lexical v0.2.1 Compiling rayon-core v1.12.1 Compiling getrandom v0.3.2 Compiling nu-ansi-term v0.50.1 Compiling env_home v0.1.0 Compiling thiserror v2.0.12 Compiling kani-verifier v0.61.0 (/build/kani/src/kani-0.61.0) Compiling which v7.0.2 Compiling nom v7.1.3 Compiling toml v0.8.20 Compiling brownstone v3.0.0 Compiling predicates-tree v1.0.12 Compiling predicates v3.1.3 Compiling cprover_bindings v0.61.0 (/build/kani/src/kani-0.61.0/cprover_bindings) Compiling parking_lot v0.12.3 Compiling derive_generic_visitor_macros v0.1.1 Compiling strum_macros v0.27.1 Compiling crossbeam-deque v0.8.6 Compiling hashbrown v0.14.5 Compiling thiserror-impl v2.0.12 Compiling thiserror-impl v1.0.69 Compiling env_filter v0.1.3 Compiling bstr v1.11.3 Compiling wait-timeout v0.2.1 Compiling os_info v3.10.0 Compiling joinery v2.1.0 Compiling home v0.5.11 Compiling fixedbitset v0.4.2 Compiling strum v0.27.1 Compiling jiff v0.2.5 Compiling indent_write v2.2.0 Compiling linux-raw-sys v0.9.3 Compiling nom-supreme v0.8.0 Compiling petgraph v0.6.5 Compiling kani_metadata v0.61.0 (/build/kani/src/kani-0.61.0/kani_metadata) Compiling derive_generic_visitor v0.1.1 Compiling hashlink v0.9.1 Compiling serde_stacker v0.1.12 Compiling crossterm v0.28.1 Compiling env_logger v0.11.7 Compiling tracing-tree v0.4.0 (https://github.com/Nadrieril/tracing-tree#841286bf) Compiling rustc_version v0.4.1 Compiling cargo-platform v0.1.9 Compiling serde-map-to-array v1.1.1 Compiling index_vec v0.1.4 Compiling annotate-snippets v0.11.5 Compiling macros v0.1.0 (/build/kani/src/kani-0.61.0/charon/charon/macros) Compiling colored v2.2.0 Compiling signal-hook-registry v1.4.2 Compiling mio v1.0.3 Compiling take_mut v0.2.2 Compiling kani-driver v0.61.0 (/build/kani/src/kani-0.61.0/kani-driver) Compiling indoc v2.0.6 Compiling fastrand v2.3.0 Compiling bytes v1.10.1 Compiling kani-compiler v0.61.0 (/build/kani/src/kani-0.61.0/kani-compiler) Compiling tempfile v3.19.1 Compiling cargo_metadata v0.19.2 Compiling rayon v1.10.0 Compiling charon v0.1.62 (/build/kani/src/kani-0.61.0/charon/charon) Compiling comfy-table v7.1.4 Compiling tokio v1.44.1 Compiling to_markdown_table v0.1.5 Compiling tracing-tree v0.4.0 Compiling console v0.15.11 Compiling itertools v0.14.0 Compiling pathdiff v0.2.3 Compiling rustc-demangle v0.1.24 warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/ast/llbc_ast_utils.rs:120:9 | 120 | BlockVisitor::new(|_| {}, f).visit(self); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | = note: `#[warn(unused_must_use)]` on by default help: use `let _ = ...` to ignore the resulting value | 120 | let _ = BlockVisitor::new(|_| {}, f).visit(self); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/ast/llbc_ast_utils.rs:155:9 | 155 | BlockVisitor::new(f, |_| {}).visit(self); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 155 | let _ = BlockVisitor::new(f, |_| {}).visit(self); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/ast/types_utils.rs:117:9 | 117 | val.drive_mut(&mut SubstVisitor::new(args)); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 117 | let _ = val.drive_mut(&mut SubstVisitor::new(args)); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/ast/types_utils.rs:571:9 | 571 | self.drive_mut(&mut SubstVisitor::new(generics)); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 571 | let _ = self.drive_mut(&mut SubstVisitor::new(generics)); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/ast/visitor.rs:84:9 | 84 | self.drive(&mut DynVisitor::new_shared::(f)); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 84 | let _ = self.drive(&mut DynVisitor::new_shared::(f)); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/ast/visitor.rs:88:9 | 88 | self.drive_mut(&mut DynVisitor::new_mut::(f)); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 88 | let _ = self.drive_mut(&mut DynVisitor::new_mut::(f)); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/ast/visitor.rs:157:9 | 157 | self.drive_body(&mut DynVisitor::new_shared::(f)); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 157 | let _ = self.drive_body(&mut DynVisitor::new_shared::(f)); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/ast/visitor.rs:162:9 | 162 | self.drive_body_mut(&mut DynVisitor::new_mut::(f)); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 162 | let _ = self.drive_body_mut(&mut DynVisitor::new_mut::(f)); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/transform/check_generics.rs:135:13 | 135 | item.drive(&mut visitor); | ^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 135 | let _ = item.drive(&mut visitor); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/transform/hide_marker_traits.rs:98:9 | 98 | / ctx.translated 99 | | .drive_mut(&mut RemoveMarkersVisitor { exclude }); | |_____________________________________________________________^ | help: use `let _ = ...` to ignore the resulting value | 98 | let _ = ctx.translated | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/transform/index_to_function_calls.rs:301:21 | 301 | visitor.visit_inner_with_mutability(st, false); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 301 | let _ = visitor.visit_inner_with_mutability(st, false); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/transform/index_to_function_calls.rs:304:21 | 304 | visitor.visit_inner_with_mutability(st, true); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 304 | let _ = visitor.visit_inner_with_mutability(st, true); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/transform/index_to_function_calls.rs:308:21 | 308 | st.drive_body_mut(&mut visitor); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 308 | let _ = st.drive_body_mut(&mut visitor); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/transform/reorder_decls.rs:359:17 | 359 | item.drive(&mut graph); | ^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 359 | let _ = item.drive(&mut graph); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/transform/reorder_decls.rs:364:17 | 364 | d.signature.drive(&mut graph); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 364 | let _ = d.signature.drive(&mut graph); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/transform/reorder_decls.rs:365:17 | 365 | d.body.drive(&mut graph); | ^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 365 | let _ = d.body.drive(&mut graph); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/transform/reorder_decls.rs:382:17 | 382 | generics.drive(&mut graph); | ^^^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 382 | let _ = generics.drive(&mut graph); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/transform/reorder_decls.rs:385:17 | 385 | parent_clauses.drive(&mut graph); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 385 | let _ = parent_clauses.drive(&mut graph); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/transform/reorder_decls.rs:389:17 | 389 | consts.drive(&mut graph); | ^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 389 | let _ = consts.drive(&mut graph); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/transform/reorder_decls.rs:390:17 | 390 | types.drive(&mut graph); | ^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 390 | let _ = types.drive(&mut graph); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/transform/reorder_decls.rs:391:17 | 391 | const_defaults.drive(&mut graph); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 391 | let _ = const_defaults.drive(&mut graph); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/transform/reorder_decls.rs:392:17 | 392 | type_defaults.drive(&mut graph); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 392 | let _ = type_defaults.drive(&mut graph); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/transform/reorder_decls.rs:412:25 | 412 | decl.signature.drive(&mut graph); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 412 | let _ = decl.signature.drive(&mut graph); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/transform/unbind_item_vars.rs:47:13 | 47 | item.drive_mut(&mut visitor); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 47 | let _ = item.drive_mut(&mut visitor); | +++++++ warning: unused `derive_generic_visitor::ControlFlow` that must be used --> charon/charon/src/transform/update_closure_signatures.rs:54:9 | 54 | inputs[0].drive_mut(&mut visitor); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | help: use `let _ = ...` to ignore the resulting value | 54 | let _ = inputs[0].drive_mut(&mut visitor); | +++++++ warning: `charon` (lib) generated 25 warnings error[E0599]: no method named `align_of` found for struct `kani_middle::abi::LayoutOf` in the current scope --> kani-compiler/src/kani_middle/transform/kani_intrinsics.rs:440:32 | 440 | pointee_layout.align_of().unwrap() as _, | ^^^^^^^^ | ::: kani-compiler/src/kani_middle/abi.rs:11:1 | 11 | pub struct LayoutOf { | ------------------- method `align_of` not found for this struct | help: there is a method `align_of_head` with a similar name | 440 | pointee_layout.align_of_head().unwrap() as _, | +++++ error[E0599]: no method named `align_of` found for struct `kani_middle::abi::LayoutOf` in the current scope --> kani-compiler/src/kani_middle/transform/kani_intrinsics.rs:523:45 | 523 | if let Some(align) = pointee_layout.align_of() { | ^^^^^^^^ | ::: kani-compiler/src/kani_middle/abi.rs:11:1 | 11 | pub struct LayoutOf { | ------------------- method `align_of` not found for this struct | help: there is a method `align_of_head` with a similar name | 523 | if let Some(align) = pointee_layout.align_of_head() { | +++++ For more information about this error, try `rustc --explain E0599`. error: could not compile `kani-compiler` (bin "kani-compiler") due to 2 previous errors ==> ERROR: A failure occurred in build(). Aborting... ==> ERROR: Build failed, check /var/lib/archbuild/extra-staging-with-build-support-i686/build/build used straw: :with_build_support:haskell_without_check: build@euronuc.lan