spellcast 0.1.2

Casting of dynamic objects
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

use std::marker::Unsize;

use super::*;

/// A trait which signifies that Self, a struct, implements a trait, given as a trait-object in the generic
/// 
/// # Example
/// 
/// ```rust
/// use spellcast::Is;
/// 
/// trait A {}
/// trait B {}
/// 
/// struct X;
/// 
/// impl A for X {}
/// 
/// static_assertions::assert_impl_one!(X: Is<dyn A>);
/// ```
pub unsafe trait Is<Trait>: Unsize<Trait>
where
    Trait: ?Sized {}
unsafe impl<Trait, T> Is<Trait> for T
where
    Trait: ?Sized,
    T: std::marker::Unsize<Trait> + ?Sized {}
pub trait IsObjOf<Type>: private::IsObjOf<Type>
where
    Type: ?Sized {}
impl<Type, Trait> IsObjOf<Type> for Trait
where
    Type: Is<Trait> + ?Sized,
    Trait: ?Sized {}