[INFO] fetching crate fheanor 0.10.19...
[INFO] checking fheanor-0.10.19 against try#6713fa75964eb229409a9c6f6f5c418423e313ff for pr-133502-22
[INFO] extracting crate fheanor 0.10.19 into /workspace/builds/worker-2-tc2/source
[INFO] removed /workspace/builds/worker-2-tc2/source/rust-toolchain.toml
[INFO] started tweaking crates.io crate fheanor 0.10.19
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate fheanor 0.10.19
[INFO] tweaked toml for crates.io crate fheanor 0.10.19 written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate fheanor 0.10.19 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 crates.io crate fheanor 0.10.19 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] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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] 733a3f4e0433a963cf82d29dd5f477fbc0fd2b928ce366a9e1deba90a33e563b
[INFO] running `Command { std: "docker" "start" "-a" "733a3f4e0433a963cf82d29dd5f477fbc0fd2b928ce366a9e1deba90a33e563b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "733a3f4e0433a963cf82d29dd5f477fbc0fd2b928ce366a9e1deba90a33e563b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "733a3f4e0433a963cf82d29dd5f477fbc0fd2b928ce366a9e1deba90a33e563b", kill_on_drop: false }`
[INFO] [stdout] 733a3f4e0433a963cf82d29dd5f477fbc0fd2b928ce366a9e1deba90a33e563b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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] 1a4e9525851976c03db0399885e8f967d929e551c1423cb1b9cf8569ecc50332
[INFO] running `Command { std: "docker" "start" "-a" "1a4e9525851976c03db0399885e8f967d929e551c1423cb1b9cf8569ecc50332", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling zerocopy v0.8.39
[INFO] [stderr]     Checking tracing-core v0.1.36
[INFO] [stderr]     Checking thread_local v1.1.9
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling heapless v0.7.17
[INFO] [stderr]     Checking nu-ansi-term v0.50.3
[INFO] [stderr]     Checking getrandom v0.3.4
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking spin v0.9.8
[INFO] [stderr]     Checking hash32 v0.2.1
[INFO] [stderr]     Checking miniz_oxide v0.8.9
[INFO] [stderr]     Checking serde_json v1.0.149
[INFO] [stderr]     Checking object v0.37.3
[INFO] [stderr]     Checking atomicbox v0.4.0
[INFO] [stderr]     Checking bytemuck v1.25.0
[INFO] [stderr]     Checking oorandom v11.1.5
[INFO] [stderr]     Checking append-only-vec v0.1.8
[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 rand_core v0.9.5
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]     Checking tracing-subscriber v0.3.22
[INFO] [stderr]     Checking tracing-chrome v0.7.2
[INFO] [stderr]     Checking backtrace v0.3.76
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[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 rand_chacha v0.9.0
[INFO] [stderr]     Checking rand v0.9.2
[INFO] [stderr]     Checking rand_distr v0.5.1
[INFO] [stderr]     Checking cobs v0.3.0
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]     Checking tracking-allocator v0.4.0
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]     Checking serde_assert v0.8.0
[INFO] [stderr]     Checking feanor-serde v0.1.5
[INFO] [stderr]     Checking feanor-math v3.5.15
[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] 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:61:5
[INFO] [stdout]    |
[INFO] [stdout] 61 | /     default fn hom_add_to(
[INFO] [stdout] 62 | |         &self, 
[INFO] [stdout] 63 | |         P: &PlaintextRing<Params>, 
[INFO] [stdout] 64 | |         C: &CiphertextRing<Params>, 
[INFO] [stdout] 65 | |         m: &Self::Element, 
[INFO] [stdout] 66 | |         ct: Ciphertext<Params>
[INFO] [stdout] 67 | |     ) -> 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:61:5
[INFO] [stdout]    |
[INFO] [stdout] 61 | /     default fn hom_add_to(
[INFO] [stdout] 62 | |         &self, 
[INFO] [stdout] 63 | |         P: &PlaintextRing<Params>, 
[INFO] [stdout] 64 | |         C: &CiphertextRing<Params>, 
[INFO] [stdout] 65 | |         m: &Self::Element, 
[INFO] [stdout] 66 | |         ct: Ciphertext<Params>
[INFO] [stdout] 67 | |     ) -> 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:11:8
[INFO] [stdout]    |
[INFO] [stdout]  6 | pub trait AsCLPXPlaintext<Params: CLPXInstantiation>: RingBase {
[INFO] [stdout]    |           --------------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 11 |     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:74:5
[INFO] [stdout]    |
[INFO] [stdout] 74 | /     default fn hom_mul_to(
[INFO] [stdout] 75 | |         &self, 
[INFO] [stdout] 76 | |         P: &PlaintextRing<Params>, 
[INFO] [stdout] 77 | |         C: &CiphertextRing<Params>, 
[INFO] [stdout] 78 | |         m: &Self::Element, 
[INFO] [stdout] 79 | |         ct: Ciphertext<Params>
[INFO] [stdout] 80 | |     ) -> 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:74:5
[INFO] [stdout]    |
[INFO] [stdout] 74 | /     default fn hom_mul_to(
[INFO] [stdout] 75 | |         &self, 
[INFO] [stdout] 76 | |         P: &PlaintextRing<Params>, 
[INFO] [stdout] 77 | |         C: &CiphertextRing<Params>, 
[INFO] [stdout] 78 | |         m: &Self::Element, 
[INFO] [stdout] 79 | |         ct: Ciphertext<Params>
[INFO] [stdout] 80 | |     ) -> 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:22:8
[INFO] [stdout]    |
[INFO] [stdout]  6 | pub trait AsCLPXPlaintext<Params: CLPXInstantiation>: RingBase {
[INFO] [stdout]    |           --------------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 22 |     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 `<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:87:5
[INFO] [stdout]    |
[INFO] [stdout] 87 | /     default fn apply_galois_action_plain(
[INFO] [stdout] 88 | |         &self,
[INFO] [stdout] 89 | |         _P: &PlaintextRing<Params>, 
[INFO] [stdout] 90 | |         x: &Self::Element,
[INFO] [stdout] 91 | |         gs: &[GaloisGroupEl]
[INFO] [stdout] 92 | |     ) -> Vec<Self::Element> {
[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:87:5
[INFO] [stdout]    |
[INFO] [stdout] 87 | /     default fn apply_galois_action_plain(
[INFO] [stdout] 88 | |         &self,
[INFO] [stdout] 89 | |         _P: &PlaintextRing<Params>, 
[INFO] [stdout] 90 | |         x: &Self::Element,
[INFO] [stdout] 91 | |         gs: &[GaloisGroupEl]
[INFO] [stdout] 92 | |     ) -> Vec<Self::Element> {
[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 `apply_galois_action_plain` but not on the corresponding trait's method
[INFO] [stdout]   --> src/clpx/eval.rs:48:8
[INFO] [stdout]    |
[INFO] [stdout]  6 | pub trait AsCLPXPlaintext<Params: CLPXInstantiation>: RingBase {
[INFO] [stdout]    |           --------------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 48 |     fn apply_galois_action_plain(
[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:56:45
[INFO] [stdout]    |
[INFO] [stdout] 56 | 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:59:53
[INFO] [stdout]    |
[INFO] [stdout] 59 |         <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:59:53
[INFO] [stdout]    |
[INFO] [stdout] 59 |         <PlaintextRing<Params> as RingStore>::Type: CanHomFrom<R>
[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 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:240:19
[INFO] [stdout]     |
[INFO] [stdout] 240 |         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:247:10
[INFO] [stdout]     |
[INFO] [stdout] 247 |     ) -> 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:293:34
[INFO] [stdout]     |
[INFO] [stdout] 293 |     pub fn with_digit_extraction(self, new_digit_extraction: DigitExtract) -> 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:293:79
[INFO] [stdout]     |
[INFO] [stdout] 293 |     pub fn with_digit_extraction(self, new_digit_extraction: DigitExtract) -> 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:311:10
[INFO] [stdout]     |
[INFO] [stdout] 311 |     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:315:10
[INFO] [stdout]     |
[INFO] [stdout] 315 |     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:319:10
[INFO] [stdout]     |
[INFO] [stdout] 319 |     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:323:10
[INFO] [stdout]     |
[INFO] [stdout] 323 |     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:327:40
[INFO] [stdout]     |
[INFO] [stdout] 327 |     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:331:32
[INFO] [stdout]     |
[INFO] [stdout] 331 |     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:335:33
[INFO] [stdout]     |
[INFO] [stdout] 335 |     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:375:19
[INFO] [stdout]     |
[INFO] [stdout] 375 |         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:366:9
[INFO] [stdout]     |
[INFO] [stdout] 366 |         &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:367:19
[INFO] [stdout]     |
[INFO] [stdout] 367 |         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:375:19
[INFO] [stdout]     |
[INFO] [stdout] 375 |         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:63:12
[INFO] [stdout]    |
[INFO] [stdout] 63 |         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:76:12
[INFO] [stdout]    |
[INFO] [stdout] 76 |         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:89:13
[INFO] [stdout]    |
[INFO] [stdout] 89 |         _P: &PlaintextRing<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:61:5
[INFO] [stdout]    |
[INFO] [stdout] 61 | /     default fn hom_add_to(
[INFO] [stdout] 62 | |         &self, 
[INFO] [stdout] 63 | |         P: &PlaintextRing<Params>, 
[INFO] [stdout] 64 | |         C: &CiphertextRing<Params>, 
[INFO] [stdout] 65 | |         m: &Self::Element, 
[INFO] [stdout] 66 | |         ct: Ciphertext<Params>
[INFO] [stdout] 67 | |     ) -> 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:61:5
[INFO] [stdout]    |
[INFO] [stdout] 61 | /     default fn hom_add_to(
[INFO] [stdout] 62 | |         &self, 
[INFO] [stdout] 63 | |         P: &PlaintextRing<Params>, 
[INFO] [stdout] 64 | |         C: &CiphertextRing<Params>, 
[INFO] [stdout] 65 | |         m: &Self::Element, 
[INFO] [stdout] 66 | |         ct: Ciphertext<Params>
[INFO] [stdout] 67 | |     ) -> 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:11:8
[INFO] [stdout]    |
[INFO] [stdout]  6 | pub trait AsCLPXPlaintext<Params: CLPXInstantiation>: RingBase {
[INFO] [stdout]    |           --------------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 11 |     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:74:5
[INFO] [stdout]    |
[INFO] [stdout] 74 | /     default fn hom_mul_to(
[INFO] [stdout] 75 | |         &self, 
[INFO] [stdout] 76 | |         P: &PlaintextRing<Params>, 
[INFO] [stdout] 77 | |         C: &CiphertextRing<Params>, 
[INFO] [stdout] 78 | |         m: &Self::Element, 
[INFO] [stdout] 79 | |         ct: Ciphertext<Params>
[INFO] [stdout] 80 | |     ) -> 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:74:5
[INFO] [stdout]    |
[INFO] [stdout] 74 | /     default fn hom_mul_to(
[INFO] [stdout] 75 | |         &self, 
[INFO] [stdout] 76 | |         P: &PlaintextRing<Params>, 
[INFO] [stdout] 77 | |         C: &CiphertextRing<Params>, 
[INFO] [stdout] 78 | |         m: &Self::Element, 
[INFO] [stdout] 79 | |         ct: Ciphertext<Params>
[INFO] [stdout] 80 | |     ) -> 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:22:8
[INFO] [stdout]    |
[INFO] [stdout]  6 | pub trait AsCLPXPlaintext<Params: CLPXInstantiation>: RingBase {
[INFO] [stdout]    |           --------------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 22 |     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 `<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:87:5
[INFO] [stdout]    |
[INFO] [stdout] 87 | /     default fn apply_galois_action_plain(
[INFO] [stdout] 88 | |         &self,
[INFO] [stdout] 89 | |         _P: &PlaintextRing<Params>, 
[INFO] [stdout] 90 | |         x: &Self::Element,
[INFO] [stdout] 91 | |         gs: &[GaloisGroupEl]
[INFO] [stdout] 92 | |     ) -> Vec<Self::Element> {
[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:87:5
[INFO] [stdout]    |
[INFO] [stdout] 87 | /     default fn apply_galois_action_plain(
[INFO] [stdout] 88 | |         &self,
[INFO] [stdout] 89 | |         _P: &PlaintextRing<Params>, 
[INFO] [stdout] 90 | |         x: &Self::Element,
[INFO] [stdout] 91 | |         gs: &[GaloisGroupEl]
[INFO] [stdout] 92 | |     ) -> Vec<Self::Element> {
[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 `apply_galois_action_plain` but not on the corresponding trait's method
[INFO] [stdout]   --> src/clpx/eval.rs:48:8
[INFO] [stdout]    |
[INFO] [stdout]  6 | pub trait AsCLPXPlaintext<Params: CLPXInstantiation>: RingBase {
[INFO] [stdout]    |           --------------- in this trait
[INFO] [stdout] ...
[INFO] [stdout] 48 |     fn apply_galois_action_plain(
[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:56:45
[INFO] [stdout]    |
[INFO] [stdout] 56 | 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:59:53
[INFO] [stdout]    |
[INFO] [stdout] 59 |         <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:59:53
[INFO] [stdout]    |
[INFO] [stdout] 59 |         <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:240:19
[INFO] [stdout]     |
[INFO] [stdout] 240 |         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:247:10
[INFO] [stdout]     |
[INFO] [stdout] 247 |     ) -> 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:293:34
[INFO] [stdout]     |
[INFO] [stdout] 293 |     pub fn with_digit_extraction(self, new_digit_extraction: DigitExtract) -> 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:293:79
[INFO] [stdout]     |
[INFO] [stdout] 293 |     pub fn with_digit_extraction(self, new_digit_extraction: DigitExtract) -> 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:311:10
[INFO] [stdout]     |
[INFO] [stdout] 311 |     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:315:10
[INFO] [stdout]     |
[INFO] [stdout] 315 |     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:319:10
[INFO] [stdout]     |
[INFO] [stdout] 319 |     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:323:10
[INFO] [stdout]     |
[INFO] [stdout] 323 |     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:327:40
[INFO] [stdout]     |
[INFO] [stdout] 327 |     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:331:32
[INFO] [stdout]     |
[INFO] [stdout] 331 |     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:335:33
[INFO] [stdout]     |
[INFO] [stdout] 335 |     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:375:19
[INFO] [stdout]     |
[INFO] [stdout] 375 |         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:366:9
[INFO] [stdout]     |
[INFO] [stdout] 366 |         &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:367:19
[INFO] [stdout]     |
[INFO] [stdout] 367 |         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:375:19
[INFO] [stdout]     |
[INFO] [stdout] 375 |         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:63:12
[INFO] [stdout]    |
[INFO] [stdout] 63 |         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:76:12
[INFO] [stdout]    |
[INFO] [stdout] 76 |         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:89:13
[INFO] [stdout]    |
[INFO] [stdout] 89 |         _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:452:25
[INFO] [stdout]     |
[INFO] [stdout] 450 |     pub fn change_ring_uniform<S, F>(self, f: F) -> PlaintextCircuit<S>
[INFO] [stdout]     |            ------------------- required by a bound in this associated function
[INFO] [stdout] 451 |         where F: FnMut(Coefficient<R>) -> Coefficient<S>,
[INFO] [stdout] 452 |             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:202:35
[INFO] [stdout]     |
[INFO] [stdout] 202 | ...   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:202:35
[INFO] [stdout]     |
[INFO] [stdout] 202 | ...   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:284:35
[INFO] [stdout]     |
[INFO] [stdout] 284 | ...   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:284:35
[INFO] [stdout]     |
[INFO] [stdout] 284 | ...   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:297:9
[INFO] [stdout]     |
[INFO] [stdout] 297 |         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:298:35
[INFO] [stdout]     |
[INFO] [stdout] 298 |             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:302:37
[INFO] [stdout]     |
[INFO] [stdout] 302 |             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:307:35
[INFO] [stdout]     |
[INFO] [stdout] 307 |             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:298:35
[INFO] [stdout]     |
[INFO] [stdout] 298 |             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:307:35
[INFO] [stdout]     |
[INFO] [stdout] 307 |             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:337:23
[INFO] [stdout]     |
[INFO] [stdout] 337 |         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:337:49
[INFO] [stdout]      |
[INFO] [stdout]  337 |         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:325:18
[INFO] [stdout]      |
[INFO] [stdout]  325 | impl<R: ?Sized + RingBase> PlaintextCircuit<R> {
[INFO] [stdout]      |                  ^^^^^^^^ required by this bound in `PlaintextCircuit::<R>::required_galois_keys`
[INFO] [stdout] ...
[INFO] [stdout] 1116 |     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:338:23
[INFO] [stdout]     |
[INFO] [stdout] 338 |         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:338:49
[INFO] [stdout]      |
[INFO] [stdout]  338 |         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:325:18
[INFO] [stdout]      |
[INFO] [stdout]  325 | impl<R: ?Sized + RingBase> PlaintextCircuit<R> {
[INFO] [stdout]      |                  ^^^^^^^^ required by this bound in `PlaintextCircuit::<R>::required_galois_keys`
[INFO] [stdout] ...
[INFO] [stdout] 1116 |     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:337:49
[INFO] [stdout]     |
[INFO] [stdout] 337 |         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:338:49
[INFO] [stdout]     |
[INFO] [stdout] 338 |         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:339:28: 339:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:339:9
[INFO] [stdout]     |
[INFO] [stdout] 339 |         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:339:28: 339:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:339:16
[INFO] [stdout]     |
[INFO] [stdout] 339 |         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:339:28: 339:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:339:28
[INFO] [stdout]     |
[INFO] [stdout] 339 |         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:340:25: 340:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:340:9
[INFO] [stdout]     |
[INFO] [stdout] 340 |         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:340:25: 340:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:340:16
[INFO] [stdout]     |
[INFO] [stdout] 340 |         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:340:25: 340:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:340:25
[INFO] [stdout]     |
[INFO] [stdout] 340 |         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:337:23
[INFO] [stdout]     |
[INFO] [stdout] 337 |         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:338:23
[INFO] [stdout]     |
[INFO] [stdout] 338 |         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:388:25
[INFO] [stdout]     |
[INFO] [stdout] 388 |                 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:409:22
[INFO] [stdout]     |
[INFO] [stdout] 409 |                     &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:366:9
[INFO] [stdout]     |
[INFO] [stdout] 366 |         &self,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] 
[INFO] [stderr] thread 'rustc' (521) 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:     0x7698d6f5bdf9 - <<std[84b965e916ada86]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[27c495824da5377]::fmt::Display>::fmt
[INFO] [stderr]    1:     0x7698d760311e - core[27c495824da5377]::fmt::write
[INFO] [stderr]    2:     0x7698d6f72826 - <std[84b965e916ada86]::sys::stdio::unix::Stderr as std[84b965e916ada86]::io::Write>::write_fmt
[INFO] [stderr]    3:     0x7698d6f31fce - std[84b965e916ada86]::panicking::default_hook::{closure#0}
[INFO] [stderr]    4:     0x7698d6f4f4b3 - std[84b965e916ada86]::panicking::default_hook
[INFO] [stderr]    5:     0x7698d5f1dfe1 - std[84b965e916ada86]::panicking::update_hook::<alloc[a56f7273ee213d32]::boxed::Box<rustc_driver_impl[e19a32eec23216b6]::install_ice_hook::{closure#1}>>::{closure#0}
[INFO] [stderr]    6:     0x7698d6f4f792 - std[84b965e916ada86]::panicking::panic_with_hook
[INFO] [stderr]    7:     0x7698d5f4d181 - std[84b965e916ada86]::panicking::begin_panic::<rustc_errors[4dbba7d76e73268e]::ExplicitBug>::{closure#0}
[INFO] [stderr]    8:     0x7698d5f46406 - std[84b965e916ada86]::sys::backtrace::__rust_end_short_backtrace::<std[84b965e916ada86]::panicking::begin_panic<rustc_errors[4dbba7d76e73268e]::ExplicitBug>::{closure#0}, !>
[INFO] [stderr]    9:     0x7698d5f443d8 - std[84b965e916ada86]::panicking::begin_panic::<rustc_errors[4dbba7d76e73268e]::ExplicitBug>
[INFO] [stderr]   10:     0x7698d5f58571 - <rustc_errors[4dbba7d76e73268e]::diagnostic::BugAbort as rustc_errors[4dbba7d76e73268e]::diagnostic::EmissionGuarantee>::emit_producing_guarantee
[INFO] [stderr]   11:     0x7698d64da1fc - <rustc_errors[4dbba7d76e73268e]::DiagCtxtHandle>::span_bug::<rustc_span[b58b82774f9115c8]::span_encoding::Span, alloc[a56f7273ee213d32]::string::String>
[INFO] [stderr]   12:     0x7698d65017d6 - rustc_middle[d3fd11ea3dd69280]::util::bug::opt_span_bug_fmt::<rustc_span[b58b82774f9115c8]::span_encoding::Span>::{closure#0}
[INFO] [stderr]   13:     0x7698d6501982 - 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:     0x7698d64f2e5b - 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:     0x7698d402a3d8 - rustc_middle[d3fd11ea3dd69280]::util::bug::span_bug_fmt::<rustc_span[b58b82774f9115c8]::span_encoding::Span>
[INFO] [stderr]   16:     0x7698d924b308 - <rustc_hir_typeck[328c1a15ce5fe81b]::fn_ctxt::FnCtxt>::determine_capture_mutability.cold
[INFO] [stderr]   17:     0x7698d839cfd1 - <rustc_hir_typeck[328c1a15ce5fe81b]::fn_ctxt::FnCtxt>::compute_min_captures
[INFO] [stderr]   18:     0x7698d8397e1a - <rustc_hir_typeck[328c1a15ce5fe81b]::fn_ctxt::FnCtxt>::analyze_closure
[INFO] [stderr]   19:     0x7698d83b362c - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_expr
[INFO] [stderr]   20:     0x7698d83b37a6 - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_expr
[INFO] [stderr]   21:     0x7698d83b34ab - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_block
[INFO] [stderr]   22:     0x7698d83b3605 - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_expr
[INFO] [stderr]   23:     0x7698d83b37a6 - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_expr
[INFO] [stderr]   24:     0x7698d83b7acd - rustc_hir_typeck[328c1a15ce5fe81b]::typeck_with_inspect::{closure#0}
[INFO] [stderr]   25:     0x7698d83b4d70 - rustc_query_impl[cdf09e1e03dee348]::query_impl::typeck_root::invoke_provider_fn::__rust_begin_short_backtrace
[INFO] [stderr]   26:     0x7698d772b36d - 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:     0x7698d772ab83 - rustc_query_impl[cdf09e1e03dee348]::query_impl::typeck_root::execute_query_non_incr::__rust_end_short_backtrace
[INFO] [stderr]   28:     0x7698d7ddee2c - <rustc_middle[d3fd11ea3dd69280]::ty::context::TyCtxt>::par_hir_body_owners::<rustc_hir_analysis[c0739e98d17e7dd]::check_crate::{closure#1}>::{closure#0}
[INFO] [stderr]   29:     0x7698d7dde81c - rustc_hir_analysis[c0739e98d17e7dd]::check_crate
[INFO] [stderr]   30:     0x7698d8698721 - rustc_interface[2eb777340612d22]::passes::analysis
[INFO] [stderr]   31:     0x7698d8768dc9 - 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:     0x7698d8768a29 - rustc_query_impl[cdf09e1e03dee348]::query_impl::analysis::execute_query_non_incr::__rust_end_short_backtrace
[INFO] [stderr]   33:     0x7698d87aa57c - rustc_interface[2eb777340612d22]::interface::run_compiler::<(), rustc_driver_impl[e19a32eec23216b6]::run_compiler::{closure#0}>::{closure#1}
[INFO] [stderr]   34:     0x7698d87921fa - 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:     0x7698d879292d - <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:     0x7698d87936ec - <std[84b965e916ada86]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stderr]   37:     0x7698d248aaa4 - <unknown>
[INFO] [stderr]   38:     0x7698d2517a64 - 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-17T02_46_56-517.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:68:9
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:40
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:40
[INFO] [stdout]     |
[INFO] [stdout]  68 |         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.15/src/ring.rs:728:41
[INFO] [stdout]     |
[INFO] [stdout] 727 |     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] 728 |         where S: RingStore, 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:68:84
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:75
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:31
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:37
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:38
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:40
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:40
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:38
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:75
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:75
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:38
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:84
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:81:9
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:40
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:40
[INFO] [stdout]     |
[INFO] [stdout]  81 |         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.15/src/ring.rs:728:41
[INFO] [stdout]     |
[INFO] [stdout] 727 |     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] 728 |         where S: RingStore, 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:81:84
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:75
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:31
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:37
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:38
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:40
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:40
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:38
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:75
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:75
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:38
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:84
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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 128 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:452:25
[INFO] [stdout]     |
[INFO] [stdout] 450 |     pub fn change_ring_uniform<S, F>(self, f: F) -> PlaintextCircuit<S>
[INFO] [stdout]     |            ------------------- required by a bound in this associated function
[INFO] [stdout] 451 |         where F: FnMut(Coefficient<R>) -> Coefficient<S>,
[INFO] [stdout] 452 |             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:202:35
[INFO] [stdout]     |
[INFO] [stdout] 202 | ...   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:202:35
[INFO] [stdout]     |
[INFO] [stdout] 202 | ...   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:284:35
[INFO] [stdout]     |
[INFO] [stdout] 284 | ...   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:284:35
[INFO] [stdout]     |
[INFO] [stdout] 284 | ...   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:297:9
[INFO] [stdout]     |
[INFO] [stdout] 297 |         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:298:35
[INFO] [stdout]     |
[INFO] [stdout] 298 |             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:302:37
[INFO] [stdout]     |
[INFO] [stdout] 302 |             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:307:35
[INFO] [stdout]     |
[INFO] [stdout] 307 |             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:298:35
[INFO] [stdout]     |
[INFO] [stdout] 298 |             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:307:35
[INFO] [stdout]     |
[INFO] [stdout] 307 |             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:337:23
[INFO] [stdout]     |
[INFO] [stdout] 337 |         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:337:49
[INFO] [stdout]      |
[INFO] [stdout]  337 |         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:325:18
[INFO] [stdout]      |
[INFO] [stdout]  325 | impl<R: ?Sized + RingBase> PlaintextCircuit<R> {
[INFO] [stdout]      |                  ^^^^^^^^ required by this bound in `PlaintextCircuit::<R>::required_galois_keys`
[INFO] [stdout] ...
[INFO] [stdout] 1116 |     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:338:23
[INFO] [stdout]     |
[INFO] [stdout] 338 |         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:338:49
[INFO] [stdout]      |
[INFO] [stdout]  338 |         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:325:18
[INFO] [stdout]      |
[INFO] [stdout]  325 | impl<R: ?Sized + RingBase> PlaintextCircuit<R> {
[INFO] [stdout]      |                  ^^^^^^^^ required by this bound in `PlaintextCircuit::<R>::required_galois_keys`
[INFO] [stdout] ...
[INFO] [stdout] 1116 |     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:337:49
[INFO] [stdout]     |
[INFO] [stdout] 337 |         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:338:49
[INFO] [stdout]     |
[INFO] [stdout] 338 |         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:339:28: 339:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:339:9
[INFO] [stdout]     |
[INFO] [stdout] 339 |         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:339:28: 339:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:339:16
[INFO] [stdout]     |
[INFO] [stdout] 339 |         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:339:28: 339:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:339:28
[INFO] [stdout]     |
[INFO] [stdout] 339 |         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:340:25: 340:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:340:9
[INFO] [stdout]     |
[INFO] [stdout] 340 |         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:340:25: 340:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:340:16
[INFO] [stdout]     |
[INFO] [stdout] 340 |         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:340:25: 340:31}` is well-formed
[INFO] [stdout]    --> src/bgv/bootstrap.rs:340:25
[INFO] [stdout]     |
[INFO] [stdout] 340 |         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:337:23
[INFO] [stdout]     |
[INFO] [stdout] 337 |         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:338:23
[INFO] [stdout]     |
[INFO] [stdout] 338 |         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:388:25
[INFO] [stdout]     |
[INFO] [stdout] 388 |                 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] [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:409:22
[INFO] [stdout]     |
[INFO] [stdout] 409 |                     &self.slots_to_coeffs_thin, 
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] thread 'rustc' (523) panicked at /rustc-dev/6713fa75964eb229409a9c6f6f5c418423e313ff/compiler/rustc_hir_typeck/src/upvar.rs:1940:34:
[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:366:9
[INFO] [stdout]     |
[INFO] [stdout] 366 |         &self,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] Box<dyn Any>
[INFO] [stderr] stack backtrace:
[INFO] [stderr]    0:     0x7ba68ff5bdf9 - <<std[84b965e916ada86]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[27c495824da5377]::fmt::Display>::fmt
[INFO] [stderr]    1:     0x7ba69060311e - core[27c495824da5377]::fmt::write
[INFO] [stderr]    2:     0x7ba68ff72826 - <std[84b965e916ada86]::sys::stdio::unix::Stderr as std[84b965e916ada86]::io::Write>::write_fmt
[INFO] [stderr]    3:     0x7ba68ff31fce - std[84b965e916ada86]::panicking::default_hook::{closure#0}
[INFO] [stderr]    4:     0x7ba68ff4f4b3 - std[84b965e916ada86]::panicking::default_hook
[INFO] [stderr]    5:     0x7ba68ef1dfe1 - std[84b965e916ada86]::panicking::update_hook::<alloc[a56f7273ee213d32]::boxed::Box<rustc_driver_impl[e19a32eec23216b6]::install_ice_hook::{closure#1}>>::{closure#0}
[INFO] [stderr]    6:     0x7ba68ff4f792 - std[84b965e916ada86]::panicking::panic_with_hook
[INFO] [stderr]    7:     0x7ba68ef4d181 - std[84b965e916ada86]::panicking::begin_panic::<rustc_errors[4dbba7d76e73268e]::ExplicitBug>::{closure#0}
[INFO] [stderr]    8:     0x7ba68ef46406 - std[84b965e916ada86]::sys::backtrace::__rust_end_short_backtrace::<std[84b965e916ada86]::panicking::begin_panic<rustc_errors[4dbba7d76e73268e]::ExplicitBug>::{closure#0}, !>
[INFO] [stderr]    9:     0x7ba68ef443d8 - std[84b965e916ada86]::panicking::begin_panic::<rustc_errors[4dbba7d76e73268e]::ExplicitBug>
[INFO] [stderr]   10:     0x7ba68ef58571 - <rustc_errors[4dbba7d76e73268e]::diagnostic::BugAbort as rustc_errors[4dbba7d76e73268e]::diagnostic::EmissionGuarantee>::emit_producing_guarantee
[INFO] [stderr]   11:     0x7ba68f4da1fc - <rustc_errors[4dbba7d76e73268e]::DiagCtxtHandle>::span_bug::<rustc_span[b58b82774f9115c8]::span_encoding::Span, alloc[a56f7273ee213d32]::string::String>
[INFO] [stderr]   12:     0x7ba68f5017d6 - rustc_middle[d3fd11ea3dd69280]::util::bug::opt_span_bug_fmt::<rustc_span[b58b82774f9115c8]::span_encoding::Span>::{closure#0}
[INFO] [stderr]   13:     0x7ba68f501982 - 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:     0x7ba68f4f2e5b - 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:     0x7ba68d02a3d8 - rustc_middle[d3fd11ea3dd69280]::util::bug::span_bug_fmt::<rustc_span[b58b82774f9115c8]::span_encoding::Span>
[INFO] [stderr]   16:     0x7ba69224b308 - <rustc_hir_typeck[328c1a15ce5fe81b]::fn_ctxt::FnCtxt>::determine_capture_mutability.cold
[INFO] [stderr]   17:     0x7ba69139cfd1 - <rustc_hir_typeck[328c1a15ce5fe81b]::fn_ctxt::FnCtxt>::compute_min_captures
[INFO] [stderr]   18:     0x7ba691397e1a - <rustc_hir_typeck[328c1a15ce5fe81b]::fn_ctxt::FnCtxt>::analyze_closure
[INFO] [stderr]   19:     0x7ba6913b362c - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_expr
[INFO] [stderr]   20:     0x7ba6913b37a6 - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_expr
[INFO] [stderr]   21:     0x7ba6913b34ab - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_block
[INFO] [stderr]   22:     0x7ba6913b3605 - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_expr
[INFO] [stderr]   23:     0x7ba6913b37a6 - <rustc_hir_typeck[328c1a15ce5fe81b]::upvar::InferBorrowKindVisitor as rustc_hir[a81f29e3f43e52ba]::intravisit::Visitor>::visit_expr
[INFO] [stderr]   24:     0x7ba6913b7acd - rustc_hir_typeck[328c1a15ce5fe81b]::typeck_with_inspect::{closure#0}
[INFO] [stderr]   25:     0x7ba6913b4d70 - rustc_query_impl[cdf09e1e03dee348]::query_impl::typeck_root::invoke_provider_fn::__rust_begin_short_backtrace
[INFO] [stderr]   26:     0x7ba69072b36d - 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:     0x7ba69072ab83 - rustc_query_impl[cdf09e1e03dee348]::query_impl::typeck_root::execute_query_non_incr::__rust_end_short_backtrace
[INFO] [stderr]   28:     0x7ba690ddee2c - <rustc_middle[d3fd11ea3dd69280]::ty::context::TyCtxt>::par_hir_body_owners::<rustc_hir_analysis[c0739e98d17e7dd]::check_crate::{closure#1}>::{closure#0}
[INFO] [stderr]   29:     0x7ba690dde81c - rustc_hir_analysis[c0739e98d17e7dd]::check_crate
[INFO] [stderr]   30:     0x7ba691698721 - rustc_interface[2eb777340612d22]::passes::analysis
[INFO] [stderr]   31:     0x7ba691768dc9 - 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:     0x7ba691768a29 - rustc_query_impl[cdf09e1e03dee348]::query_impl::analysis::execute_query_non_incr::__rust_end_short_backtrace
[INFO] [stderr]   33:     0x7ba6917aa57c - rustc_interface[2eb777340612d22]::interface::run_compiler::<(), rustc_driver_impl[e19a32eec23216b6]::run_compiler::{closure#0}>::{closure#1}
[INFO] [stderr]   34:     0x7ba6917921fa - 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:     0x7ba69179292d - <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:     0x7ba6917936ec - <std[84b965e916ada86]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stderr]   37:     0x7ba68b48aaa4 - <unknown>
[INFO] [stderr]   38:     0x7ba68b517a64 - 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-17T02_46_56-518.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<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:68:9
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:40
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:40
[INFO] [stdout]     |
[INFO] [stdout]  68 |         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.15/src/ring.rs:728:41
[INFO] [stdout]     |
[INFO] [stdout] 727 |     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] 728 |         where S: RingStore, 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:68:84
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:75
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:31
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:37
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:38
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:40
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:40
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:38
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:75
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:75
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:38
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:68:84
[INFO] [stdout]    |
[INFO] [stdout] 68 |         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:81:9
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:40
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:40
[INFO] [stdout]     |
[INFO] [stdout]  81 |         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.15/src/ring.rs:728:41
[INFO] [stdout]     |
[INFO] [stdout] 727 |     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] 728 |         where S: RingStore, 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:81:84
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:75
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:31
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:37
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:38
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:40
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:40
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:38
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:75
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:75
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:38
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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:81:84
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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 128 previous errors; 3 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "1a4e9525851976c03db0399885e8f967d929e551c1423cb1b9cf8569ecc50332", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1a4e9525851976c03db0399885e8f967d929e551c1423cb1b9cf8569ecc50332", kill_on_drop: false }`
[INFO] [stdout] 1a4e9525851976c03db0399885e8f967d929e551c1423cb1b9cf8569ecc50332
