pub trait DimEq<D1: Dim, D2: Dim> {
type Representative: Dim;
// Provided method
fn representative(d1: D1, d2: D2) -> Option<Self::Representative> { ... }
}
Expand description
Constrains D1
and D2
to be equivalent.
Required Associated Types§
Sourcetype Representative: Dim
type Representative: Dim
This is either equal to D1
or D2
, always choosing the one (if any) which is a type-level
constant.
Provided Methods§
Sourcefn representative(d1: D1, d2: D2) -> Option<Self::Representative>
fn representative(d1: D1, d2: D2) -> Option<Self::Representative>
This constructs a value of type Representative
with the
correct value
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.