fruit-salad 0.0.2

Compare apples and oranges (and more). Trait object reference casting and trait object comparisons.
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
35
36
37
38
39
40

#![cfg(feature = "macros")]

use fruit_salad::{implement_dyncasts, Dyncast};
use static_assertions::{assert_impl_all, assert_not_impl_any};
use std::{fmt::Debug, marker::PhantomData};

#[derive(Dyncast)]
enum Enum {}
assert_impl_all!(Enum: Dyncast);

#[derive(Dyncast)]
struct Struct;
assert_impl_all!(Struct: Dyncast);

// A `Self: 'static` bound is added automatically.
#[derive(Dyncast)]
#[dyncast(Self)]
struct GenericStruct<X>(PhantomData<X>);
assert_impl_all!(GenericStruct<()>: Dyncast);

#[derive(Dyncast)]
union Union {
	_x: usize,
}
assert_impl_all!(Union: Dyncast);

trait Trait {}
implement_dyncasts!(dyn Trait);
assert_impl_all!(dyn Trait: Dyncast);

// The `impl` coverage can be limited this way too:
struct Test<X>(PhantomData<X>);
implement_dyncasts!(Test<X: Debug>);
assert_impl_all!(Test<()>: Dyncast);
assert_not_impl_any!(Test<Test<()>>: Dyncast);

trait Test2<X> {}
implement_dyncasts!(dyn Test2<X> where X: Debug);
assert_impl_all!(dyn Test2<()>: Dyncast);
assert_not_impl_any!(dyn Test2<Test<()>>: Dyncast);