summaryrefslogtreecommitdiffstats
path: root/vendor/derivative/tests/derive-default-bounds.rs
blob: fda2efc9840dd25e2d5aa37cb7665775d8d0d92a (plain)
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
41
42
#[cfg(feature = "use_core")]
extern crate core;

#[macro_use]
extern crate derivative;

#[derive(Debug, Derivative, PartialEq)]
#[derivative(Default="new")]
struct Foo<T, U> {
    foo: T,
    #[derivative(Default(value="min()", bound="U: std::ops::Not<Output=U>, U: Default"))]
    bar: U,
}

#[derive(Debug, Derivative, PartialEq)]
#[derivative(Default(bound="T: Default, U: std::ops::Not<Output=U>, U: Default", new="true"))]
struct Bar<T, U> {
    foo: T,
    #[derivative(Default(value="min()"))]
    bar: U,
}

fn min<T: Default + std::ops::Not<Output=T>>() -> T {
    !T::default()
}

#[derive(Debug, Derivative, PartialEq)]
#[derivative(Default(bound=""))]
struct WithOption<T> {
    foo: Option<T>,
}

struct NonDefault;

#[test]
fn main() {
    assert_eq!(Foo::default(), Foo { foo: 0u8, bar: 0xffu8 });
    assert_eq!(Bar::default(), Bar { foo: 0u8, bar: 0xffu8 });
    assert_eq!(Foo::new(), Foo { foo: 0u8, bar: 0xffu8 });
    assert_eq!(Bar::new(), Bar { foo: 0u8, bar: 0xffu8 });
    WithOption::<NonDefault>::default();
}