[INFO] cloning repository https://github.com/FeanorTheElf/FeanorLA [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/FeanorTheElf/FeanorLA" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFeanorTheElf%2FFeanorLA", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFeanorTheElf%2FFeanorLA'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 9242d6af51660a4cf9f4d96282752a416514c843 [INFO] checking FeanorTheElf/FeanorLA against master#f42f19b6d3d785a74dbe57aa395b6c288437dd51 for pr-107123-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFeanorTheElf%2FFeanorLA" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/FeanorTheElf/FeanorLA on toolchain f42f19b6d3d785a74dbe57aa395b6c288437dd51 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f42f19b6d3d785a74dbe57aa395b6c288437dd51" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/FeanorTheElf/FeanorLA [INFO] finished tweaking git repo https://github.com/FeanorTheElf/FeanorLA [INFO] tweaked toml for git repo https://github.com/FeanorTheElf/FeanorLA written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/FeanorTheElf/FeanorLA 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" "+f42f19b6d3d785a74dbe57aa395b6c288437dd51" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded quote v1.0.18 [INFO] [stderr] Downloaded vector-map v1.0.1 [INFO] [stderr] Downloaded contracts v0.4.0 [INFO] [stderr] Downloaded proc-macro2 v1.0.38 [INFO] [stderr] Downloaded unicode-xid v0.2.3 [INFO] [stderr] Downloaded syn v1.0.93 [INFO] [stderr] Downloaded libc v0.2.125 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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:a420fdec406141845121210faa381f8029b0be6d4170deff7c4445a424f67918" "/opt/rustwide/cargo-home/bin/cargo" "+f42f19b6d3d785a74dbe57aa395b6c288437dd51" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 1d40491166dc55510117e97681b15db3ec5430fb91bca74a3986c308a413eb66 [INFO] running `Command { std: "docker" "start" "-a" "1d40491166dc55510117e97681b15db3ec5430fb91bca74a3986c308a413eb66", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1d40491166dc55510117e97681b15db3ec5430fb91bca74a3986c308a413eb66", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1d40491166dc55510117e97681b15db3ec5430fb91bca74a3986c308a413eb66", kill_on_drop: false }` [INFO] [stdout] 1d40491166dc55510117e97681b15db3ec5430fb91bca74a3986c308a413eb66 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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:a420fdec406141845121210faa381f8029b0be6d4170deff7c4445a424f67918" "/opt/rustwide/cargo-home/bin/cargo" "+f42f19b6d3d785a74dbe57aa395b6c288437dd51" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 70b393ee822f323886b3398806790f69920262cd05e62273ee179e7e7bd110f7 [INFO] running `Command { std: "docker" "start" "-a" "70b393ee822f323886b3398806790f69920262cd05e62273ee179e7e7bd110f7", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.125 [INFO] [stderr] Compiling proc-macro2 v1.0.38 [INFO] [stderr] Compiling getrandom v0.1.16 [INFO] [stderr] Compiling unicode-xid v0.2.3 [INFO] [stderr] Compiling syn v1.0.93 [INFO] [stderr] Checking oorandom v11.1.3 [INFO] [stderr] Compiling quote v1.0.18 [INFO] [stderr] Checking rand_core v0.5.1 [INFO] [stderr] Checking rand_chacha v0.2.2 [INFO] [stderr] Checking rand v0.7.3 [INFO] [stderr] Compiling contracts v0.4.0 [INFO] [stderr] Checking vector-map v1.0.1 [INFO] [stderr] Checking feanor_la v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: the feature `adt_const_params` is incomplete and may not be safe to use and/or cause compiler crashes [INFO] [stdout] --> src/lib.rs:1:12 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(adt_const_params)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see issue #95174 for more information [INFO] [stdout] = note: `#[warn(incomplete_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes [INFO] [stdout] --> src/lib.rs:2:12 [INFO] [stdout] | [INFO] [stdout] 2 | #![feature(generic_const_exprs)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see issue #76560 for more information [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `specialization` is incomplete and may not be safe to use and/or cause compiler crashes [INFO] [stdout] --> src/lib.rs:3:12 [INFO] [stdout] | [INFO] [stdout] 3 | #![feature(specialization)] [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see issue #31844 for more information [INFO] [stdout] = help: consider using `min_specialization` instead, which is more stable and complete [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::super::multiplication::karatsuba` [INFO] [stdout] --> src/poly/ops.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use super::super::multiplication::karatsuba; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `adt_const_params` is incomplete and may not be safe to use and/or cause compiler crashes [INFO] [stdout] --> src/lib.rs:1:12 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(adt_const_params)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see issue #95174 for more information [INFO] [stdout] = note: `#[warn(incomplete_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes [INFO] [stdout] --> src/lib.rs:2:12 [INFO] [stdout] | [INFO] [stdout] 2 | #![feature(generic_const_exprs)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see issue #76560 for more information [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `specialization` is incomplete and may not be safe to use and/or cause compiler crashes [INFO] [stdout] --> src/lib.rs:3:12 [INFO] [stdout] | [INFO] [stdout] 3 | #![feature(specialization)] [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see issue #31844 for more information [INFO] [stdout] = help: consider using `min_specialization` instead, which is more stable and complete [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::super::multiplication::karatsuba` [INFO] [stdout] --> src/poly/ops.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use super::super::multiplication::karatsuba; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `bench_black_box` has been stable since 1.66.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/lib.rs:11:12 [INFO] [stdout] | [INFO] [stdout] 11 | #![feature(bench_black_box)] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `bench_black_box` has been stable since 1.66.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/lib.rs:11:12 [INFO] [stdout] | [INFO] [stdout] 11 | #![feature(bench_black_box)] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/fq_small.rs:19:39 [INFO] [stdout] | [INFO] [stdout] 19 | gen_const_vector!(ConstVector2F2; F2El; V0, V1); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | pub use crate::la::vec::*; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<7, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/fq_small.rs:23:39 [INFO] [stdout] | [INFO] [stdout] 23 | gen_const_vector!(ConstVector2F7; F7El; V0, V1); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | pub use crate::la::vec::*; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<37, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/fq_small.rs:27:40 [INFO] [stdout] | [INFO] [stdout] 27 | gen_const_vector!(ConstVector2F37; F37El; V0, V1); [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | pub use crate::la::vec::*; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:14:39 [INFO] [stdout] | [INFO] [stdout] 14 | gen_const_vector!(ConstVector3F2; F2El; V0, V1, V2); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:18:39 [INFO] [stdout] | [INFO] [stdout] 18 | gen_const_vector!(ConstVector4F2; F2El; V0, V1, V2, V3); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:22:39 [INFO] [stdout] | [INFO] [stdout] 22 | gen_const_vector!(ConstVector5F2; F2El; V0, V1, V2, V3, V4); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:26:39 [INFO] [stdout] | [INFO] [stdout] 26 | gen_const_vector!(ConstVector6F2; F2El; V0, V1, V2, V3, V4, V5); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:30:39 [INFO] [stdout] | [INFO] [stdout] 30 | gen_const_vector!(ConstVector7F2; F2El; V0, V1, V2, V3, V4, V5, V6); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:34:39 [INFO] [stdout] | [INFO] [stdout] 34 | gen_const_vector!(ConstVector8F2; F2El; V0, V1, V2, V3, V4, V5, V6, V7); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:38:39 [INFO] [stdout] | [INFO] [stdout] 38 | gen_const_vector!(ConstVector9F2; F2El; V0, V1, V2, V3, V4, V5, V6, V7, V8); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:42:40 [INFO] [stdout] | [INFO] [stdout] 42 | gen_const_vector!(ConstVector10F2; F2El; V0, V1, V2, V3, V4, V5, V6, V7, V8, V9); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:46:40 [INFO] [stdout] | [INFO] [stdout] 46 | gen_const_vector!(ConstVector12F2; F2El; V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/fq_small.rs:19:39 [INFO] [stdout] | [INFO] [stdout] 19 | gen_const_vector!(ConstVector2F2; F2El; V0, V1); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | pub use crate::la::vec::*; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:50:40 [INFO] [stdout] | [INFO] [stdout] 50 | gen_const_vector!(ConstVector16F2; F2El; V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<7, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/fq_small.rs:23:39 [INFO] [stdout] | [INFO] [stdout] 23 | gen_const_vector!(ConstVector2F7; F7El; V0, V1); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | pub use crate::la::vec::*; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<37, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/fq_small.rs:27:40 [INFO] [stdout] | [INFO] [stdout] 27 | gen_const_vector!(ConstVector2F37; F37El; V0, V1); [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | pub use crate::la::vec::*; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:14:39 [INFO] [stdout] | [INFO] [stdout] 14 | gen_const_vector!(ConstVector3F2; F2El; V0, V1, V2); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:18:39 [INFO] [stdout] | [INFO] [stdout] 18 | gen_const_vector!(ConstVector4F2; F2El; V0, V1, V2, V3); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: embedding::CanonicalIsomorphismInfo>` is not satisfied [INFO] [stdout] --> src/rational/mod.rs:11:28 [INFO] [stdout] | [INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R {} [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `embedding::CanonicalIsomorphismInfo>` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `<&'a R as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:14:11 [INFO] [stdout] | [INFO] [stdout] 14 | pub trait IntegerRing: OrderedRing + EuclideanInfoRing + CanonicalIsomorphismInfo + CanonicalIsomorphismInfo src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R where ::BaseRing: embedding::CanonicalIsomorphismInfo> {} [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: embedding::CanonicalIsomorphismInfo` is not satisfied [INFO] [stdout] --> src/rational/mod.rs:11:28 [INFO] [stdout] | [INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R {} [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `embedding::CanonicalIsomorphismInfo` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `<&'a R as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:14:11 [INFO] [stdout] | [INFO] [stdout] 14 | pub trait IntegerRing: OrderedRing + EuclideanInfoRing + CanonicalIsomorphismInfo + CanonicalIsomorphismInfo src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R where ::BaseRing: embedding::CanonicalIsomorphismInfo {} [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:22:39 [INFO] [stdout] | [INFO] [stdout] 22 | gen_const_vector!(ConstVector5F2; F2El; V0, V1, V2, V3, V4); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/rational/mod.rs:11:28 [INFO] [stdout] | [INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R {} [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:205:13 [INFO] [stdout] | [INFO] [stdout] 205 | impl<'a, R> IntegerRing for R [INFO] [stdout] | ^^^^^^^^^^^ ^ [INFO] [stdout] 206 | where R: RingDecorator, R::DecoratedRing: IntegerRing [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R where ::BaseRing: ring_decorator::RingDecorator {} [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:26:39 [INFO] [stdout] | [INFO] [stdout] 26 | gen_const_vector!(ConstVector6F2; F2El; V0, V1, V2, V3, V4, V5); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:30:39 [INFO] [stdout] | [INFO] [stdout] 30 | gen_const_vector!(ConstVector7F2; F2El; V0, V1, V2, V3, V4, V5, V6); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:34:39 [INFO] [stdout] | [INFO] [stdout] 34 | gen_const_vector!(ConstVector8F2; F2El; V0, V1, V2, V3, V4, V5, V6, V7); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:38:39 [INFO] [stdout] | [INFO] [stdout] 38 | gen_const_vector!(ConstVector9F2; F2El; V0, V1, V2, V3, V4, V5, V6, V7, V8); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:42:40 [INFO] [stdout] | [INFO] [stdout] 42 | gen_const_vector!(ConstVector10F2; F2El; V0, V1, V2, V3, V4, V5, V6, V7, V8, V9); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:46:40 [INFO] [stdout] | [INFO] [stdout] 46 | gen_const_vector!(ConstVector12F2; F2El; V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<2, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/fq/binary_fields.rs:50:40 [INFO] [stdout] | [INFO] [stdout] 50 | gen_const_vector!(ConstVector16F2; F2El; V0, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: embedding::CanonicalIsomorphismInfo>` is not satisfied [INFO] [stdout] --> src/rational/mod.rs:11:28 [INFO] [stdout] | [INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R {} [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `embedding::CanonicalIsomorphismInfo>` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `<&'a R as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:14:11 [INFO] [stdout] | [INFO] [stdout] 14 | pub trait IntegerRing: OrderedRing + EuclideanInfoRing + CanonicalIsomorphismInfo + CanonicalIsomorphismInfo src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R where ::BaseRing: embedding::CanonicalIsomorphismInfo> {} [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: embedding::CanonicalIsomorphismInfo` is not satisfied [INFO] [stdout] --> src/rational/mod.rs:11:28 [INFO] [stdout] | [INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R {} [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `embedding::CanonicalIsomorphismInfo` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `<&'a R as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:14:11 [INFO] [stdout] | [INFO] [stdout] 14 | pub trait IntegerRing: OrderedRing + EuclideanInfoRing + CanonicalIsomorphismInfo + CanonicalIsomorphismInfo src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R where ::BaseRing: embedding::CanonicalIsomorphismInfo {} [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/rational/mod.rs:11:28 [INFO] [stdout] | [INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R {} [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:205:13 [INFO] [stdout] | [INFO] [stdout] 205 | impl<'a, R> IntegerRing for R [INFO] [stdout] | ^^^^^^^^^^^ ^ [INFO] [stdout] 206 | where R: RingDecorator, R::DecoratedRing: IntegerRing [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R where ::BaseRing: ring_decorator::RingDecorator {} [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/elliptic_curve/rational_torsion_group.rs:9:18 [INFO] [stdout] | [INFO] [stdout] 9 | where QType: RationalField + HashableElRing + SingletonRing, [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:205:13 [INFO] [stdout] | [INFO] [stdout] 205 | impl<'a, R> IntegerRing for R [INFO] [stdout] | ^^^^^^^^^^^ ^ [INFO] [stdout] 206 | where R: RingDecorator, R::DecoratedRing: IntegerRing [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 10 | QType::BaseRing: SingletonRing + UfdInfoRing + EuclideanInfoRing, ::BaseRing: ring_decorator::RingDecorator [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/elliptic_curve/rational_torsion_group.rs:9:18 [INFO] [stdout] | [INFO] [stdout] 9 | where QType: RationalField + HashableElRing + SingletonRing, [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:205:13 [INFO] [stdout] | [INFO] [stdout] 205 | impl<'a, R> IntegerRing for R [INFO] [stdout] | ^^^^^^^^^^^ ^ [INFO] [stdout] 206 | where R: RingDecorator, R::DecoratedRing: IntegerRing [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 21 | ) where ::BaseRing: ring_decorator::RingDecorator { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/elliptic_curve/rational_torsion_group.rs:9:18 [INFO] [stdout] | [INFO] [stdout] 9 | where QType: RationalField + HashableElRing + SingletonRing, [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:205:13 [INFO] [stdout] | [INFO] [stdout] 205 | impl<'a, R> IntegerRing for R [INFO] [stdout] | ^^^^^^^^^^^ ^ [INFO] [stdout] 206 | where R: RingDecorator, R::DecoratedRing: IntegerRing [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 70 | pub fn torsion_group(&self) -> HashSet>> where ::BaseRing: ring_decorator::RingDecorator { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...dImpl>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<::BaseRing as ring::RingExtension>::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `<::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:205:13 [INFO] [stdout] | [INFO] [stdout] 205 | impl<'a, R> IntegerRing for R [INFO] [stdout] | ^^^^^^^^^^^ ^ [INFO] [stdout] 206 | where R: RingDecorator, R::DecoratedRing: IntegerRing [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 10 | pub trait NumberField: Ring + CanonicalIsomorphismInfo>> + RingExtension where <::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:18:13 [INFO] [stdout] | [INFO] [stdout] 18 | impl<'a, K: NumberField> CanonicalEmbeddingInfo>> for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 18 | impl<'a, K: NumberField> CanonicalEmbeddingInfo>> for &'a K where ::BaseRing: rational::RationalField { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0741]: `zn_small::ZnElImpl<37, true>` must implement `ConstParamTy` to be used as the type of a const generic parameter [INFO] [stdout] --> src/poly/uni_var.rs:614:40 [INFO] [stdout] | [INFO] [stdout] 614 | gen_const_vector!(ConstVector2F37; F37El; V0, V1); [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: add `#[derive(ConstParamTy)]` to the struct [INFO] [stdout] --> src/fq/zn_small.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 + #[derive(ConstParamTy)] [INFO] [stdout] 8 | use super::*; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:29:13 [INFO] [stdout] | [INFO] [stdout] 29 | impl<'a, K: NumberField> CanonicalIsomorphismInfo>> for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 29 | impl<'a, K: NumberField> CanonicalIsomorphismInfo>> for &'a K where ::BaseRing: rational::RationalField { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:40:26 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K where ::BaseRing: rational::RationalField { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: embedding::CanonicalIsomorphismInfo>` is not satisfied [INFO] [stdout] --> src/number_field.rs:40:26 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `embedding::CanonicalIsomorphismInfo>` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `<&'a K as ring::RingExtension>::BaseRing` to implement `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:11 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K where ::BaseRing: embedding::CanonicalIsomorphismInfo> { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/number_field.rs:40:26 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `::BaseRing` to implement `ring::RingExtension` [INFO] [stdout] --> src/ring_decorator.rs:119:9 [INFO] [stdout] | [INFO] [stdout] 119 | impl RingExtension for R [INFO] [stdout] | ^^^^^^^^^^^^^ ^ [INFO] [stdout] 120 | where R: RingDecorator, R::DecoratedRing: RingExtension [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required for `<&'a K as ring::RingExtension>::BaseRing` to implement `fraction_field::FractionField` [INFO] [stdout] --> src/fraction_field/mod.rs:49:11 [INFO] [stdout] | [INFO] [stdout] 49 | pub trait FractionField: RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] note: required for `<&'a K as ring::RingExtension>::BaseRing` to implement `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:11 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K where ::BaseRing: ring_decorator::RingDecorator { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:18:13 [INFO] [stdout] | [INFO] [stdout] 18 | impl<'a, K: NumberField> CanonicalEmbeddingInfo>> for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 20 | fn has_embedding(&self, from: &FiniteExtensionImpl>) -> RingPropValue where ::BaseRing: rational::RationalField { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:18:13 [INFO] [stdout] | [INFO] [stdout] 18 | impl<'a, K: NumberField> CanonicalEmbeddingInfo>> for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 24 | fn embed(&self, from: &FiniteExtensionImpl>, el: El>>) -> El where ::BaseRing: rational::RationalField { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:29:13 [INFO] [stdout] | [INFO] [stdout] 29 | impl<'a, K: NumberField> CanonicalIsomorphismInfo>> for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 31 | fn has_isomorphism(&self, from: &FiniteExtensionImpl>) -> RingPropValue where ::BaseRing: rational::RationalField { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:29:13 [INFO] [stdout] | [INFO] [stdout] 29 | impl<'a, K: NumberField> CanonicalIsomorphismInfo>> for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 35 | fn preimage(&self, from: &FiniteExtensionImpl>, el: El) -> El>> where ::BaseRing: rational::RationalField { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:40:13 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 42 | fn is_number_field(&self) -> RingPropValue where ::BaseRing: rational::RationalField { (**self).is_number_field() } [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:40:13 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 43 | fn degree(&self) -> usize where ::BaseRing: rational::RationalField { (**self).degree() } [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:40:13 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 44 | fn primitive_element(&self) -> El where ::BaseRing: rational::RationalField { (**self).primitive_element() } [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:40:13 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 45 | fn mipo(&self, el: &El) -> El::BaseRing>> where ::BaseRing: rational::RationalField { (**self).mipo(el) } [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...dImpl>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<::BaseRing as ring::RingExtension>::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `<::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:205:13 [INFO] [stdout] | [INFO] [stdout] 205 | impl<'a, R> IntegerRing for R [INFO] [stdout] | ^^^^^^^^^^^ ^ [INFO] [stdout] 206 | where R: RingDecorator, R::DecoratedRing: IntegerRing [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 12 | fn is_number_field(&self) -> RingPropValue where <::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator; [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...dImpl>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<::BaseRing as ring::RingExtension>::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `<::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:205:13 [INFO] [stdout] | [INFO] [stdout] 205 | impl<'a, R> IntegerRing for R [INFO] [stdout] | ^^^^^^^^^^^ ^ [INFO] [stdout] 206 | where R: RingDecorator, R::DecoratedRing: IntegerRing [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 13 | fn degree(&self) -> usize where <::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator; [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...dImpl>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<::BaseRing as ring::RingExtension>::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `<::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:205:13 [INFO] [stdout] | [INFO] [stdout] 205 | impl<'a, R> IntegerRing for R [INFO] [stdout] | ^^^^^^^^^^^ ^ [INFO] [stdout] 206 | where R: RingDecorator, R::DecoratedRing: IntegerRing [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 14 | fn primitive_element(&self) -> El where <::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator; [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...dImpl>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<::BaseRing as ring::RingExtension>::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `<::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:205:13 [INFO] [stdout] | [INFO] [stdout] 205 | impl<'a, R> IntegerRing for R [INFO] [stdout] | ^^^^^^^^^^^ ^ [INFO] [stdout] 206 | where R: RingDecorator, R::DecoratedRing: IntegerRing [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 15 | fn mipo(&self, el: &El) -> El::BaseRing>> where <::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator; [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/elliptic_curve/rational_torsion_group.rs:9:18 [INFO] [stdout] | [INFO] [stdout] 9 | where QType: RationalField + HashableElRing + SingletonRing, [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:205:13 [INFO] [stdout] | [INFO] [stdout] 205 | impl<'a, R> IntegerRing for R [INFO] [stdout] | ^^^^^^^^^^^ ^ [INFO] [stdout] 206 | where R: RingDecorator, R::DecoratedRing: IntegerRing [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 10 | QType::BaseRing: SingletonRing + UfdInfoRing + EuclideanInfoRing, ::BaseRing: ring_decorator::RingDecorator [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/elliptic_curve/rational_torsion_group.rs:9:18 [INFO] [stdout] | [INFO] [stdout] 9 | where QType: RationalField + HashableElRing + SingletonRing, [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:205:13 [INFO] [stdout] | [INFO] [stdout] 205 | impl<'a, R> IntegerRing for R [INFO] [stdout] | ^^^^^^^^^^^ ^ [INFO] [stdout] 206 | where R: RingDecorator, R::DecoratedRing: IntegerRing [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 21 | ) where ::BaseRing: ring_decorator::RingDecorator { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/elliptic_curve/rational_torsion_group.rs:9:18 [INFO] [stdout] | [INFO] [stdout] 9 | where QType: RationalField + HashableElRing + SingletonRing, [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:205:13 [INFO] [stdout] | [INFO] [stdout] 205 | impl<'a, R> IntegerRing for R [INFO] [stdout] | ^^^^^^^^^^^ ^ [INFO] [stdout] 206 | where R: RingDecorator, R::DecoratedRing: IntegerRing [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 70 | pub fn torsion_group(&self) -> HashSet>> where ::BaseRing: ring_decorator::RingDecorator { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...dImpl>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<::BaseRing as ring::RingExtension>::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `<::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:205:13 [INFO] [stdout] | [INFO] [stdout] 205 | impl<'a, R> IntegerRing for R [INFO] [stdout] | ^^^^^^^^^^^ ^ [INFO] [stdout] 206 | where R: RingDecorator, R::DecoratedRing: IntegerRing [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 10 | pub trait NumberField: Ring + CanonicalIsomorphismInfo>> + RingExtension where <::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:18:13 [INFO] [stdout] | [INFO] [stdout] 18 | impl<'a, K: NumberField> CanonicalEmbeddingInfo>> for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 18 | impl<'a, K: NumberField> CanonicalEmbeddingInfo>> for &'a K where ::BaseRing: rational::RationalField { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:29:13 [INFO] [stdout] | [INFO] [stdout] 29 | impl<'a, K: NumberField> CanonicalIsomorphismInfo>> for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 29 | impl<'a, K: NumberField> CanonicalIsomorphismInfo>> for &'a K where ::BaseRing: rational::RationalField { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:40:26 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K where ::BaseRing: rational::RationalField { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: embedding::CanonicalIsomorphismInfo>` is not satisfied [INFO] [stdout] --> src/number_field.rs:40:26 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `embedding::CanonicalIsomorphismInfo>` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `<&'a K as ring::RingExtension>::BaseRing` to implement `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:11 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K where ::BaseRing: embedding::CanonicalIsomorphismInfo> { [INFO] [stdout] | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/number_field.rs:40:26 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `::BaseRing` to implement `ring::RingExtension` [INFO] [stdout] --> src/ring_decorator.rs:119:9 [INFO] [stdout] | [INFO] [stdout] 119 | impl RingExtension for R [INFO] [stdout] | ^^^^^^^^^^^^^ ^ [INFO] [stdout] 120 | where R: RingDecorator, R::DecoratedRing: RingExtension [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required for `<&'a K as ring::RingExtension>::BaseRing` to implement `fraction_field::FractionField` [INFO] [stdout] --> src/fraction_field/mod.rs:49:11 [INFO] [stdout] | [INFO] [stdout] 49 | pub trait FractionField: RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] note: required for `<&'a K as ring::RingExtension>::BaseRing` to implement `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:11 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K where ::BaseRing: ring_decorator::RingDecorator { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:18:13 [INFO] [stdout] | [INFO] [stdout] 18 | impl<'a, K: NumberField> CanonicalEmbeddingInfo>> for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 20 | fn has_embedding(&self, from: &FiniteExtensionImpl>) -> RingPropValue where ::BaseRing: rational::RationalField { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:18:13 [INFO] [stdout] | [INFO] [stdout] 18 | impl<'a, K: NumberField> CanonicalEmbeddingInfo>> for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 24 | fn embed(&self, from: &FiniteExtensionImpl>, el: El>>) -> El where ::BaseRing: rational::RationalField { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:29:13 [INFO] [stdout] | [INFO] [stdout] 29 | impl<'a, K: NumberField> CanonicalIsomorphismInfo>> for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 31 | fn has_isomorphism(&self, from: &FiniteExtensionImpl>) -> RingPropValue where ::BaseRing: rational::RationalField { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:29:13 [INFO] [stdout] | [INFO] [stdout] 29 | impl<'a, K: NumberField> CanonicalIsomorphismInfo>> for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 35 | fn preimage(&self, from: &FiniteExtensionImpl>, el: El) -> El>> where ::BaseRing: rational::RationalField { [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:40:13 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 42 | fn is_number_field(&self) -> RingPropValue where ::BaseRing: rational::RationalField { (**self).is_number_field() } [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:40:13 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 43 | fn degree(&self) -> usize where ::BaseRing: rational::RationalField { (**self).degree() } [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:40:13 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 44 | fn primitive_element(&self) -> El where ::BaseRing: rational::RationalField { (**self).primitive_element() } [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `::BaseRing: rational::RationalField` is not satisfied [INFO] [stdout] --> src/number_field.rs:40:13 [INFO] [stdout] | [INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K { [INFO] [stdout] | ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required by a bound in `NumberField` [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ required by this bound in `NumberField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 45 | fn mipo(&self, el: &El) -> El::BaseRing>> where ::BaseRing: rational::RationalField { (**self).mipo(el) } [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...dImpl>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<::BaseRing as ring::RingExtension>::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `<::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:205:13 [INFO] [stdout] | [INFO] [stdout] 205 | impl<'a, R> IntegerRing for R [INFO] [stdout] | ^^^^^^^^^^^ ^ [INFO] [stdout] 206 | where R: RingDecorator, R::DecoratedRing: IntegerRing [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 12 | fn is_number_field(&self) -> RingPropValue where <::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator; [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...dImpl>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<::BaseRing as ring::RingExtension>::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `<::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:205:13 [INFO] [stdout] | [INFO] [stdout] 205 | impl<'a, R> IntegerRing for R [INFO] [stdout] | ^^^^^^^^^^^ ^ [INFO] [stdout] 206 | where R: RingDecorator, R::DecoratedRing: IntegerRing [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 13 | fn degree(&self) -> usize where <::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator; [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...dImpl>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<::BaseRing as ring::RingExtension>::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `<::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:205:13 [INFO] [stdout] | [INFO] [stdout] 205 | impl<'a, R> IntegerRing for R [INFO] [stdout] | ^^^^^^^^^^^ ^ [INFO] [stdout] 206 | where R: RingDecorator, R::DecoratedRing: IntegerRing [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 14 | fn primitive_element(&self) -> El where <::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator; [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the trait bound `<::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied [INFO] [stdout] --> src/number_field.rs:10:137 [INFO] [stdout] | [INFO] [stdout] 10 | ...dImpl>> + RingExtension { [INFO] [stdout] | ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<::BaseRing as ring::RingExtension>::BaseRing` [INFO] [stdout] | [INFO] [stdout] note: required for `<::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing` [INFO] [stdout] --> src/integer/mod.rs:205:13 [INFO] [stdout] | [INFO] [stdout] 205 | impl<'a, R> IntegerRing for R [INFO] [stdout] | ^^^^^^^^^^^ ^ [INFO] [stdout] 206 | where R: RingDecorator, R::DecoratedRing: IntegerRing [INFO] [stdout] | ------------- unsatisfied trait bound introduced here [INFO] [stdout] note: required by a bound in `rational::RationalField` [INFO] [stdout] --> src/rational/mod.rs:9:50 [INFO] [stdout] | [INFO] [stdout] 9 | pub trait RationalField: FractionField + CanonicalIsomorphismInfo> {} [INFO] [stdout] | ^^^^^^^^^^^ required by this bound in `RationalField` [INFO] [stdout] help: consider further restricting the associated type [INFO] [stdout] | [INFO] [stdout] 15 | fn mipo(&self, el: &El) -> El::BaseRing>> where <::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator; [INFO] [stdout] | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 37 previous errors; 5 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0277, E0741. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `feanor_la` (lib) due to 38 previous errors; 5 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: aborting due to 38 previous errors; 5 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0277, E0741. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: could not compile `feanor_la` (lib test) due to 39 previous errors; 5 warnings emitted [INFO] running `Command { std: "docker" "inspect" "70b393ee822f323886b3398806790f69920262cd05e62273ee179e7e7bd110f7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "70b393ee822f323886b3398806790f69920262cd05e62273ee179e7e7bd110f7", kill_on_drop: false }` [INFO] [stdout] 70b393ee822f323886b3398806790f69920262cd05e62273ee179e7e7bd110f7