[INFO] cloning repository https://github.com/FeanorTheElf/fheanor
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/FeanorTheElf/fheanor" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFeanorTheElf%2Ffheanor", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFeanorTheElf%2Ffheanor'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 2f7bcbefbd79138b9b8c515c5e6e58588b968339
[INFO] checking FeanorTheElf/fheanor against try#6713fa75964eb229409a9c6f6f5c418423e313ff for pr-133502-22
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFeanorTheElf%2Ffheanor" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-4-tc2/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/FeanorTheElf/fheanor
[INFO] finished tweaking git repo https://github.com/FeanorTheElf/fheanor
[INFO] tweaked toml for git repo https://github.com/FeanorTheElf/fheanor written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/FeanorTheElf/fheanor on toolchain 6713fa75964eb229409a9c6f6f5c418423e313ff
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/FeanorTheElf/fheanor already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 81a4f275cfda9e51cf70487b5b4b803cb9a9db4814d207941b1c76231f487147
[INFO] running `Command { std: "docker" "start" "-a" "81a4f275cfda9e51cf70487b5b4b803cb9a9db4814d207941b1c76231f487147", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "81a4f275cfda9e51cf70487b5b4b803cb9a9db4814d207941b1c76231f487147", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "81a4f275cfda9e51cf70487b5b4b803cb9a9db4814d207941b1c76231f487147", kill_on_drop: false }`
[INFO] [stdout] 81a4f275cfda9e51cf70487b5b4b803cb9a9db4814d207941b1c76231f487147
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ed0d3c0ee58d58e3b53a3726825174c1205465eac1c39eccfb4dba649c7d7f19
[INFO] running `Command { std: "docker" "start" "-a" "ed0d3c0ee58d58e3b53a3726825174c1205465eac1c39eccfb4dba649c7d7f19", kill_on_drop: false }`
[INFO] [stderr]     Checking tracing-core v0.1.36
[INFO] [stderr]    Compiling semver v1.0.28
[INFO] [stderr]    Compiling libm v0.2.16
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]     Checking getrandom v0.3.4
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]    Compiling object v0.37.3
[INFO] [stderr]     Checking hash32 v0.2.1
[INFO] [stderr]    Compiling rustc_version v0.4.1
[INFO] [stderr]     Checking rand_core v0.9.5
[INFO] [stderr]     Checking spin v0.9.8
[INFO] [stderr]     Checking gimli v0.32.3
[INFO] [stderr]     Checking miniz_oxide v0.8.9
[INFO] [stderr]     Checking rand_chacha v0.9.0
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]    Compiling heapless v0.7.17
[INFO] [stderr]     Checking serde_bytes v0.11.19
[INFO] [stderr]     Checking tracing-subscriber v0.3.23
[INFO] [stderr]     Checking rand v0.9.4
[INFO] [stderr]     Checking bytemuck v1.25.0
[INFO] [stderr]     Checking bimap v0.6.3
[INFO] [stderr]     Checking atomicbox v0.4.0
[INFO] [stderr]     Checking rustc-demangle v0.1.27
[INFO] [stderr]     Checking append-only-vec v0.1.8
[INFO] [stderr]     Checking fhe-ir v0.1.4
[INFO] [stderr]     Checking feanor-mempool v2.1.0
[INFO] [stderr]     Checking debugit v0.2.0
[INFO] [stderr]     Checking take_mut v0.2.2
[INFO] [stderr]     Checking serde_path_to_error v0.1.20
[INFO] [stderr]     Checking tracing-chrome v0.7.2
[INFO] [stderr]     Checking rand_distr v0.5.1
[INFO] [stderr]     Checking addr2line v0.25.1
[INFO] [stderr]     Checking backtrace v0.3.76
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling stability v0.2.1
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]     Checking tracking-allocator v0.4.0
[INFO] [stderr]     Checking cobs v0.3.0
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]     Checking feanor-serde v0.1.5
[INFO] [stderr]     Checking serde_assert v0.8.0
[INFO] [stderr]     Checking feanor-math v3.5.18
[INFO] [stderr]     Checking postcard v1.1.3
[INFO] [stderr]     Checking fheanor v0.10.19 (/opt/rustwide/workdir)
[INFO] [stdout] warning: use of deprecated type alias `std::ptr::Alignment`: moved from `ptr` to `mem`
[INFO] [stdout]  --> src/number_ring/general_cyclotomic.rs:3:15
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::ptr::Alignment;
[INFO] [stdout]   |               ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated type alias `std::ptr::Alignment`: moved from `ptr` to `mem`
[INFO] [stdout]    --> src/number_ring/general_cyclotomic.rs:277:65
[INFO] [stdout]     |
[INFO] [stdout] 277 |         let allocator = AllocArc(Arc::new(DynLayoutMempool::new(Alignment::of::<u64>())));
[INFO] [stdout]     |                                                                 ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated type alias `std::ptr::Alignment`: moved from `ptr` to `mem`
[INFO] [stdout]    --> src/number_ring/general_cyclotomic.rs:298:53
[INFO] [stdout]     |
[INFO] [stdout] 298 |             AllocArc(Arc::new(DynLayoutMempool::new(Alignment::of::<u64>())))
[INFO] [stdout]     |                                                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated type alias `std::ptr::Alignment`: moved from `ptr` to `mem`
[INFO] [stdout]  --> src/number_ring/general_cyclotomic.rs:3:15
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::ptr::Alignment;
[INFO] [stdout]   |               ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated type alias `std::ptr::Alignment`: moved from `ptr` to `mem`
[INFO] [stdout]    --> src/number_ring/general_cyclotomic.rs:277:65
[INFO] [stdout]     |
[INFO] [stdout] 277 |         let allocator = AllocArc(Arc::new(DynLayoutMempool::new(Alignment::of::<u64>())));
[INFO] [stdout]     |                                                                 ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated type alias `std::ptr::Alignment`: moved from `ptr` to `mem`
[INFO] [stdout]    --> src/number_ring/general_cyclotomic.rs:298:53
[INFO] [stdout]     |
[INFO] [stdout] 298 |             AllocArc(Arc::new(DynLayoutMempool::new(Alignment::of::<u64>())))
[INFO] [stdout]     |                                                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type == _`
[INFO] [stdout]   --> src/bgv/bootstrap.rs:33:27
[INFO] [stdout]    |
[INFO] [stdout] 33 |     slots_to_coeffs_thin: PlaintextCircuit<<CiphertextRing<Params> as RingStore>::Type>,
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type == _`
[INFO] [stdout]   --> src/bgv/bootstrap.rs:34:27
[INFO] [stdout]    |
[INFO] [stdout] 34 |     coeffs_to_slots_thin: PlaintextCircuit<<CiphertextRing<Params> as RingStore>::Type>,
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type: modswitch::AsBGVPlaintext<Params>`
[INFO] [stdout]   --> src/bgv/bootstrap.rs:29:54
[INFO] [stdout]    |
[INFO] [stdout] 29 |         <CiphertextRing<Params> as RingStore>::Type: AsBGVPlaintext<Params>
[INFO] [stdout]    |                                                      ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `circuit::PlaintextCircuit<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type>` is well-formed
[INFO] [stdout]   --> src/bgv/bootstrap.rs:33:27
[INFO] [stdout]    |
[INFO] [stdout] 33 |     slots_to_coeffs_thin: PlaintextCircuit<<CiphertextRing<Params> as RingStore>::Type>,
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `circuit::PlaintextCircuit<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type>` is well-formed
[INFO] [stdout]   --> src/bgv/bootstrap.rs:34:27
[INFO] [stdout]    |
[INFO] [stdout] 34 |     coeffs_to_slots_thin: PlaintextCircuit<<CiphertextRing<Params> as RingStore>::Type>,
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]   --> src/bgv/bootstrap.rs:40:29
[INFO] [stdout]    |
[INFO] [stdout] 40 |     master_ciphertext_ring: CiphertextRing<Params>
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type` is well-formed
[INFO] [stdout]   --> src/bgv/bootstrap.rs:29:54
[INFO] [stdout]    |
[INFO] [stdout] 29 |         <CiphertextRing<Params> as RingStore>::Type: AsBGVPlaintext<Params>
[INFO] [stdout]    |                                                      ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type: modswitch::AsBGVPlaintext<Params>`
[INFO] [stdout]   --> src/bgv/bootstrap.rs:46:54
[INFO] [stdout]    |
[INFO] [stdout] 46 |         <CiphertextRing<Params> as RingStore>::Type: AsBGVPlaintext<Params>
[INFO] [stdout]    |                                                      ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]   --> src/bgv/bootstrap.rs:43:24
[INFO] [stdout]    |
[INFO] [stdout] 43 | impl<Params, Strategy> ThinBootstrapper<Params, Strategy>
[INFO] [stdout]    |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type` is well-formed
[INFO] [stdout]   --> src/bgv/bootstrap.rs:46:54
[INFO] [stdout]    |
[INFO] [stdout] 46 |         <CiphertextRing<Params> as RingStore>::Type: AsBGVPlaintext<Params>
[INFO] [stdout]    |                                                      ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type == _`
[INFO] [stdout]   --> src/bgv/bootstrap.rs:33:27
[INFO] [stdout]    |
[INFO] [stdout] 33 |     slots_to_coeffs_thin: PlaintextCircuit<<CiphertextRing<Params> as RingStore>::Type>,
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type == _`
[INFO] [stdout]   --> src/bgv/bootstrap.rs:34:27
[INFO] [stdout]    |
[INFO] [stdout] 34 |     coeffs_to_slots_thin: PlaintextCircuit<<CiphertextRing<Params> as RingStore>::Type>,
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type: modswitch::AsBGVPlaintext<Params>`
[INFO] [stdout]   --> src/bgv/bootstrap.rs:29:54
[INFO] [stdout]    |
[INFO] [stdout] 29 |         <CiphertextRing<Params> as RingStore>::Type: AsBGVPlaintext<Params>
[INFO] [stdout]    |                                                      ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `circuit::PlaintextCircuit<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type>` is well-formed
[INFO] [stdout]   --> src/bgv/bootstrap.rs:33:27
[INFO] [stdout]    |
[INFO] [stdout] 33 |     slots_to_coeffs_thin: PlaintextCircuit<<CiphertextRing<Params> as RingStore>::Type>,
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `circuit::PlaintextCircuit<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type>` is well-formed
[INFO] [stdout]   --> src/bgv/bootstrap.rs:34:27
[INFO] [stdout]    |
[INFO] [stdout] 34 |     coeffs_to_slots_thin: PlaintextCircuit<<CiphertextRing<Params> as RingStore>::Type>,
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]   --> src/bgv/bootstrap.rs:40:29
[INFO] [stdout]    |
[INFO] [stdout] 40 |     master_ciphertext_ring: CiphertextRing<Params>
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type` is well-formed
[INFO] [stdout]   --> src/bgv/bootstrap.rs:29:54
[INFO] [stdout]    |
[INFO] [stdout] 29 |         <CiphertextRing<Params> as RingStore>::Type: AsBGVPlaintext<Params>
[INFO] [stdout]    |                                                      ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type: modswitch::AsBGVPlaintext<Params>`
[INFO] [stdout]   --> src/bgv/bootstrap.rs:46:54
[INFO] [stdout]    |
[INFO] [stdout] 46 |         <CiphertextRing<Params> as RingStore>::Type: AsBGVPlaintext<Params>
[INFO] [stdout]    |                                                      ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]   --> src/bgv/bootstrap.rs:43:24
[INFO] [stdout]    |
[INFO] [stdout] 43 | impl<Params, Strategy> ThinBootstrapper<Params, Strategy>
[INFO] [stdout]    |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type` is well-formed
[INFO] [stdout]   --> src/bgv/bootstrap.rs:46:54
[INFO] [stdout]    |
[INFO] [stdout] 46 |         <CiphertextRing<Params> as RingStore>::Type: AsBGVPlaintext<Params>
[INFO] [stdout]    |                                                      ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>> as feanor_math::ring::RingStore>::Type == _`
[INFO] [stdout]   --> src/clpx/eval.rs:52:5
[INFO] [stdout]    |
[INFO] [stdout] 52 | /     default fn hom_add_to(
[INFO] [stdout] 53 | |         &self, 
[INFO] [stdout] 54 | |         P: &PlaintextRing<Params>, 
[INFO] [stdout] 55 | |         C: &CiphertextRing<Params>, 
[INFO] [stdout] 56 | |         m: &Self::Element, 
[INFO] [stdout] 57 | |         ct: Ciphertext<Params>
[INFO] [stdout] 58 | |     ) -> Ciphertext<Params> {
[INFO] [stdout]    | |___________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:52:5
[INFO] [stdout]    |
[INFO] [stdout] 52 | /     default fn hom_add_to(
[INFO] [stdout] 53 | |         &self, 
[INFO] [stdout] 54 | |         P: &PlaintextRing<Params>, 
[INFO] [stdout] 55 | |         C: &CiphertextRing<Params>, 
[INFO] [stdout] 56 | |         m: &Self::Element, 
[INFO] [stdout] 57 | |         ct: Ciphertext<Params>
[INFO] [stdout] 58 | |     ) -> Ciphertext<Params> {
[INFO] [stdout]    | |___________________________^
[INFO] [stdout]    |
[INFO] [stdout] note: the requirement `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<feanor_math::rings::zn::zn_big::ZnBase<feanor_math::ring::RingValue<RustBigintRingBase>>>, std::alloc::Global, feanor_math::algorithms::convolution::KaratsubaAlgorithm>> well-formed` appears on the `impl`'s method `hom_add_to` but not on the corresponding trait's method
[INFO] [stdout]   --> src/clpx/eval.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub trait AsCLPXPlaintext<Params: CLPXInstantiation>: RingBase {
[INFO] [stdout]    |           --------------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 12 |     fn hom_add_to(
[INFO] [stdout]    |        ^^^^^^^^^^ this trait's method doesn't have the requirement `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<feanor_math::rings::zn::zn_big::ZnBase<feanor_math::ring::RingValue<RustBigintRingBase>>>, std::alloc::Global, feanor_math::algorithms::convolution::KaratsubaAlgorithm>> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>> as feanor_math::ring::RingStore>::Type == _`
[INFO] [stdout]   --> src/clpx/eval.rs:65:5
[INFO] [stdout]    |
[INFO] [stdout] 65 | /     default fn hom_mul_to(
[INFO] [stdout] 66 | |         &self, 
[INFO] [stdout] 67 | |         P: &PlaintextRing<Params>, 
[INFO] [stdout] 68 | |         C: &CiphertextRing<Params>, 
[INFO] [stdout] 69 | |         m: &Self::Element, 
[INFO] [stdout] 70 | |         ct: Ciphertext<Params>
[INFO] [stdout] 71 | |     ) -> Ciphertext<Params> {
[INFO] [stdout]    | |___________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:65:5
[INFO] [stdout]    |
[INFO] [stdout] 65 | /     default fn hom_mul_to(
[INFO] [stdout] 66 | |         &self, 
[INFO] [stdout] 67 | |         P: &PlaintextRing<Params>, 
[INFO] [stdout] 68 | |         C: &CiphertextRing<Params>, 
[INFO] [stdout] 69 | |         m: &Self::Element, 
[INFO] [stdout] 70 | |         ct: Ciphertext<Params>
[INFO] [stdout] 71 | |     ) -> Ciphertext<Params> {
[INFO] [stdout]    | |___________________________^
[INFO] [stdout]    |
[INFO] [stdout] note: the requirement `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<feanor_math::rings::zn::zn_big::ZnBase<feanor_math::ring::RingValue<RustBigintRingBase>>>, std::alloc::Global, feanor_math::algorithms::convolution::KaratsubaAlgorithm>> well-formed` appears on the `impl`'s method `hom_mul_to` but not on the corresponding trait's method
[INFO] [stdout]   --> src/clpx/eval.rs:23:8
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub trait AsCLPXPlaintext<Params: CLPXInstantiation>: RingBase {
[INFO] [stdout]    |           --------------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 23 |     fn hom_mul_to(
[INFO] [stdout]    |        ^^^^^^^^^^ this trait's method doesn't have the requirement `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<feanor_math::rings::zn::zn_big::ZnBase<feanor_math::ring::RingValue<RustBigintRingBase>>>, std::alloc::Global, feanor_math::algorithms::convolution::KaratsubaAlgorithm>> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `R: AsCLPXPlaintext<Params>`
[INFO] [stdout]   --> src/clpx/eval.rs:47:45
[INFO] [stdout]    |
[INFO] [stdout] 47 | impl<R, Params> AsCLPXPlaintext<Params> for R
[INFO] [stdout]    |                                             ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>> as feanor_math::ring::RingStore>::Type: feanor_math::homomorphism::CanHomFrom<...>`
[INFO] [stdout]   --> src/clpx/eval.rs:50:53
[INFO] [stdout]    |
[INFO] [stdout] 50 |         <PlaintextRing<Params> as RingStore>::Type: CanHomFrom<R>
[INFO] [stdout]    |                                                     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>> as feanor_math::ring::RingStore>::Type == _`
[INFO] [stdout]   --> src/clpx/eval.rs:52:5
[INFO] [stdout]    |
[INFO] [stdout] 52 | /     default fn hom_add_to(
[INFO] [stdout] 53 | |         &self, 
[INFO] [stdout] 54 | |         P: &PlaintextRing<Params>, 
[INFO] [stdout] 55 | |         C: &CiphertextRing<Params>, 
[INFO] [stdout] 56 | |         m: &Self::Element, 
[INFO] [stdout] 57 | |         ct: Ciphertext<Params>
[INFO] [stdout] 58 | |     ) -> Ciphertext<Params> {
[INFO] [stdout]    | |___________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>> as feanor_math::ring::RingStore>::Type` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:50:53
[INFO] [stdout]    |
[INFO] [stdout] 50 |         <PlaintextRing<Params> as RingStore>::Type: CanHomFrom<R>
[INFO] [stdout]    |                                                     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:52:5
[INFO] [stdout]    |
[INFO] [stdout] 52 | /     default fn hom_add_to(
[INFO] [stdout] 53 | |         &self, 
[INFO] [stdout] 54 | |         P: &PlaintextRing<Params>, 
[INFO] [stdout] 55 | |         C: &CiphertextRing<Params>, 
[INFO] [stdout] 56 | |         m: &Self::Element, 
[INFO] [stdout] 57 | |         ct: Ciphertext<Params>
[INFO] [stdout] 58 | |     ) -> Ciphertext<Params> {
[INFO] [stdout]    | |___________________________^
[INFO] [stdout]    |
[INFO] [stdout] note: the requirement `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<feanor_math::rings::zn::zn_big::ZnBase<feanor_math::ring::RingValue<RustBigintRingBase>>>, std::alloc::Global, feanor_math::algorithms::convolution::KaratsubaAlgorithm>> well-formed` appears on the `impl`'s method `hom_add_to` but not on the corresponding trait's method
[INFO] [stdout]   --> src/clpx/eval.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub trait AsCLPXPlaintext<Params: CLPXInstantiation>: RingBase {
[INFO] [stdout]    |           --------------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 12 |     fn hom_add_to(
[INFO] [stdout]    |        ^^^^^^^^^^ this trait's method doesn't have the requirement `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<feanor_math::rings::zn::zn_big::ZnBase<feanor_math::ring::RingValue<RustBigintRingBase>>>, std::alloc::Global, feanor_math::algorithms::convolution::KaratsubaAlgorithm>> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>> as feanor_math::ring::RingStore>::Type == _`
[INFO] [stdout]   --> src/clpx/eval.rs:65:5
[INFO] [stdout]    |
[INFO] [stdout] 65 | /     default fn hom_mul_to(
[INFO] [stdout] 66 | |         &self, 
[INFO] [stdout] 67 | |         P: &PlaintextRing<Params>, 
[INFO] [stdout] 68 | |         C: &CiphertextRing<Params>, 
[INFO] [stdout] 69 | |         m: &Self::Element, 
[INFO] [stdout] 70 | |         ct: Ciphertext<Params>
[INFO] [stdout] 71 | |     ) -> Ciphertext<Params> {
[INFO] [stdout]    | |___________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:65:5
[INFO] [stdout]    |
[INFO] [stdout] 65 | /     default fn hom_mul_to(
[INFO] [stdout] 66 | |         &self, 
[INFO] [stdout] 67 | |         P: &PlaintextRing<Params>, 
[INFO] [stdout] 68 | |         C: &CiphertextRing<Params>, 
[INFO] [stdout] 69 | |         m: &Self::Element, 
[INFO] [stdout] 70 | |         ct: Ciphertext<Params>
[INFO] [stdout] 71 | |     ) -> Ciphertext<Params> {
[INFO] [stdout]    | |___________________________^
[INFO] [stdout]    |
[INFO] [stdout] note: the requirement `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<feanor_math::rings::zn::zn_big::ZnBase<feanor_math::ring::RingValue<RustBigintRingBase>>>, std::alloc::Global, feanor_math::algorithms::convolution::KaratsubaAlgorithm>> well-formed` appears on the `impl`'s method `hom_mul_to` but not on the corresponding trait's method
[INFO] [stdout]   --> src/clpx/eval.rs:23:8
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub trait AsCLPXPlaintext<Params: CLPXInstantiation>: RingBase {
[INFO] [stdout]    |           --------------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 23 |     fn hom_mul_to(
[INFO] [stdout]    |        ^^^^^^^^^^ this trait's method doesn't have the requirement `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<feanor_math::rings::zn::zn_big::ZnBase<feanor_math::ring::RingValue<RustBigintRingBase>>>, std::alloc::Global, feanor_math::algorithms::convolution::KaratsubaAlgorithm>> well-formed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `R: AsCLPXPlaintext<Params>`
[INFO] [stdout]   --> src/clpx/eval.rs:47:45
[INFO] [stdout]    |
[INFO] [stdout] 47 | impl<R, Params> AsCLPXPlaintext<Params> for R
[INFO] [stdout]    |                                             ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>> as feanor_math::ring::RingStore>::Type: feanor_math::homomorphism::CanHomFrom<...>`
[INFO] [stdout]   --> src/clpx/eval.rs:50:53
[INFO] [stdout]    |
[INFO] [stdout] 50 |         <PlaintextRing<Params> as RingStore>::Type: CanHomFrom<R>
[INFO] [stdout]    |                                                     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>> as feanor_math::ring::RingStore>::Type` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:50:53
[INFO] [stdout]    |
[INFO] [stdout] 50 |         <PlaintextRing<Params> as RingStore>::Type: CanHomFrom<R>
[INFO] [stdout]    |                                                     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]   --> src/bgv/bootstrap.rs:95:19
[INFO] [stdout]    |
[INFO] [stdout] 95 |         C_master: CiphertextRing<Params>,
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:101:10
[INFO] [stdout]     |
[INFO] [stdout] 101 |     ) -> Self {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:155:19
[INFO] [stdout]     |
[INFO] [stdout] 155 |         C_master: &CiphertextRing<Params>, 
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:162:10
[INFO] [stdout]     |
[INFO] [stdout] 162 |     ) -> Self
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:231:19
[INFO] [stdout]     |
[INFO] [stdout] 231 |         C_master: &CiphertextRing<Params>, 
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:238:10
[INFO] [stdout]     |
[INFO] [stdout] 238 |     ) -> Self
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:277:34
[INFO] [stdout]     |
[INFO] [stdout] 277 |     pub fn with_digit_extraction(self, new_digit_extraction: DigitExtract<Params::PlaintextRing>) -> Self {
[INFO] [stdout]     |                                  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:277:102
[INFO] [stdout]     |
[INFO] [stdout] 277 |     pub fn with_digit_extraction(self, new_digit_extraction: DigitExtract<Params::PlaintextRing>) -> Self {
[INFO] [stdout]     |                                                                                                      ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:295:10
[INFO] [stdout]     |
[INFO] [stdout] 295 |     fn r(&self) -> usize {
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:299:10
[INFO] [stdout]     |
[INFO] [stdout] 299 |     fn e(&self) -> usize {
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:303:10
[INFO] [stdout]     |
[INFO] [stdout] 303 |     fn v(&self) -> usize {
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:307:10
[INFO] [stdout]     |
[INFO] [stdout] 307 |     fn p(&self) -> &El<BigIntRing> {
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:311:40
[INFO] [stdout]     |
[INFO] [stdout] 311 |     pub fn intermediate_plaintext_ring(&self) -> &PlaintextRing<Params> {
[INFO] [stdout]     |                                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:315:32
[INFO] [stdout]     |
[INFO] [stdout] 315 |     pub fn base_plaintext_ring(&self) -> &PlaintextRing<Params> {
[INFO] [stdout]     |                                ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:319:33
[INFO] [stdout]     |
[INFO] [stdout] 319 |     pub fn required_galois_keys(&self, P: &PlaintextRing<Params>) -> Vec<GaloisGroupEl> {
[INFO] [stdout]     |                                 ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:359:19
[INFO] [stdout]     |
[INFO] [stdout] 359 |         debug_sk: Option<&SecretKey<Params>>
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:350:9
[INFO] [stdout]     |
[INFO] [stdout] 350 |         &self,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:351:19
[INFO] [stdout]     |
[INFO] [stdout] 351 |         C_master: &CiphertextRing<Params>, 
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `std::option::Option<&<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:359:19
[INFO] [stdout]     |
[INFO] [stdout] 359 |         debug_sk: Option<&SecretKey<Params>>
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]   --> src/bgv/bootstrap.rs:95:19
[INFO] [stdout]    |
[INFO] [stdout] 95 |         C_master: CiphertextRing<Params>,
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:101:10
[INFO] [stdout]     |
[INFO] [stdout] 101 |     ) -> Self {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:155:19
[INFO] [stdout]     |
[INFO] [stdout] 155 |         C_master: &CiphertextRing<Params>, 
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:162:10
[INFO] [stdout]     |
[INFO] [stdout] 162 |     ) -> Self
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:231:19
[INFO] [stdout]     |
[INFO] [stdout] 231 |         C_master: &CiphertextRing<Params>, 
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:238:10
[INFO] [stdout]     |
[INFO] [stdout] 238 |     ) -> Self
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:277:34
[INFO] [stdout]     |
[INFO] [stdout] 277 |     pub fn with_digit_extraction(self, new_digit_extraction: DigitExtract<Params::PlaintextRing>) -> Self {
[INFO] [stdout]     |                                  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:277:102
[INFO] [stdout]     |
[INFO] [stdout] 277 |     pub fn with_digit_extraction(self, new_digit_extraction: DigitExtract<Params::PlaintextRing>) -> Self {
[INFO] [stdout]     |                                                                                                      ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:295:10
[INFO] [stdout]     |
[INFO] [stdout] 295 |     fn r(&self) -> usize {
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:299:10
[INFO] [stdout]     |
[INFO] [stdout] 299 |     fn e(&self) -> usize {
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:303:10
[INFO] [stdout]     |
[INFO] [stdout] 303 |     fn v(&self) -> usize {
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:307:10
[INFO] [stdout]     |
[INFO] [stdout] 307 |     fn p(&self) -> &El<BigIntRing> {
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:54:12
[INFO] [stdout]    |
[INFO] [stdout] 54 |         P: &PlaintextRing<Params>, 
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:67:12
[INFO] [stdout]    |
[INFO] [stdout] 67 |         P: &PlaintextRing<Params>, 
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:311:40
[INFO] [stdout]     |
[INFO] [stdout] 311 |     pub fn intermediate_plaintext_ring(&self) -> &PlaintextRing<Params> {
[INFO] [stdout]     |                                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:315:32
[INFO] [stdout]     |
[INFO] [stdout] 315 |     pub fn base_plaintext_ring(&self) -> &PlaintextRing<Params> {
[INFO] [stdout]     |                                ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:319:33
[INFO] [stdout]     |
[INFO] [stdout] 319 |     pub fn required_galois_keys(&self, P: &PlaintextRing<Params>) -> Vec<GaloisGroupEl> {
[INFO] [stdout]     |                                 ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:359:19
[INFO] [stdout]     |
[INFO] [stdout] 359 |         debug_sk: Option<&SecretKey<Params>>
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&bgv::bootstrap::ThinBootstrapper<Params, Strategy>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:350:9
[INFO] [stdout]     |
[INFO] [stdout] 350 |         &self,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:351:19
[INFO] [stdout]     |
[INFO] [stdout] 351 |         C_master: &CiphertextRing<Params>, 
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `std::option::Option<&<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:359:19
[INFO] [stdout]     |
[INFO] [stdout] 359 |         debug_sk: Option<&SecretKey<Params>>
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:54:12
[INFO] [stdout]    |
[INFO] [stdout] 54 |         P: &PlaintextRing<Params>, 
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:67:12
[INFO] [stdout]    |
[INFO] [stdout] 67 |         P: &PlaintextRing<Params>, 
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0283]: type annotations needed for `circuit::PlaintextCircuit<_>`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 106 | ...   let coeffs_to_slots_thin = coeffs_to_slots_thin.change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_...
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^                        ------------------- type must be known at this point
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type must implement `feanor_math::ring::RingBase`
[INFO] [stdout]     = help: the following types implement trait `feanor_math::ring::RingBase`:
[INFO] [stdout]               Complex64Base
[INFO] [stdout]               DensePolyRingBase<R, A, C>
[INFO] [stdout]               DirectPowerRingBase<R, N>
[INFO] [stdout]               EncodedBFVPlaintextRingBase<Params>
[INFO] [stdout]               FractionFieldImplBase<R>
[INFO] [stdout]               FreeAlgebraImplBase<R, V, A, C>
[INFO] [stdout]               MultivariatePolyRingImplBase<R, A>
[INFO] [stdout]               RationalFieldBase<I>
[INFO] [stdout]             and 13 others
[INFO] [stdout] note: required by a bound in `circuit::PlaintextCircuit::<R>::change_ring_uniform`
[INFO] [stdout]    --> src/circuit/mod.rs:477:25
[INFO] [stdout]     |
[INFO] [stdout] 475 |     pub fn change_ring_uniform<S, F>(self, f: F) -> PlaintextCircuit<S>
[INFO] [stdout]     |            ------------------- required by a bound in this associated function
[INFO] [stdout] 476 |         where F: FnMut(Coefficient<R>) -> Coefficient<S>,
[INFO] [stdout] 477 |             S: ?Sized + RingBase
[INFO] [stdout]     |                         ^^^^^^^^ required by this bound in `PlaintextCircuit::<R>::change_ring_uniform`
[INFO] [stdout] help: consider giving `coeffs_to_slots_thin` an explicit type, where the type for type parameter `S` is specified
[INFO] [stdout]     |
[INFO] [stdout] 106 |         let coeffs_to_slots_thin: circuit::PlaintextCircuit<S> = coeffs_to_slots_thin.change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                                 ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:99
[INFO] [stdout]     |
[INFO] [stdout] 106 | ..._uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:107:99
[INFO] [stdout]     |
[INFO] [stdout] 107 | ...ng_uniform(|x| x.change_ring(|x| Params::encode_plain(&original_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type: modswitch::AsBGVPlaintext<Params>`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:109:9
[INFO] [stdout]     |
[INFO] [stdout] 109 |         Self {
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `bgv::bootstrap::ThinBootstrapper`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:29:54
[INFO] [stdout]     |
[INFO] [stdout]  26 | pub struct ThinBootstrapper<Params, Strategy>
[INFO] [stdout]     |            ---------------- required by a bound in this struct
[INFO] [stdout] ...
[INFO] [stdout]  29 |         <CiphertextRing<Params> as RingStore>::Type: AsBGVPlaintext<Params>
[INFO] [stdout]     |                                                      ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `ThinBootstrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ == <feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:111:13
[INFO] [stdout]     |
[INFO] [stdout] 111 |             coeffs_to_slots_thin,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ == <feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:112:13
[INFO] [stdout]     |
[INFO] [stdout] 112 |             slots_to_coeffs_thin,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:105:57: 105:60}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:105:40
[INFO] [stdout]     |
[INFO] [stdout] 105 | ...   let plaintext_ring_hierarchy = ((r + 1)..e).map(|k| instantiation.create_plaintext_ring(ZZbig.pow(ZZbig.clone_el(&p), k))).co...
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:105:57: 105:60}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:105:53
[INFO] [stdout]     |
[INFO] [stdout] 105 | ...   let plaintext_ring_hierarchy = ((r + 1)..e).map(|k| instantiation.create_plaintext_ring(ZZbig.pow(ZZbig.clone_el(&p), k))).co...
[INFO] [stdout]     |                                                   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `std::iter::Map<std::ops::Range<usize>, {closure@src/bgv/bootstrap.rs:105:57: 105:60}>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:105:53
[INFO] [stdout]     |
[INFO] [stdout] 105 | ...   let plaintext_ring_hierarchy = ((r + 1)..e).map(|k| instantiation.create_plaintext_ring(ZZbig.pow(ZZbig.clone_el(&p), k))).co...
[INFO] [stdout]     |                                                   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:105:57: 105:60}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:105:57
[INFO] [stdout]     |
[INFO] [stdout] 105 | ...   let plaintext_ring_hierarchy = ((r + 1)..e).map(|k| instantiation.create_plaintext_ring(ZZbig.pow(ZZbig.clone_el(&p), k))).co...
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `std::iter::Map<std::ops::Range<usize>, {closure@src/bgv/bootstrap.rs:105:57: 105:60}>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:105:40
[INFO] [stdout]     |
[INFO] [stdout] 105 | ..._hierarchy = ((r + 1)..e).map(|k| instantiation.create_plaintext_ring(ZZbig.pow(ZZbig.clone_el(&p), k))).collect();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `std::iter::Map<std::ops::Range<usize>, {closure@src/bgv/bootstrap.rs:105:57: 105:60}>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:105:132
[INFO] [stdout]     |
[INFO] [stdout] 105 | ...on.create_plaintext_ring(ZZbig.pow(ZZbig.clone_el(&p), k))).collect();
[INFO] [stdout]     |                                                                ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:106:77: 106:80}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:36
[INFO] [stdout]     |
[INFO] [stdout] 106 | ... = coeffs_to_slots_thin.change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:106:77: 106:80}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:57
[INFO] [stdout]     |
[INFO] [stdout] 106 | ...   let coeffs_to_slots_thin = coeffs_to_slots_thin.change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_...
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:106:77: 106:80}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:77
[INFO] [stdout]     |
[INFO] [stdout] 106 | ...change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:106:95: 106:98}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:81
[INFO] [stdout]     |
[INFO] [stdout] 106 | ...ange_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:106:95: 106:98}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:83
[INFO] [stdout]     |
[INFO] [stdout] 106 | ...   let coeffs_to_slots_thin = coeffs_to_slots_thin.change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_...
[INFO] [stdout]     |                                                                                 ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:106:95: 106:98}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:95
[INFO] [stdout]     |
[INFO] [stdout] 106 | ...ng_uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:150
[INFO] [stdout]     |
[INFO] [stdout] 106 | ...ing(|x| Params::encode_plain(&intermediate_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                                                               ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:99
[INFO] [stdout]     |
[INFO] [stdout] 106 | ..._uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:107:77: 107:80}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:107:36
[INFO] [stdout]     |
[INFO] [stdout] 107 | ... = slots_to_coeffs_thin.change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&original_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:107:77: 107:80}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:107:57
[INFO] [stdout]     |
[INFO] [stdout] 107 | ...   let slots_to_coeffs_thin = slots_to_coeffs_thin.change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&original_plai...
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:107:77: 107:80}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:107:77
[INFO] [stdout]     |
[INFO] [stdout] 107 | ...n.change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&original_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:107:95: 107:98}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:107:81
[INFO] [stdout]     |
[INFO] [stdout] 107 | ...change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&original_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:107:95: 107:98}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:107:83
[INFO] [stdout]     |
[INFO] [stdout] 107 | ...   let slots_to_coeffs_thin = slots_to_coeffs_thin.change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&original_plai...
[INFO] [stdout]     |                                                                                 ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:107:95: 107:98}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:107:95
[INFO] [stdout]     |
[INFO] [stdout] 107 | ...ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&original_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:107:146
[INFO] [stdout]     |
[INFO] [stdout] 107 | ...ge_ring(|x| Params::encode_plain(&original_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                                                               ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:107:99
[INFO] [stdout]     |
[INFO] [stdout] 107 | ...ng_uniform(|x| x.change_ring(|x| Params::encode_plain(&original_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `circuit::PlaintextCircuit<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:111:13
[INFO] [stdout]     |
[INFO] [stdout] 111 |             coeffs_to_slots_thin,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `circuit::PlaintextCircuit<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:112:13
[INFO] [stdout]     |
[INFO] [stdout] 112 |             slots_to_coeffs_thin,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:119:37
[INFO] [stdout]     |
[INFO] [stdout] 119 |             master_ciphertext_ring: C_master
[INFO] [stdout]     |                                     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:193:35
[INFO] [stdout]     |
[INFO] [stdout] 193 | ...   let min_rns_factor_log2 = C_master.base_ring().as_iter().map(|rns_factor| *rns_factor.modulus() as i64).map(|rns_factor| (rns...
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingExtension>::BaseRing == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:193:35
[INFO] [stdout]     |
[INFO] [stdout] 193 | ...   let min_rns_factor_log2 = C_master.base_ring().as_iter().map(|rns_factor| *rns_factor.modulus() as i64).map(|rns_factor| (rns...
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:268:35
[INFO] [stdout]     |
[INFO] [stdout] 268 | ...   let min_rns_factor_log2 = C_master.base_ring().as_iter().map(|rns_factor| *rns_factor.modulus() as i64).map(|rns_factor| (rns...
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingExtension>::BaseRing == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:268:35
[INFO] [stdout]     |
[INFO] [stdout] 268 | ...   let min_rns_factor_log2 = C_master.base_ring().as_iter().map(|rns_factor| *rns_factor.modulus() as i64).map(|rns_factor| (rns...
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type: modswitch::AsBGVPlaintext<Params>`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:281:9
[INFO] [stdout]     |
[INFO] [stdout] 281 |         Self {
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `bgv::bootstrap::ThinBootstrapper`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:29:54
[INFO] [stdout]     |
[INFO] [stdout]  26 | pub struct ThinBootstrapper<Params, Strategy>
[INFO] [stdout]     |            ---------------- required by a bound in this struct
[INFO] [stdout] ...
[INFO] [stdout]  29 |         <CiphertextRing<Params> as RingStore>::Type: AsBGVPlaintext<Params>
[INFO] [stdout]     |                                                      ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `ThinBootstrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `circuit::PlaintextCircuit<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:282:35
[INFO] [stdout]     |
[INFO] [stdout] 282 |             coeffs_to_slots_thin: self.coeffs_to_slots_thin,
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:286:37
[INFO] [stdout]     |
[INFO] [stdout] 286 |             master_ciphertext_ring: self.master_ciphertext_ring,
[INFO] [stdout]     |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `circuit::PlaintextCircuit<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:291:35
[INFO] [stdout]     |
[INFO] [stdout] 291 |             slots_to_coeffs_thin: self.slots_to_coeffs_thin
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:282:35
[INFO] [stdout]     |
[INFO] [stdout] 282 |             coeffs_to_slots_thin: self.coeffs_to_slots_thin,
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:291:35
[INFO] [stdout]     |
[INFO] [stdout] 291 |             slots_to_coeffs_thin: self.slots_to_coeffs_thin
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<Params as bgv::BGVInstantiation>::CiphertextRing == <feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:321:23
[INFO] [stdout]     |
[INFO] [stdout] 321 |         result.extend(self.slots_to_coeffs_thin.required_galois_keys(&P.acting_galois_group()).into_iter());
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<Params as bgv::BGVInstantiation>::CiphertextRing: feanor_math::ring::RingBase`
[INFO] [stdout]     --> src/bgv/bootstrap.rs:321:49
[INFO] [stdout]      |
[INFO] [stdout]  321 |         result.extend(self.slots_to_coeffs_thin.required_galois_keys(&P.acting_galois_group()).into_iter());
[INFO] [stdout]      |                                                 ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout] note: required by a bound in `circuit::PlaintextCircuit::<R>::required_galois_keys`
[INFO] [stdout]     --> src/circuit/mod.rs:342:18
[INFO] [stdout]      |
[INFO] [stdout]  342 | impl<R: ?Sized + RingBase> PlaintextCircuit<R> {
[INFO] [stdout]      |                  ^^^^^^^^ required by this bound in `PlaintextCircuit::<R>::required_galois_keys`
[INFO] [stdout] ...
[INFO] [stdout] 1146 |     pub fn required_galois_keys(&self, galois_group: &Subgroup<CyclotomicGaloisGroup>) -> Vec<GaloisGroupEl> {
[INFO] [stdout]      |            -------------------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<Params as bgv::BGVInstantiation>::CiphertextRing == <feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:322:23
[INFO] [stdout]     |
[INFO] [stdout] 322 |         result.extend(self.coeffs_to_slots_thin.required_galois_keys(&P.acting_galois_group()).into_iter());
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<Params as bgv::BGVInstantiation>::CiphertextRing: feanor_math::ring::RingBase`
[INFO] [stdout]     --> src/bgv/bootstrap.rs:322:49
[INFO] [stdout]      |
[INFO] [stdout]  322 |         result.extend(self.coeffs_to_slots_thin.required_galois_keys(&P.acting_galois_group()).into_iter());
[INFO] [stdout]      |                                                 ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout] note: required by a bound in `circuit::PlaintextCircuit::<R>::required_galois_keys`
[INFO] [stdout]     --> src/circuit/mod.rs:342:18
[INFO] [stdout]      |
[INFO] [stdout]  342 | impl<R: ?Sized + RingBase> PlaintextCircuit<R> {
[INFO] [stdout]      |                  ^^^^^^^^ required by this bound in `PlaintextCircuit::<R>::required_galois_keys`
[INFO] [stdout] ...
[INFO] [stdout] 1146 |     pub fn required_galois_keys(&self, galois_group: &Subgroup<CyclotomicGaloisGroup>) -> Vec<GaloisGroupEl> {
[INFO] [stdout]      |            -------------------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&circuit::PlaintextCircuit<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:321:49
[INFO] [stdout]     |
[INFO] [stdout] 321 |         result.extend(self.slots_to_coeffs_thin.required_galois_keys(&P.acting_galois_group()).into_iter());
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&circuit::PlaintextCircuit<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:322:49
[INFO] [stdout]     |
[INFO] [stdout] 322 |         result.extend(self.coeffs_to_slots_thin.required_galois_keys(&P.acting_galois_group()).into_iter());
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:323:28: 323:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:323:9
[INFO] [stdout]     |
[INFO] [stdout] 323 |         result.sort_by_key(|g| P.acting_galois_group().representative(g));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:323:28: 323:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:323:16
[INFO] [stdout]     |
[INFO] [stdout] 323 |         result.sort_by_key(|g| P.acting_galois_group().representative(g));
[INFO] [stdout]     |                ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:323:28: 323:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:323:28
[INFO] [stdout]     |
[INFO] [stdout] 323 |         result.sort_by_key(|g| P.acting_galois_group().representative(g));
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:324:25: 324:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:324:9
[INFO] [stdout]     |
[INFO] [stdout] 324 |         result.dedup_by(|g, s| P.acting_galois_group().eq_el(g, s));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:324:25: 324:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:324:16
[INFO] [stdout]     |
[INFO] [stdout] 324 |         result.dedup_by(|g, s| P.acting_galois_group().eq_el(g, s));
[INFO] [stdout]     |                ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:324:25: 324:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:324:25
[INFO] [stdout]     |
[INFO] [stdout] 324 |         result.dedup_by(|g, s| P.acting_galois_group().eq_el(g, s));
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:321:23
[INFO] [stdout]     |
[INFO] [stdout] 321 |         result.extend(self.slots_to_coeffs_thin.required_galois_keys(&P.acting_galois_group()).into_iter());
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:322:23
[INFO] [stdout]     |
[INFO] [stdout] 322 |         result.extend(self.coeffs_to_slots_thin.required_galois_keys(&P.acting_galois_group()).into_iter());
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:373:25
[INFO] [stdout]     |
[INFO] [stdout] 373 |                 assert!(C_master.base_ring().len() - ct_dropped_moduli.len() >= self.slots_to_coeffs_rns_factors);
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:394:22
[INFO] [stdout]     |
[INFO] [stdout] 394 |                     &self.slots_to_coeffs_thin, 
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: internal compiler error: /rustc-dev/6713fa75964eb229409a9c6f6f5c418423e313ff/compiler/rustc_hir_typeck/src/upvar.rs:1940:34: deref of unexpected pointer type {type error}
[INFO] [stdout]    --> src/bgv/bootstrap.rs:350:9
[INFO] [stdout]     |
[INFO] [stdout] 350 |         &self,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] 
[INFO] [stderr] thread 'rustc' (506) panicked at /rustc-dev/6713fa75964eb229409a9c6f6f5c418423e313ff/compiler/rustc_hir_typeck/src/upvar.rs:1940:34:
[INFO] [stderr] Box<dyn Any>
[INFO] [stderr] stack backtrace:
[INFO] [stderr]    0:     0x706697f5bdf9 - <<std[84b965e916ada86]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[27c495824da5377]::fmt::Display>::fmt
[INFO] [stderr]    1:     0x70669860311e - core[27c495824da5377]::fmt::write
[INFO] [stderr]    2:     0x706697f72826 - <std[84b965e916ada86]::sys::stdio::unix::Stderr as std[84b965e916ada86]::io::Write>::write_fmt
[INFO] [stderr]    3:     0x706697f31fce - std[84b965e916ada86]::panicking::default_hook::{closure#0}
[INFO] [stderr]    4:     0x706697f4f4b3 - std[84b965e916ada86]::panicking::default_hook
[INFO] [stderr]    5:     0x706696f1dfe1 - std[84b965e916ada86]::panicking::update_hook::<alloc[a56f7273ee213d32]::boxed::Box<rustc_driver_impl[e19a32eec23216b6]::install_ice_hook::{closure#1}>>::{closure#0}
[INFO] [stderr]    6:     0x706697f4f792 - std[84b965e916ada86]::panicking::panic_with_hook
[INFO] [stderr]    7:     0x706696f4d181 - std[84b965e916ada86]::panicking::begin_panic::<rustc_errors[4dbba7d76e73268e]::ExplicitBug>::{closure#0}
[INFO] [stderr]    8:     0x706696f46406 - std[84b965e916ada86]::sys::backtrace::__rust_end_short_backtrace::<std[84b965e916ada86]::panicking::begin_panic<rustc_errors[4dbba7d76e73268e]::ExplicitBug>::{closure#0}, !>
[INFO] [stderr]    9:     0x706696f443d8 - std[84b965e916ada86]::panicking::begin_panic::<rustc_errors[4dbba7d76e73268e]::ExplicitBug>
[INFO] [stderr]   10:     0x706696f58571 - <rustc_errors[4dbba7d76e73268e]::diagnostic::BugAbort as rustc_errors[4dbba7d76e73268e]::diagnostic::EmissionGuarantee>::emit_producing_guarantee
[INFO] [stderr]   11:     0x7066974da1fc - <rustc_errors[4dbba7d76e73268e]::DiagCtxtHandle>::span_bug::<rustc_span[b58b82774f9115c8]::span_encoding::Span, alloc[a56f7273ee213d32]::string::String>
[INFO] [stderr]   12:     0x7066975017d6 - rustc_middle[d3fd11ea3dd69280]::util::bug::opt_span_bug_fmt::<rustc_span[b58b82774f9115c8]::span_encoding::Span>::{closure#0}
[INFO] [stderr]   13:     0x706697501982 - rustc_middle[d3fd11ea3dd69280]::ty::context::tls::with_opt::<rustc_middle[d3fd11ea3dd69280]::util::bug::opt_span_bug_fmt<rustc_span[b58b82774f9115c8]::span_encoding::Span>::{closure#0}, !>::{closure#0}
[INFO] [stderr]   14:     0x7066974f2e5b - rustc_middle[d3fd11ea3dd69280]::ty::context::tls::with_context_opt::<rustc_middle[d3fd11ea3dd69280]::ty::context::tls::with_opt<rustc_middle[d3fd11ea3dd69280]::util::bug::opt_span_bug_fmt<rustc_span[b58b82774f9115c8]::span_encoding::Span>::{closure#0}, !>::{closure#0}, !>
[INFO] [stderr]   15:     0x70669502a3d8 - rustc_middle[d3fd11ea3dd69280]::util::bug::span_bug_fmt::<rustc_span[b58b82774f9115c8]::span_encoding::Span>
[INFO] [stderr]   16:     0x70669a24b308 - <rustc_hir_typeck[328c1a15ce5fe81b]::fn_ctxt::FnCtxt>::determine_capture_mutability.cold
[INFO] [stderr]   17:     0x70669939cfd1 - <rustc_hir_typeck[328c1a15ce5fe81b]::fn_ctxt::FnCtxt>::compute_min_captures
[INFO] [stderr]   18:     0x706699397e1a - <rustc_hir_typeck[328c1a15ce5fe81b]::fn_ctxt::FnCtxt>::analyze_closure
[INFO] [stderr]   19:     0x7066993b362c - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_expr
[INFO] [stderr]   20:     0x7066993b37a6 - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_expr
[INFO] [stderr]   21:     0x7066993b34ab - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_block
[INFO] [stderr]   22:     0x7066993b3605 - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_expr
[INFO] [stderr]   23:     0x7066993b37a6 - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_expr
[INFO] [stderr]   24:     0x7066993b7acd - rustc_hir_typeck[328c1a15ce5fe81b]::typeck_with_inspect::{closure#0}
[INFO] [stderr]   25:     0x7066993b4d70 - rustc_query_impl[cdf09e1e03dee348]::query_impl::typeck_root::invoke_provider_fn::__rust_begin_short_backtrace
[INFO] [stderr]   26:     0x70669872b36d - rustc_query_impl[cdf09e1e03dee348]::execution::try_execute_query::<rustc_data_structures[ab396bf643692d13]::vec_cache::VecCache<rustc_span[b58b82774f9115c8]::def_id::LocalDefId, rustc_middle[d3fd11ea3dd69280]::query::erase::ErasedData<[u8; 8usize]>, rustc_middle[d3fd11ea3dd69280]::dep_graph::graph::DepNodeIndex>, false>
[INFO] [stderr]   27:     0x70669872ab83 - rustc_query_impl[cdf09e1e03dee348]::query_impl::typeck_root::execute_query_non_incr::__rust_end_short_backtrace
[INFO] [stderr]   28:     0x706698ddee2c - <rustc_middle[d3fd11ea3dd69280]::ty::context::TyCtxt>::par_hir_body_owners::<rustc_hir_analysis[c0739e98d17e7dd]::check_crate::{closure#1}>::{closure#0}
[INFO] [stderr]   29:     0x706698dde81c - rustc_hir_analysis[c0739e98d17e7dd]::check_crate
[INFO] [stderr]   30:     0x706699698721 - rustc_interface[2eb777340612d22]::passes::analysis
[INFO] [stderr]   31:     0x706699768dc9 - rustc_query_impl[cdf09e1e03dee348]::execution::try_execute_query::<rustc_middle[d3fd11ea3dd69280]::query::caches::SingleCache<rustc_middle[d3fd11ea3dd69280]::query::erase::ErasedData<[u8; 0usize]>>, false>
[INFO] [stderr]   32:     0x706699768a29 - rustc_query_impl[cdf09e1e03dee348]::query_impl::analysis::execute_query_non_incr::__rust_end_short_backtrace
[INFO] [stderr]   33:     0x7066997aa57c - rustc_interface[2eb777340612d22]::interface::run_compiler::<(), rustc_driver_impl[e19a32eec23216b6]::run_compiler::{closure#0}>::{closure#1}
[INFO] [stderr]   34:     0x7066997921fa - std[84b965e916ada86]::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface[2eb777340612d22]::util::run_in_thread_with_globals<rustc_interface[2eb777340612d22]::util::run_in_thread_pool_with_globals<rustc_interface[2eb777340612d22]::interface::run_compiler<(), rustc_driver_impl[e19a32eec23216b6]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>
[INFO] [stderr]   35:     0x70669979292d - <std[84b965e916ada86]::thread::lifecycle::spawn_unchecked<rustc_interface[2eb777340612d22]::util::run_in_thread_with_globals<rustc_interface[2eb777340612d22]::util::run_in_thread_pool_with_globals<rustc_interface[2eb777340612d22]::interface::run_compiler<(), rustc_driver_impl[e19a32eec23216b6]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core[27c495824da5377]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stderr]   36:     0x7066997936ec - <std[84b965e916ada86]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stderr]   37:     0x70669348aaa4 - <unknown>
[INFO] [stderr]   38:     0x706693517a64 - clone
[INFO] [stderr]   39:                0x0 - <unknown>
[INFO] [stderr] 
[INFO] [stderr] note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-compiler&template=ice.md
[INFO] [stderr] 
[INFO] [stderr] note: please make sure that you have updated to the latest nightly
[INFO] [stderr] 
[INFO] [stderr] warning: the ICE couldn't be written to `/opt/rustwide/workdir/rustc-ice-2026-05-15T14_10_28-501.txt`: Read-only file system (os error 30)
[INFO] [stderr] 
[INFO] [stderr] note: rustc 1.97.0-nightly (6713fa759 2026-04-30) running on x86_64-unknown-linux-gnu
[INFO] [stderr] 
[INFO] [stderr] note: compiler flags: --crate-type rlib -C embed-bitcode=no -C debuginfo=2
[INFO] [stderr] 
[INFO] [stderr] note: some of the compiler flags provided by cargo are hidden
[INFO] [stderr] 
[INFO] [stderr] query stack during panic:
[INFO] [stderr] #0 [typeck_root] type-checking `bgv::bootstrap::<impl at src/bgv/bootstrap.rs:43:1: 46:76>::bootstrap_thin`
[INFO] [stderr] #1 [analysis] running analysis passes on crate `fheanor`
[INFO] [stderr] end of query stack
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ == <<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<... as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, ..., ..., ...>> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element`
[INFO] [stdout]   --> src/clpx/eval.rs:59:9
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<feanor_math::rings::zn::zn_big::ZnBase<...>>, ..., ...>>: feanor_math::ring::RingStore`
[INFO] [stdout]   --> src/clpx/eval.rs:59:40
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>> as feanor_math::ring::RingStore>::Type: feanor_math::homomorphism::CanHomFrom<...>`
[INFO] [stdout]    --> src/clpx/eval.rs:59:40
[INFO] [stdout]     |
[INFO] [stdout]  59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]     |                                        ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `can_hom`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/feanor-math-3.5.18/src/ring.rs:724:21
[INFO] [stdout]     |
[INFO] [stdout] 721 |     fn can_hom<'a, S>(&'a self, from: &'a S) -> Option<CanHom<&'a S, &'a Self>>
[INFO] [stdout]     |        ------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 724 |         Self::Type: CanHomFrom<S::Type>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^ required by this bound in `RingStore::can_hom`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>: feanor_math::homomorphism::Homomorphism<..., _>`
[INFO] [stdout]   --> src/clpx/eval.rs:59:84
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                                    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>: Sized`
[INFO] [stdout]   --> src/clpx/eval.rs:59:75
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                           ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `std::option::Option::<T>::unwrap`
[INFO] [stdout]   --> /rustc/6713fa75964eb229409a9c6f6f5c418423e313ff/library/core/src/option.rs:1010:4
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:31
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                               ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&<<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<... as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, ..., ..., ...>> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:37
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<feanor_math::rings::zn::zn_big::ZnBase<...>>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:38
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:40
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `std::option::Option<feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:40
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:38
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `std::option::Option<feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:75
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:75
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:38
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:84
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                                    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ == <<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<... as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, ..., ..., ...>> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element`
[INFO] [stdout]   --> src/clpx/eval.rs:72:9
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<feanor_math::rings::zn::zn_big::ZnBase<...>>, ..., ...>>: feanor_math::ring::RingStore`
[INFO] [stdout]   --> src/clpx/eval.rs:72:40
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>> as feanor_math::ring::RingStore>::Type: feanor_math::homomorphism::CanHomFrom<...>`
[INFO] [stdout]    --> src/clpx/eval.rs:72:40
[INFO] [stdout]     |
[INFO] [stdout]  72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]     |                                        ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `can_hom`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/feanor-math-3.5.18/src/ring.rs:724:21
[INFO] [stdout]     |
[INFO] [stdout] 721 |     fn can_hom<'a, S>(&'a self, from: &'a S) -> Option<CanHom<&'a S, &'a Self>>
[INFO] [stdout]     |        ------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 724 |         Self::Type: CanHomFrom<S::Type>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^ required by this bound in `RingStore::can_hom`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>: feanor_math::homomorphism::Homomorphism<..., _>`
[INFO] [stdout]   --> src/clpx/eval.rs:72:84
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                                    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>: Sized`
[INFO] [stdout]   --> src/clpx/eval.rs:72:75
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                           ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `std::option::Option::<T>::unwrap`
[INFO] [stdout]   --> /rustc/6713fa75964eb229409a9c6f6f5c418423e313ff/library/core/src/option.rs:1010:4
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:31
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                               ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&<<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<... as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, ..., ..., ...>> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:37
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<feanor_math::rings::zn::zn_big::ZnBase<...>>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:38
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:40
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `std::option::Option<feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:40
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:38
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `std::option::Option<feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:75
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:75
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:38
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:84
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                                    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0275, E0282, E0283.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0275`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `fheanor` (lib) due to 125 previous errors; 3 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0283]: type annotations needed for `circuit::PlaintextCircuit<_>`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 106 | ...   let coeffs_to_slots_thin = coeffs_to_slots_thin.change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_...
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^                        ------------------- type must be known at this point
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type must implement `feanor_math::ring::RingBase`
[INFO] [stdout]     = help: the following types implement trait `feanor_math::ring::RingBase`:
[INFO] [stdout]               Complex64Base
[INFO] [stdout]               DensePolyRingBase<R, A, C>
[INFO] [stdout]               DirectPowerRingBase<R, N>
[INFO] [stdout]               EncodedBFVPlaintextRingBase<Params>
[INFO] [stdout]               FractionFieldImplBase<R>
[INFO] [stdout]               FreeAlgebraImplBase<R, V, A, C>
[INFO] [stdout]               MultivariatePolyRingImplBase<R, A>
[INFO] [stdout]               RationalFieldBase<I>
[INFO] [stdout]             and 13 others
[INFO] [stdout] note: required by a bound in `circuit::PlaintextCircuit::<R>::change_ring_uniform`
[INFO] [stdout]    --> src/circuit/mod.rs:477:25
[INFO] [stdout]     |
[INFO] [stdout] 475 |     pub fn change_ring_uniform<S, F>(self, f: F) -> PlaintextCircuit<S>
[INFO] [stdout]     |            ------------------- required by a bound in this associated function
[INFO] [stdout] 476 |         where F: FnMut(Coefficient<R>) -> Coefficient<S>,
[INFO] [stdout] 477 |             S: ?Sized + RingBase
[INFO] [stdout]     |                         ^^^^^^^^ required by this bound in `PlaintextCircuit::<R>::change_ring_uniform`
[INFO] [stdout] help: consider giving `coeffs_to_slots_thin` an explicit type, where the type for type parameter `S` is specified
[INFO] [stdout]     |
[INFO] [stdout] 106 |         let coeffs_to_slots_thin: circuit::PlaintextCircuit<S> = coeffs_to_slots_thin.change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                                 ++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:99
[INFO] [stdout]     |
[INFO] [stdout] 106 | ..._uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:107:99
[INFO] [stdout]     |
[INFO] [stdout] 107 | ...ng_uniform(|x| x.change_ring(|x| Params::encode_plain(&original_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type: modswitch::AsBGVPlaintext<Params>`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:109:9
[INFO] [stdout]     |
[INFO] [stdout] 109 |         Self {
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `bgv::bootstrap::ThinBootstrapper`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:29:54
[INFO] [stdout]     |
[INFO] [stdout]  26 | pub struct ThinBootstrapper<Params, Strategy>
[INFO] [stdout]     |            ---------------- required by a bound in this struct
[INFO] [stdout] ...
[INFO] [stdout]  29 |         <CiphertextRing<Params> as RingStore>::Type: AsBGVPlaintext<Params>
[INFO] [stdout]     |                                                      ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `ThinBootstrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ == <feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:111:13
[INFO] [stdout]     |
[INFO] [stdout] 111 |             coeffs_to_slots_thin,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ == <feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:112:13
[INFO] [stdout]     |
[INFO] [stdout] 112 |             slots_to_coeffs_thin,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:105:57: 105:60}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:105:40
[INFO] [stdout]     |
[INFO] [stdout] 105 | ...   let plaintext_ring_hierarchy = ((r + 1)..e).map(|k| instantiation.create_plaintext_ring(ZZbig.pow(ZZbig.clone_el(&p), k))).co...
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:105:57: 105:60}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:105:53
[INFO] [stdout]     |
[INFO] [stdout] 105 | ...   let plaintext_ring_hierarchy = ((r + 1)..e).map(|k| instantiation.create_plaintext_ring(ZZbig.pow(ZZbig.clone_el(&p), k))).co...
[INFO] [stdout]     |                                                   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `std::iter::Map<std::ops::Range<usize>, {closure@src/bgv/bootstrap.rs:105:57: 105:60}>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:105:53
[INFO] [stdout]     |
[INFO] [stdout] 105 | ...   let plaintext_ring_hierarchy = ((r + 1)..e).map(|k| instantiation.create_plaintext_ring(ZZbig.pow(ZZbig.clone_el(&p), k))).co...
[INFO] [stdout]     |                                                   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:105:57: 105:60}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:105:57
[INFO] [stdout]     |
[INFO] [stdout] 105 | ...   let plaintext_ring_hierarchy = ((r + 1)..e).map(|k| instantiation.create_plaintext_ring(ZZbig.pow(ZZbig.clone_el(&p), k))).co...
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `std::iter::Map<std::ops::Range<usize>, {closure@src/bgv/bootstrap.rs:105:57: 105:60}>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:105:40
[INFO] [stdout]     |
[INFO] [stdout] 105 | ..._hierarchy = ((r + 1)..e).map(|k| instantiation.create_plaintext_ring(ZZbig.pow(ZZbig.clone_el(&p), k))).collect();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `std::iter::Map<std::ops::Range<usize>, {closure@src/bgv/bootstrap.rs:105:57: 105:60}>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:105:132
[INFO] [stdout]     |
[INFO] [stdout] 105 | ...on.create_plaintext_ring(ZZbig.pow(ZZbig.clone_el(&p), k))).collect();
[INFO] [stdout]     |                                                                ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:106:77: 106:80}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:36
[INFO] [stdout]     |
[INFO] [stdout] 106 | ... = coeffs_to_slots_thin.change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:106:77: 106:80}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:57
[INFO] [stdout]     |
[INFO] [stdout] 106 | ...   let coeffs_to_slots_thin = coeffs_to_slots_thin.change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_...
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:106:77: 106:80}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:77
[INFO] [stdout]     |
[INFO] [stdout] 106 | ...change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:106:95: 106:98}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:81
[INFO] [stdout]     |
[INFO] [stdout] 106 | ...ange_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:106:95: 106:98}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:83
[INFO] [stdout]     |
[INFO] [stdout] 106 | ...   let coeffs_to_slots_thin = coeffs_to_slots_thin.change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_...
[INFO] [stdout]     |                                                                                 ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:106:95: 106:98}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:95
[INFO] [stdout]     |
[INFO] [stdout] 106 | ...ng_uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:150
[INFO] [stdout]     |
[INFO] [stdout] 106 | ...ing(|x| Params::encode_plain(&intermediate_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                                                               ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:106:99
[INFO] [stdout]     |
[INFO] [stdout] 106 | ..._uniform(|x| x.change_ring(|x| Params::encode_plain(&intermediate_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:107:77: 107:80}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:107:36
[INFO] [stdout]     |
[INFO] [stdout] 107 | ... = slots_to_coeffs_thin.change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&original_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:107:77: 107:80}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:107:57
[INFO] [stdout]     |
[INFO] [stdout] 107 | ...   let slots_to_coeffs_thin = slots_to_coeffs_thin.change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&original_plai...
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:107:77: 107:80}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:107:77
[INFO] [stdout]     |
[INFO] [stdout] 107 | ...n.change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&original_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:107:95: 107:98}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:107:81
[INFO] [stdout]     |
[INFO] [stdout] 107 | ...change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&original_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:107:95: 107:98}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:107:83
[INFO] [stdout]     |
[INFO] [stdout] 107 | ...   let slots_to_coeffs_thin = slots_to_coeffs_thin.change_ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&original_plai...
[INFO] [stdout]     |                                                                                 ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:107:95: 107:98}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:107:95
[INFO] [stdout]     |
[INFO] [stdout] 107 | ...ring_uniform(|x| x.change_ring(|x| Params::encode_plain(&original_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:107:146
[INFO] [stdout]     |
[INFO] [stdout] 107 | ...ge_ring(|x| Params::encode_plain(&original_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                                                               ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:107:99
[INFO] [stdout]     |
[INFO] [stdout] 107 | ...ng_uniform(|x| x.change_ring(|x| Params::encode_plain(&original_plaintext_ring, &C_master, &x)));
[INFO] [stdout]     |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `circuit::PlaintextCircuit<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:111:13
[INFO] [stdout]     |
[INFO] [stdout] 111 |             coeffs_to_slots_thin,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `circuit::PlaintextCircuit<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:112:13
[INFO] [stdout]     |
[INFO] [stdout] 112 |             slots_to_coeffs_thin,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:119:37
[INFO] [stdout]     |
[INFO] [stdout] 119 |             master_ciphertext_ring: C_master
[INFO] [stdout]     |                                     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:193:35
[INFO] [stdout]     |
[INFO] [stdout] 193 | ...   let min_rns_factor_log2 = C_master.base_ring().as_iter().map(|rns_factor| *rns_factor.modulus() as i64).map(|rns_factor| (rns...
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingExtension>::BaseRing == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:193:35
[INFO] [stdout]     |
[INFO] [stdout] 193 | ...   let min_rns_factor_log2 = C_master.base_ring().as_iter().map(|rns_factor| *rns_factor.modulus() as i64).map(|rns_factor| (rns...
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:268:35
[INFO] [stdout]     |
[INFO] [stdout] 268 | ...   let min_rns_factor_log2 = C_master.base_ring().as_iter().map(|rns_factor| *rns_factor.modulus() as i64).map(|rns_factor| (rns...
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingExtension>::BaseRing == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:268:35
[INFO] [stdout]     |
[INFO] [stdout] 268 | ...   let min_rns_factor_log2 = C_master.base_ring().as_iter().map(|rns_factor| *rns_factor.modulus() as i64).map(|rns_factor| (rns...
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type: modswitch::AsBGVPlaintext<Params>`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:281:9
[INFO] [stdout]     |
[INFO] [stdout] 281 |         Self {
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `bgv::bootstrap::ThinBootstrapper`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:29:54
[INFO] [stdout]     |
[INFO] [stdout]  26 | pub struct ThinBootstrapper<Params, Strategy>
[INFO] [stdout]     |            ---------------- required by a bound in this struct
[INFO] [stdout] ...
[INFO] [stdout]  29 |         <CiphertextRing<Params> as RingStore>::Type: AsBGVPlaintext<Params>
[INFO] [stdout]     |                                                      ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `ThinBootstrapper`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `circuit::PlaintextCircuit<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:282:35
[INFO] [stdout]     |
[INFO] [stdout] 282 |             coeffs_to_slots_thin: self.coeffs_to_slots_thin,
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:286:37
[INFO] [stdout]     |
[INFO] [stdout] 286 |             master_ciphertext_ring: self.master_ciphertext_ring,
[INFO] [stdout]     |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `circuit::PlaintextCircuit<<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:291:35
[INFO] [stdout]     |
[INFO] [stdout] 291 |             slots_to_coeffs_thin: self.slots_to_coeffs_thin
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:282:35
[INFO] [stdout]     |
[INFO] [stdout] 282 |             coeffs_to_slots_thin: self.coeffs_to_slots_thin,
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:291:35
[INFO] [stdout]     |
[INFO] [stdout] 291 |             slots_to_coeffs_thin: self.slots_to_coeffs_thin
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<Params as bgv::BGVInstantiation>::CiphertextRing == <feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:321:23
[INFO] [stdout]     |
[INFO] [stdout] 321 |         result.extend(self.slots_to_coeffs_thin.required_galois_keys(&P.acting_galois_group()).into_iter());
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<Params as bgv::BGVInstantiation>::CiphertextRing: feanor_math::ring::RingBase`
[INFO] [stdout]     --> src/bgv/bootstrap.rs:321:49
[INFO] [stdout]      |
[INFO] [stdout]  321 |         result.extend(self.slots_to_coeffs_thin.required_galois_keys(&P.acting_galois_group()).into_iter());
[INFO] [stdout]      |                                                 ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout] note: required by a bound in `circuit::PlaintextCircuit::<R>::required_galois_keys`
[INFO] [stdout]     --> src/circuit/mod.rs:342:18
[INFO] [stdout]      |
[INFO] [stdout]  342 | impl<R: ?Sized + RingBase> PlaintextCircuit<R> {
[INFO] [stdout]      |                  ^^^^^^^^ required by this bound in `PlaintextCircuit::<R>::required_galois_keys`
[INFO] [stdout] ...
[INFO] [stdout] 1146 |     pub fn required_galois_keys(&self, galois_group: &Subgroup<CyclotomicGaloisGroup>) -> Vec<GaloisGroupEl> {
[INFO] [stdout]      |            -------------------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<Params as bgv::BGVInstantiation>::CiphertextRing == <feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:322:23
[INFO] [stdout]     |
[INFO] [stdout] 322 |         result.extend(self.coeffs_to_slots_thin.required_galois_keys(&P.acting_galois_group()).into_iter());
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<Params as bgv::BGVInstantiation>::CiphertextRing: feanor_math::ring::RingBase`
[INFO] [stdout]     --> src/bgv/bootstrap.rs:322:49
[INFO] [stdout]      |
[INFO] [stdout]  322 |         result.extend(self.coeffs_to_slots_thin.required_galois_keys(&P.acting_galois_group()).into_iter());
[INFO] [stdout]      |                                                 ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout] note: required by a bound in `circuit::PlaintextCircuit::<R>::required_galois_keys`
[INFO] [stdout]     --> src/circuit/mod.rs:342:18
[INFO] [stdout]      |
[INFO] [stdout]  342 | impl<R: ?Sized + RingBase> PlaintextCircuit<R> {
[INFO] [stdout]      |                  ^^^^^^^^ required by this bound in `PlaintextCircuit::<R>::required_galois_keys`
[INFO] [stdout] ...
[INFO] [stdout] 1146 |     pub fn required_galois_keys(&self, galois_group: &Subgroup<CyclotomicGaloisGroup>) -> Vec<GaloisGroupEl> {
[INFO] [stdout]      |            -------------------- required by a bound in this associated function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&circuit::PlaintextCircuit<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:321:49
[INFO] [stdout]     |
[INFO] [stdout] 321 |         result.extend(self.slots_to_coeffs_thin.required_galois_keys(&P.acting_galois_group()).into_iter());
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&circuit::PlaintextCircuit<<Params as bgv::BGVInstantiation>::CiphertextRing>` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:322:49
[INFO] [stdout]     |
[INFO] [stdout] 322 |         result.extend(self.coeffs_to_slots_thin.required_galois_keys(&P.acting_galois_group()).into_iter());
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:323:28: 323:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:323:9
[INFO] [stdout]     |
[INFO] [stdout] 323 |         result.sort_by_key(|g| P.acting_galois_group().representative(g));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:323:28: 323:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:323:16
[INFO] [stdout]     |
[INFO] [stdout] 323 |         result.sort_by_key(|g| P.acting_galois_group().representative(g));
[INFO] [stdout]     |                ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:323:28: 323:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:323:28
[INFO] [stdout]     |
[INFO] [stdout] 323 |         result.sort_by_key(|g| P.acting_galois_group().representative(g));
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:324:25: 324:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:324:9
[INFO] [stdout]     |
[INFO] [stdout] 324 |         result.dedup_by(|g, s| P.acting_galois_group().eq_el(g, s));
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:324:25: 324:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:324:16
[INFO] [stdout]     |
[INFO] [stdout] 324 |         result.dedup_by(|g, s| P.acting_galois_group().eq_el(g, s));
[INFO] [stdout]     |                ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `{closure@src/bgv/bootstrap.rs:324:25: 324:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:324:25
[INFO] [stdout]     |
[INFO] [stdout] 324 |         result.dedup_by(|g, s| P.acting_galois_group().eq_el(g, s));
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:321:23
[INFO] [stdout]     |
[INFO] [stdout] 321 |         result.extend(self.slots_to_coeffs_thin.required_galois_keys(&P.acting_galois_group()).into_iter());
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:322:23
[INFO] [stdout]     |
[INFO] [stdout] 322 |         result.extend(self.coeffs_to_slots_thin.required_galois_keys(&P.acting_galois_group()).into_iter());
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:373:25
[INFO] [stdout]     |
[INFO] [stdout] 373 |                 assert!(C_master.base_ring().len() - ct_dropped_moduli.len() >= self.slots_to_coeffs_rns_factors);
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] 
[INFO] [stderr] thread 'rustc' (503) panicked at /rustc-dev/6713fa75964eb229409a9c6f6f5c418423e313ff/compiler/rustc_hir_typeck/src/upvar.rs:1940:34:
[INFO] [stderr] Box<dyn Any>
[INFO] [stderr] stack backtrace:
[INFO] [stderr]    0:     0x7ad65435bdf9 - <<std[84b965e916ada86]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[27c495824da5377]::fmt::Display>::fmt
[INFO] [stderr]    1:     0x7ad654a0311e - core[27c495824da5377]::fmt::write
[INFO] [stderr]    2:     0x7ad654372826 - <std[84b965e916ada86]::sys::stdio::unix::Stderr as std[84b965e916ada86]::io::Write>::write_fmt
[INFO] [stderr]    3:     0x7ad654331fce - std[84b965e916ada86]::panicking::default_hook::{closure#0}
[INFO] [stderr]    4:     0x7ad65434f4b3 - std[84b965e916ada86]::panicking::default_hook
[INFO] [stderr]    5:     0x7ad65331dfe1 - std[84b965e916ada86]::panicking::update_hook::<alloc[a56f7273ee213d32]::boxed::Box<rustc_driver_impl[e19a32eec23216b6]::install_ice_hook::{closure#1}>>::{closure#0}
[INFO] [stderr]    6:     0x7ad65434f792 - std[84b965e916ada86]::panicking::panic_with_hook
[INFO] [stderr]    7:     0x7ad65334d181 - std[84b965e916ada86]::panicking::begin_panic::<rustc_errors[4dbba7d76e73268e]::ExplicitBug>::{closure#0}
[INFO] [stderr]    8:     0x7ad653346406 - std[84b965e916ada86]::sys::backtrace::__rust_end_short_backtrace::<std[84b965e916ada86]::panicking::begin_panic<rustc_errors[4dbba7d76e73268e]::ExplicitBug>::{closure#0}, !>
[INFO] [stderr]    9:     0x7ad6533443d8 - std[84b965e916ada86]::panicking::begin_panic::<rustc_errors[4dbba7d76e73268e]::ExplicitBug>
[INFO] [stderr]   10:     0x7ad653358571 - <rustc_errors[4dbba7d76e73268e]::diagnostic::BugAbort as rustc_errors[4dbba7d76e73268e]::diagnostic::EmissionGuarantee>::emit_producing_guarantee
[INFO] [stderr]   11:     0x7ad6538da1fc - <rustc_errors[4dbba7d76e73268e]::DiagCtxtHandle>::span_bug::<rustc_span[b58b82774f9115c8]::span_encoding::Span, alloc[a56f7273ee213d32]::string::String>
[INFO] [stderr]   12:     0x7ad6539017d6 - rustc_middle[d3fd11ea3dd69280]::util::bug::opt_span_bug_fmt::<rustc_span[b58b82774f9115c8]::span_encoding::Span>::{closure#0}
[INFO] [stderr]   13:     0x7ad653901982 - rustc_middle[d3fd11ea3dd69280]::ty::context::tls::with_opt::<rustc_middle[d3fd11ea3dd69280]::util::bug::opt_span_bug_fmt<rustc_span[b58b82774f9115c8]::span_encoding::Span>::{closure#0}, !>::{closure#0}
[INFO] [stderr]   14:     0x7ad6538f2e5b - rustc_middle[d3fd11ea3dd69280]::ty::context::tls::with_context_opt::<rustc_middle[d3fd11ea3dd69280]::ty::context::tls::with_opt<rustc_middle[d3fd11ea3dd69280]::util::bug::opt_span_bug_fmt<rustc_span[b58b82774f9115c8]::span_encoding::Span>::{closure#0}, !>::{closure#0}, !>
[INFO] [stderr]   15:     0x7ad65142a3d8 - rustc_middle[d3fd11ea3dd69280]::util::bug::span_bug_fmt::<rustc_span[b58b82774f9115c8]::span_encoding::Span>
[INFO] [stderr]   16:     0x7ad65664b308 - <rustc_hir_typeck[328c1a15ce5fe81b]::fn_ctxt::FnCtxt>::determine_capture_mutability.cold
[INFO] [stderr]   17:     0x7ad65579cfd1 - <rustc_hir_typeck[328c1a15ce5fe81b]::fn_ctxt::FnCtxt>::compute_min_captures
[INFO] [stderr]   18:     0x7ad655797e1a - <rustc_hir_typeck[328c1a15ce5fe81b]::fn_ctxt::FnCtxt>::analyze_closure
[INFO] [stderr]   19:     0x7ad6557b362c - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_expr
[INFO] [stderr]   20:     0x7ad6557b37a6 - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_expr
[INFO] [stderr]   21:     0x7ad6557b34ab - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_block
[INFO] [stderr]   22:     0x7ad6557b3605 - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_expr
[INFO] [stderr]   23:     0x7ad6557b37a6 - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_expr
[INFO] [stderr]   24:     0x7ad6557b7acd - rustc_hir_typeck[328c1a15ce5fe81b]::typeck_with_inspect::{closure#0}
[INFO] [stderr]   25:     0x7ad6557b4d70 - rustc_query_impl[cdf09e1e03dee348]::query_impl::typeck_root::invoke_provider_fn::__rust_begin_short_backtrace
[INFO] [stderr]   26:     0x7ad654b2b36d - rustc_query_impl[cdf09e1e03dee348]::execution::try_execute_query::<rustc_data_structures[ab396bf643692d13]::vec_cache::VecCache<rustc_span[b58b82774f9115c8]::def_id::LocalDefId, rustc_middle[d3fd11ea3dd69280]::query::erase::ErasedData<[u8; 8usize]>, rustc_middle[d3fd11ea3dd69280]::dep_graph::graph::DepNodeIndex>, false>
[INFO] [stderr]   27:     0x7ad654b2ab83 - rustc_query_impl[cdf09e1e03dee348]::query_impl::typeck_root::execute_query_non_incr::__rust_end_short_backtrace
[INFO] [stderr]   28:     0x7ad6551dee2c - <rustc_middle[d3fd11ea3dd69280]::ty::context::TyCtxt>::par_hir_body_owners::<rustc_hir_analysis[c0739e98d17e7dd]::check_crate::{closure#1}>::{closure#0}
[INFO] [stderr]   29:     0x7ad6551de81c - rustc_hir_analysis[c0739e98d17e7dd]::check_crate
[INFO] [stderr]   30:     0x7ad655a98721 - rustc_interface[2eb777340612d22]::passes::analysis
[INFO] [stderr]   31:     0x7ad655b68dc9 - rustc_query_impl[cdf09e1e03dee348]::execution::try_execute_query::<rustc_middle[d3fd11ea3dd69280]::query::caches::SingleCache<rustc_middle[d3fd11ea3dd69280]::query::erase::ErasedData<[u8; 0usize]>>, false>
[INFO] [stderr]   32:     0x7ad655b68a29 - rustc_query_impl[cdf09e1e03dee348]::query_impl::analysis::execute_query_non_incr::__rust_end_short_backtrace
[INFO] [stderr]   33:     0x7ad655baa57c - rustc_interface[2eb777340612d22]::interface::run_compiler::<(), rustc_driver_impl[e19a32eec23216b6]::run_compiler::{closure#0}>::{closure#1}
[INFO] [stderr]   34:     0x7ad655b921fa - std[84b965e916ada86]::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface[2eb777340612d22]::util::run_in_thread_with_globals<rustc_interface[2eb777340612d22]::util::run_in_thread_pool_with_globals<rustc_interface[2eb777340612d22]::interface::run_compiler<(), rustc_driver_impl[e19a32eec23216b6]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>
[INFO] [stderr]   35:     0x7ad655b9292d - <std[84b965e916ada86]::thread::lifecycle::spawn_unchecked<rustc_interface[2eb777340612d22]::util::run_in_thread_with_globals<rustc_interface[2eb777340612d22]::util::run_in_thread_pool_with_globals<rustc_interface[2eb777340612d22]::interface::run_compiler<(), rustc_driver_impl[e19a32eec23216b6]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core[27c495824da5377]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stderr]   36:     0x7ad655b936ec - <std[84b965e916ada86]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stderr]   37:     0x7ad64f88aaa4 - <unknown>
[INFO] [stderr]   38:     0x7ad64f917a64 - clone
[INFO] [stderr]   39:                0x0 - <unknown>
[INFO] [stderr] 
[INFO] [stderr] note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-compiler&template=ice.md
[INFO] [stderr] 
[INFO] [stderr] note: please make sure that you have updated to the latest nightly
[INFO] [stderr] 
[INFO] [stderr] warning: the ICE couldn't be written to `/opt/rustwide/workdir/rustc-ice-2026-05-15T14_10_28-500.txt`: Read-only file system (os error 30)
[INFO] [stderr] 
[INFO] [stderr] note: rustc 1.97.0-nightly (6713fa759 2026-04-30) running on x86_64-unknown-linux-gnu
[INFO] [stderr] 
[INFO] [stderr] note: compiler flags: -C embed-bitcode=no -C debuginfo=2
[INFO] [stderr] 
[INFO] [stderr] note: some of the compiler flags provided by cargo are hidden
[INFO] [stderr] 
[INFO] [stderr] query stack during panic:
[INFO] [stderr] #0 [typeck_root] type-checking `bgv::bootstrap::<impl at src/bgv/bootstrap.rs:43:1: 46:76>::bootstrap_thin`
[INFO] [stderr] #1 [analysis] running analysis passes on crate `fheanor`
[INFO] [stderr] end of query stack
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<<Params as bgv::BGVInstantiation>::CiphertextRing> as feanor_math::ring::RingStore>::Type == _`
[INFO] [stdout]    --> src/bgv/bootstrap.rs:394:22
[INFO] [stdout]     |
[INFO] [stdout] 394 |                     &self.slots_to_coeffs_thin, 
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: internal compiler error: /rustc-dev/6713fa75964eb229409a9c6f6f5c418423e313ff/compiler/rustc_hir_typeck/src/upvar.rs:1940:34: deref of unexpected pointer type {type error}
[INFO] [stdout]    --> src/bgv/bootstrap.rs:350:9
[INFO] [stdout]     |
[INFO] [stdout] 350 |         &self,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ == <<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<... as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, ..., ..., ...>> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element`
[INFO] [stdout]   --> src/clpx/eval.rs:59:9
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<feanor_math::rings::zn::zn_big::ZnBase<...>>, ..., ...>>: feanor_math::ring::RingStore`
[INFO] [stdout]   --> src/clpx/eval.rs:59:40
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>> as feanor_math::ring::RingStore>::Type: feanor_math::homomorphism::CanHomFrom<...>`
[INFO] [stdout]    --> src/clpx/eval.rs:59:40
[INFO] [stdout]     |
[INFO] [stdout]  59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]     |                                        ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `can_hom`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/feanor-math-3.5.18/src/ring.rs:724:21
[INFO] [stdout]     |
[INFO] [stdout] 721 |     fn can_hom<'a, S>(&'a self, from: &'a S) -> Option<CanHom<&'a S, &'a Self>>
[INFO] [stdout]     |        ------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 724 |         Self::Type: CanHomFrom<S::Type>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^ required by this bound in `RingStore::can_hom`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>: feanor_math::homomorphism::Homomorphism<..., _>`
[INFO] [stdout]   --> src/clpx/eval.rs:59:84
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                                    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>: Sized`
[INFO] [stdout]   --> src/clpx/eval.rs:59:75
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                           ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `std::option::Option::<T>::unwrap`
[INFO] [stdout]   --> /rustc/6713fa75964eb229409a9c6f6f5c418423e313ff/library/core/src/option.rs:1010:4
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:31
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                               ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&<<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<... as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, ..., ..., ...>> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:37
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<feanor_math::rings::zn::zn_big::ZnBase<...>>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:38
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:40
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `std::option::Option<feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:40
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:38
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `std::option::Option<feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:75
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:75
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:38
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:59:84
[INFO] [stdout]    |
[INFO] [stdout] 59 |         Params::hom_add_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                                    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `_ == <<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<... as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, ..., ..., ...>> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element`
[INFO] [stdout]   --> src/clpx/eval.rs:72:9
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<feanor_math::rings::zn::zn_big::ZnBase<...>>, ..., ...>>: feanor_math::ring::RingStore`
[INFO] [stdout]   --> src/clpx/eval.rs:72:40
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>> as feanor_math::ring::RingStore>::Type: feanor_math::homomorphism::CanHomFrom<...>`
[INFO] [stdout]    --> src/clpx/eval.rs:72:40
[INFO] [stdout]     |
[INFO] [stdout]  72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]     |                                        ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `can_hom`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/feanor-math-3.5.18/src/ring.rs:724:21
[INFO] [stdout]     |
[INFO] [stdout] 721 |     fn can_hom<'a, S>(&'a self, from: &'a S) -> Option<CanHom<&'a S, &'a Self>>
[INFO] [stdout]     |        ------- required by a bound in this associated function
[INFO] [stdout] ...
[INFO] [stdout] 724 |         Self::Type: CanHomFrom<S::Type>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^ required by this bound in `RingStore::can_hom`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>: feanor_math::homomorphism::Homomorphism<..., _>`
[INFO] [stdout]   --> src/clpx/eval.rs:72:84
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                                    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>: Sized`
[INFO] [stdout]   --> src/clpx/eval.rs:72:75
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                           ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `std::option::Option::<T>::unwrap`
[INFO] [stdout]   --> /rustc/6713fa75964eb229409a9c6f6f5c418423e313ff/library/core/src/option.rs:1010:4
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:31
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                               ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&<<feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<... as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, ..., ..., ...>> as feanor_math::ring::RingStore>::Type as feanor_math::ring::RingBase>::Element` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:37
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<feanor_math::rings::zn::zn_big::ZnBase<...>>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:38
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<<<Params as clpx::CLPXInstantiation>::CiphertextRing as number_ring::NumberRingQuotient>::NumberRing, feanor_math::ring::RingValue<...>, ..., ...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:40
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `std::option::Option<feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:40
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:38
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `std::option::Option<feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:75
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:75
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<encoding::CLPXPlaintextRingBase<..., ..., ..., ...>>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:38
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating whether `&feanor_math::homomorphism::CanHom<&feanor_math::ring::RingValue<R>, &feanor_math::ring::RingValue<...>>` is well-formed
[INFO] [stdout]   --> src/clpx/eval.rs:72:84
[INFO] [stdout]    |
[INFO] [stdout] 72 |         Params::hom_mul_plain(P, C, &P.can_hom(RingValue::from_ref(self)).unwrap().map_ref(m), ct)
[INFO] [stdout]    |                                                                                    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0275, E0282, E0283.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0275`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `fheanor` (lib test) due to 125 previous errors; 3 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "ed0d3c0ee58d58e3b53a3726825174c1205465eac1c39eccfb4dba649c7d7f19", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ed0d3c0ee58d58e3b53a3726825174c1205465eac1c39eccfb4dba649c7d7f19", kill_on_drop: false }`
[INFO] [stdout] ed0d3c0ee58d58e3b53a3726825174c1205465eac1c39eccfb4dba649c7d7f19
