#[macro_use]
extern crate proptest_derive;
#[derive(Debug, Arbitrary)] #[proptest(no_bound = "...", value("TU0"))]
struct TU0;
#[derive(Debug, Arbitrary)] #[proptest(no_bound("..."))]
struct TU1;
#[derive(Debug, Arbitrary)] #[proptest(no_bound = "...")]
struct TU2 {}
#[derive(Debug, Arbitrary)] #[proptest(no_bound("..."))]
struct TU3 {}
#[derive(Debug, Arbitrary)] #[proptest(no_bound = "...")]
struct TU4();
#[derive(Debug, Arbitrary)] #[proptest(no_bound("..."))]
struct TU5();
#[derive(Debug, Arbitrary)] #[proptest(no_bound = "...")]
struct T0 {
field: u8
}
#[derive(Debug, Arbitrary)] #[proptest(no_bound("..."))]
struct T1 {
field: u8
}
#[derive(Debug, Arbitrary)] #[proptest(no_bound = "...")]
struct T2(u8);
#[derive(Debug, Arbitrary)] #[proptest(no_bound("..."))]
struct T3(u8);
#[derive(Debug, Arbitrary)] struct T4 {
#[proptest(no_bound = "...")]
field: u8
}
#[derive(Debug, Arbitrary)] struct T5 {
#[proptest(no_bound("..."))]
field: u8
}
#[derive(Debug, Arbitrary)] struct T6(
#[proptest(no_bound = "...")]
u8
);
#[derive(Debug, Arbitrary)] struct T7(
#[proptest(no_bound("..."))]
u8
);
#[derive(Debug, Arbitrary)] #[proptest(no_bound("..."))]
enum T8 {
V1,
}
#[derive(Debug, Arbitrary)] enum T9 {
#[proptest(no_bound("..."))]
V1,
}