Skip to main content

LcMulKey

Trait LcMulKey 

Source
pub trait LcMulKey: LcKey {
    // Required method
    fn mul_ref(&self, rhs: &Self) -> Self;
}
Expand description

An LcKey whose product is formed by reference — the term-wise multiplication in Lc’s ring structure.

note: Mul for &Lc bounds on this trait, not for<'x> &'x X: Mul directly — since Lc is never an LcKey, the solver can’t chase &Lc<Lc<…>>: Mul into an infinite recursion.

Required Methods§

Source

fn mul_ref(&self, rhs: &Self) -> Self

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§

Source§

impl<X> LcMulKey for X
where X: LcKey, for<'x> &'x X: Mul<Output = X>,