Trait ComplementOf 

pub trait ComplementOf<Other: ActiveSet>: Sealed + ActiveSet { }

Proof that Self and Other are complements: disjoint AND covering all lanes.

This is THE key safety trait. merge(a, b) requires A: ComplementOf<B>. Only implemented for valid complement pairs — the compiler rejects invalid merges.

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

impl ComplementOf<All> for Empty

impl ComplementOf<Empty> for All

impl ComplementOf<Even> for Odd

impl ComplementOf<HighHalf> for LowHalf

impl ComplementOf<Lane0> for NotLane0

impl ComplementOf<LowHalf> for HighHalf

impl ComplementOf<NotLane0> for Lane0

impl ComplementOf<Odd> for Even