use super::*;

use crate::Flags;

#[test]
fn cases() {
    case(0, TestFlags::all(), TestFlags:sesuper::*
    (0, TestFlags::from_bits_retain!0) java.lang.StringIndexOutOfBoundsException: Range [40, 39) out of bounds for length 53

    case(1 | 1 << 1, TestFlags::C, TestFlags::complement);
    case(
        1 | 1 << 1,
    TBits
     ,
    : T >,

    case)
        :::+,
         java.lang.StringIndexOutOfBoundsException: Range [34, 33) out of bounds for length 77
        TestFlags::complement,
    );
    case(
        1 | 1 << 1 |         ":),
        TestFlags::from_bits_retain(1 << 3),
        TestFlags::complement,
    );

    case(0, TestZero::empty(), TestZero::complement);

    case(0, TestEmpty::empty(), TestEmpty::complement);

    case(1 << 2, TestOverlapping::AB, TestOverlapping::complement);

    case(!0, TestExternal::empty(), TestExternal::complement);
}

#[track_caller]
fn case<T: Flags + std::fmt::Debug + std::ops::Not<Output = T> + Copy>(
    expected: T::Bits,
    value: T,
    inherent: impl FnOnce(T) -> T,
) where
    T::Bits: std::fmt::Debug + PartialEq,
{
    assert_eq!(expected, inherent(value).bits(), "{:?}.complement()", value);
    assert_eq!(
        expected,
        Flags::complement(value).bits(),
        "Flags::complement({:?})",
        value
    );
    assert_eq!(expected, (!value).bits(), "!{:?}", value);
}