binius_field::packed_extension

Trait RepackedExtension

Source
pub trait RepackedExtension<P: PackedField>: PackedExtension<P::Scalar, PackedSubfield = P>
where Self::Scalar: ExtensionField<P::Scalar>,
{ }
Expand description

This trait is a shorthand for the case PackedExtension<P::Scalar, PackedSubfield = P> which is a quite common case in our codebase.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§

Source§

impl<PT1, PT2> RepackedExtension<PT1> for PT2
where PT1: PackedField, PT2: PackedExtension<PT1::Scalar, PackedSubfield = PT1, Scalar: ExtensionField<PT1::Scalar>>,