Trait Subset 

pub trait Subset<S: ?Sized> { }

Implemented for any set that is a subset of set S.

Example

assert::subset::<(i32,), (i32,)>();
assert::subset::<(i16, i32), (i16, i32)>();
assert::subset::<(i32, i16), (i16, i32)>();
assert::subset::<(i32,), (i32, i16)>();
// assert::subset::<(i8, i16), (i16, i32)>(); // fails to compile

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

impl<T, R> Subset<R> for T

where T: AsTypeSet<Set: Subset<R::Set>>, R: AsTypeSet,