#[macro_use]
extern crate derive_destructure2;

#[derive(remove_trait_impls)]
pub enum Simple {
    A,
    B,
    C,
}

impl Drop for Simple {
    fn drop(&mut self) {
        panic!("We shouldn't drop this!");
    }
}

#[test]
fn test_simple() {
    let simple = Simple::A;
    let simple = simple.remove_trait_impls();
    if let SimpleWithoutTraitImpls::A = simple {
    } else {
        panic!();
    }
}

pub trait SomeTrait {}
impl SomeTrait for i32 {}

#[derive(remove_trait_impls)]
pub enum GenericEnum<T: SomeTrait> {
    A(T),
    B(T, f64),
    C { x: String, y: T },
    D,
}

impl<T: SomeTrait> Drop for GenericEnum<T> {
    fn drop(&mut self) {
        panic!("We shouldn't drop this!");
    }
}

#[test]
fn test_generic_a() {
    let e = GenericEnum::A(5);
    let e = e.remove_trait_impls();
    if let GenericEnumWithoutTraitImpls::A(x) = e {
        assert_eq!(x, 5);
    } else {
        panic!();
    }
}

#[test]
fn test_generic_b() {
    let e = GenericEnum::B(7, 8.9);
    let e = e.remove_trait_impls();
    if let GenericEnumWithoutTraitImpls::B(x, y) = e {
        assert_eq!(x, 7);
        assert_eq!(y, 8.9);
    } else {
        panic!();
    }
}

#[test]
fn test_generic_c() {
    let e = GenericEnum::C {
        x: "foo".to_owned(),
        y: 7,
    };
    let e = e.remove_trait_impls();
    if let GenericEnumWithoutTraitImpls::C { x, y } = e {
        assert_eq!(x, "foo");
        assert_eq!(y, 7);
    } else {
        panic!();
    }
}

#[test]
fn test_generic_d() {
    let e = GenericEnum::<i32>::D;
    let e = e.remove_trait_impls();
    if let GenericEnumWithoutTraitImpls::D = e {
    } else {
        panic!();
    }
}