#![allow(dead_code)]

use std::any::{Any, TypeId};
use std::mem::offset_of;
use std::mem::type_info::{Const, Generic, GenericType, Type, TypeKind};

#[test]
fn test_arrays() {
    // Normal array.
    match const { Type::of::<[u16; 4]>() }.kind {
        TypeKind::Array(array) => {
            assert_eq!(array.element_ty, TypeId::of::<u16>());
            assert_eq!(array.len, 4);
        }
        _ => unreachable!(),
    }

    // Zero-length array.
    match const { Type::of::<[bool; 0]>() }.kind {
        TypeKind::Array(array) => {
            assert_eq!(array.element_ty, TypeId::of::<bool>());
            assert_eq!(array.len, 0);
        }
        _ => unreachable!(),
    }
}

#[test]
fn test_slices() {
    match const { Type::of::<[usize]>() }.kind {
        TypeKind::Slice(slice) => assert_eq!(slice.element_ty, TypeId::of::<usize>()),
        _ => unreachable!(),
    }
}

#[test]
fn test_tuples() {
    const {
        let ty_id = TypeId::of::<()>();
        assert!(ty_id.size() == Some(size_of::<()>()));
        assert!(ty_id.variants() == 1);
        assert!(ty_id.fields(0) == 0);

        let ty_id = TypeId::of::<(u8,)>();
        assert!(ty_id.size() == Some(size_of::<(u8,)>()));
        assert!(ty_id.variants() == 1);
        assert!(ty_id.fields(0) == 1);
        assert!(ty_id.field(0, 0).type_id() == TypeId::of::<u8>());

        let ty_id = TypeId::of::<(u8, u16)>();
        assert!(ty_id.size() == Some(size_of::<(u8, u16)>()));
        assert!(ty_id.variants() == 1);
        assert!(ty_id.fields(0) == 2);
        assert!(ty_id.field(0, 0).type_id() == TypeId::of::<u8>());
        assert!(ty_id.field(0, 1).type_id() == TypeId::of::<u16>());
    }
}

#[test]
fn test_structs() {
    const {
        struct TestStruct {
            first: u8,
            second: u16,
            reference: &'static u16,
        }

        let ty_id = TypeId::of::<TestStruct>();
        assert!(!ty_id.non_exhaustive());
        assert!(ty_id.size() == Some(size_of::<TestStruct>()));
        assert!(ty_id.variants() == 1);
        assert!(ty_id.fields(0) == 3);
        assert!(ty_id.field(0, 0).type_id() == TypeId::of::<u8>());
        assert!(ty_id.field(0, 0).offset() == offset_of!(TestStruct, first));
        assert!(ty_id.field(0, 0).name() == "first");
        assert!(ty_id.field(0, 1).type_id() == TypeId::of::<u16>());
        assert!(ty_id.field(0, 1).offset() == offset_of!(TestStruct, second));
        assert!(ty_id.field(0, 1).name() == "second");
        assert!(ty_id.field(0, 2).type_id() == TypeId::of::<&u16>());
        assert!(ty_id.field(0, 2).offset() == offset_of!(TestStruct, reference));
        assert!(ty_id.field(0, 2).name() == "reference");
    }

    const {
        #[non_exhaustive]
        struct NonExhaustive {
            a: u8,
        }

        assert!(TypeId::of::<NonExhaustive>().non_exhaustive());
    }

    const {
        struct TupleStruct(u8, u16);

        let ty_id = TypeId::of::<TupleStruct>();
        assert!(ty_id.size() == Some(size_of::<TupleStruct>()));
        assert!(ty_id.variants() == 1);
        assert!(ty_id.fields(0) == 2);
        assert!(ty_id.field(0, 0).type_id() == TypeId::of::<u8>());
        assert!(ty_id.field(0, 0).name() == "0");
        assert!(ty_id.field(0, 1).type_id() == TypeId::of::<u16>());
        assert!(ty_id.field(0, 1).name() == "1");
    }

    const {
        struct Generics<'a, T, const C: u64> {
            a: &'a T,
        }

        let ty_id = TypeId::of::<Generics<'static, i32, 1_u64>>();
        assert!(ty_id.fields(0) == 1);
        assert!(ty_id.generics().len() == 3);

        let Generic::Lifetime(_) = ty_id.generics()[0] else { panic!() };
        let Generic::Type(GenericType { ty: generic_ty, .. }) = ty_id.generics()[1] else {
            panic!()
        };
        assert!(generic_ty == TypeId::of::<i32>());
        let Generic::Const(Const { ty: const_ty, .. }) = ty_id.generics()[2] else { panic!() };
        assert!(const_ty == TypeId::of::<u64>());
    }
}

#[test]
fn test_unions() {
    const {
        union TestUnion {
            first: i16,
            second: u16,
        }

        let ty_id = TypeId::of::<TestUnion>();
        assert!(ty_id.size() == Some(size_of::<TestUnion>()));
        assert!(ty_id.variants() == 1);
        assert!(ty_id.fields(0) == 2);
        assert!(ty_id.field(0, 0).name() == "first");
        assert!(ty_id.field(0, 0).type_id() == TypeId::of::<i16>());
        assert!(ty_id.field(0, 1).name() == "second");
        assert!(ty_id.field(0, 1).type_id() == TypeId::of::<u16>());
    }

    const {
        union Generics<'a, T: Copy, const C: u64> {
            a: T,
            z: &'a (),
        }

        let ty_id = TypeId::of::<Generics<'static, i32, 1_u64>>();
        assert!(ty_id.fields(0) == 2);
        assert!(ty_id.field(0, 1).offset() == offset_of!(Generics<'static, i32, 1_u64>, a));
        assert!(ty_id.field(0, 1).offset() == offset_of!(Generics<'static, i32, 1_u64>, z));

        assert!(ty_id.generics().len() == 3);
        let Generic::Lifetime(_) = ty_id.generics()[0] else { panic!() };
        let Generic::Type(GenericType { ty: generic_ty, .. }) = ty_id.generics()[1] else {
            panic!()
        };
        assert!(generic_ty == TypeId::of::<i32>());
        let Generic::Const(Const { ty: const_ty, .. }) = ty_id.generics()[2] else { panic!() };
        assert!(const_ty == TypeId::of::<u64>());
    }
}

#[test]
fn test_enums() {
    const {
        enum E {
            Some(u32),
            None,
            #[non_exhaustive]
            Foomp {
                a: (),
                b: &'static str,
            },
        }

        let ty_id = TypeId::of::<E>();
        assert!(!ty_id.non_exhaustive());
        assert!(ty_id.size() == Some(size_of::<E>()));
        assert!(ty_id.variants() == 3);

        assert!(ty_id.variant(0).name() == "Some");
        assert!(!ty_id.variant(0).non_exhaustive());
        assert!(ty_id.fields(0) == 1);
        assert!(ty_id.field(0, 0).type_id() == TypeId::of::<u32>());

        assert!(ty_id.variant(1).name() == "None");
        assert!(!ty_id.variant(1).non_exhaustive());
        assert!(ty_id.fields(1) == 0);

        assert!(ty_id.variant(2).name() == "Foomp");
        assert!(ty_id.variant(2).non_exhaustive());
        assert!(ty_id.fields(2) == 2);
        assert!(ty_id.field(2, 0).type_id() == TypeId::of::<()>());
        assert!(ty_id.field(2, 1).type_id() == TypeId::of::<&str>());
        assert!(ty_id.field(2, 1).name() == "b");

        assert!(ty_id.generics().is_empty());
    }

    const {
        let ty_id = TypeId::of::<Option<i32>>();
        assert!(ty_id.variants() == 2);
        assert!(ty_id.generics().len() == 1);

        let Generic::Type(GenericType { ty: generic_ty, .. }) = ty_id.generics()[0] else {
            panic!()
        };
        assert!(generic_ty == TypeId::of::<i32>());

        let ty_id = TypeId::of::<Option<i32>>();
        assert!(ty_id.size() == Some(size_of::<Option<i32>>()));
        assert!(ty_id.variants() == 2);
        assert!(ty_id.fields(0) == 0);
        assert!(ty_id.fields(1) == 1);
        assert!(ty_id.field(1, 0).type_id() == TypeId::of::<i32>());
    }
}

#[test]
fn test_primitives() {
    use TypeKind::*;

    const {
        let Type { kind: Bool(_ty), .. } = (const { Type::of::<bool>() }) else { panic!() };
        let ty_id = TypeId::of::<bool>();
        assert!(ty_id.size() == Some(size_of::<bool>()));
        assert!(ty_id.variants() == 1);

        let Type { kind: Char(_ty), .. } = (const { Type::of::<char>() }) else { panic!() };
        let ty_id = TypeId::of::<char>();
        assert!(ty_id.size() == Some(size_of::<char>()));
        assert!(ty_id.variants() == 1);

        let Type { kind: Int(ty), .. } = (const { Type::of::<i32>() }) else { panic!() };
        assert!(ty.bits == 32);
        assert!(ty.signed);
        let ty_id = TypeId::of::<i32>();
        assert!(ty_id.size() == Some(size_of::<i32>()));
        assert!(ty_id.variants() == 1);

        let Type { kind: Int(ty), .. } = (const { Type::of::<isize>() }) else { panic!() };
        assert!(ty.bits as usize == size_of::<isize>() * 8);
        assert!(ty.signed);
        let ty_id = TypeId::of::<isize>();
        assert!(ty_id.size() == Some(size_of::<isize>()));
        assert!(ty_id.variants() == 1);

        let Type { kind: Int(ty), .. } = (const { Type::of::<u32>() }) else { panic!() };
        assert!(ty.bits == 32);
        assert!(!ty.signed);
        let ty_id = TypeId::of::<u32>();
        assert!(ty_id.size() == Some(size_of::<u32>()));
        assert!(ty_id.variants() == 1);

        let Type { kind: Int(ty), .. } = (const { Type::of::<usize>() }) else { panic!() };
        assert!(ty.bits as usize == size_of::<usize>() * 8);
        assert!(!ty.signed);
        let ty_id = TypeId::of::<usize>();
        assert!(ty_id.size() == Some(size_of::<usize>()));
        assert!(ty_id.variants() == 1);

        let Type { kind: Float(ty), .. } = (const { Type::of::<f32>() }) else { panic!() };
        assert!(ty.bits == 32);
        let ty_id = TypeId::of::<f32>();
        assert!(ty_id.size() == Some(size_of::<f32>()));
        assert!(ty_id.variants() == 1);

        let Type { kind: Str(_ty), .. } = (const { Type::of::<str>() }) else { panic!() };
        let ty_id = TypeId::of::<str>();
        assert!(ty_id.size() == None);
        assert!(ty_id.variants() == 1);
    }
}

#[test]
fn test_references() {
    // Immutable reference.
    match const { Type::of::<&u8>() }.kind {
        TypeKind::Reference(reference) => {
            assert_eq!(reference.pointee, TypeId::of::<u8>());
            assert!(!reference.mutable);
        }
        _ => unreachable!(),
    }

    // Mutable references.
    match const { Type::of::<&mut u64>() }.kind {
        TypeKind::Reference(reference) => {
            assert_eq!(reference.pointee, TypeId::of::<u64>());
            assert!(reference.mutable);
        }
        _ => unreachable!(),
    }

    // Wide references.
    match const { Type::of::<&dyn Any>() }.kind {
        TypeKind::Reference(reference) => {
            assert_eq!(reference.pointee, TypeId::of::<dyn Any>());
            assert!(!reference.mutable);
        }
        _ => unreachable!(),
    }
}

#[test]
fn test_pointers() {
    // Immutable pointer.
    match const { Type::of::<*const u8>() }.kind {
        TypeKind::Pointer(pointer) => {
            assert_eq!(pointer.pointee, TypeId::of::<u8>());
            assert!(!pointer.mutable);
        }
        _ => unreachable!(),
    }

    // Mutable pointer.
    match const { Type::of::<*mut u64>() }.kind {
        TypeKind::Pointer(pointer) => {
            assert_eq!(pointer.pointee, TypeId::of::<u64>());
            assert!(pointer.mutable);
        }
        _ => unreachable!(),
    }

    // Wide pointer.
    match const { Type::of::<*const dyn Any>() }.kind {
        TypeKind::Pointer(pointer) => {
            assert_eq!(pointer.pointee, TypeId::of::<dyn Any>());
            assert!(!pointer.mutable);
        }
        _ => unreachable!(),
    }
}

#[test]
fn test_dynamic_traits() {
    use std::collections::HashSet;
    use std::mem::type_info::DynTraitPredicate;
    trait A<T> {}

    trait B<const CONST_NUM: i32> {
        type Foo;
    }

    trait FooTrait<'a, 'b, const CONST_NUM: i32> {}

    trait ProjectorTrait<'a, 'b> {}

    fn preds_of<T: ?Sized + 'static>() -> &'static [DynTraitPredicate] {
        match const { Type::of::<T>() }.kind {
            TypeKind::DynTrait(d) => d.predicates,
            _ => unreachable!(),
        }
    }

    fn pred<'a>(preds: &'a [DynTraitPredicate], want: TypeId) -> &'a DynTraitPredicate {
        preds
            .iter()
            .find(|p| p.trait_ty.ty == want)
            .unwrap_or_else(|| panic!("missing predicate for {want:?}"))
    }

    fn assert_typeid_set_eq(actual: &[TypeId], expected: &[TypeId]) {
        let actual_set: HashSet<TypeId> = actual.iter().copied().collect();
        let expected_set: HashSet<TypeId> = expected.iter().copied().collect();
        assert_eq!(actual.len(), actual_set.len(), "duplicates present: {actual:?}");
        assert_eq!(
            actual_set, expected_set,
            "unexpected ids.\nactual: {actual:?}\nexpected: {expected:?}"
        );
    }

    fn assert_predicates_exact(preds: &[DynTraitPredicate], expected_pred_ids: &[TypeId]) {
        let actual_pred_ids: Vec<TypeId> = preds.iter().map(|p| p.trait_ty.ty).collect();
        assert_typeid_set_eq(&actual_pred_ids, expected_pred_ids);
    }

    // dyn Send
    {
        let preds = preds_of::<dyn Send>();
        assert_predicates_exact(preds, &[TypeId::of::<dyn Send>()]);

        let p = pred(preds, TypeId::of::<dyn Send>());
        assert!(p.trait_ty.is_auto);
    }

    // dyn A<i32>
    {
        let preds = preds_of::<dyn A<i32>>();
        assert_predicates_exact(preds, &[TypeId::of::<dyn A<i32>>()]);

        let p = pred(preds, TypeId::of::<dyn A<i32>>());
        assert!(!p.trait_ty.is_auto);
    }

    // dyn B<5, Foo = i32>
    {
        let preds = preds_of::<dyn B<5, Foo = i32>>();
        assert_predicates_exact(preds, &[TypeId::of::<dyn B<5, Foo = i32>>()]);

        let e = pred(preds, TypeId::of::<dyn B<5, Foo = i32>>());
        assert!(!e.trait_ty.is_auto);
    }

    // dyn for<'a> FooTrait<'a, 'a, 7>
    {
        let preds = preds_of::<dyn for<'a> FooTrait<'a, 'a, 7>>();
        assert_predicates_exact(preds, &[TypeId::of::<dyn for<'a> FooTrait<'a, 'a, 7>>()]);

        let foo = pred(preds, TypeId::of::<dyn for<'a> FooTrait<'a, 'a, 7>>());
        assert!(!foo.trait_ty.is_auto);
    }

    // dyn FooTrait<'static, 'static, 7>
    {
        let preds = preds_of::<dyn FooTrait<'static, 'static, 7>>();
        assert_predicates_exact(preds, &[TypeId::of::<dyn FooTrait<'static, 'static, 7>>()]);

        let foo = pred(preds, TypeId::of::<dyn FooTrait<'static, 'static, 7>>());
        assert!(!foo.trait_ty.is_auto);
    }

    // dyn for<'a, 'b> FooTrait<'a, 'b, 7>
    {
        let preds = preds_of::<dyn for<'a, 'b> FooTrait<'a, 'b, 7>>();
        assert_predicates_exact(preds, &[TypeId::of::<dyn for<'a, 'b> FooTrait<'a, 'b, 7>>()]);

        let foo = pred(preds, TypeId::of::<dyn for<'a, 'b> FooTrait<'a, 'b, 7>>());
        assert!(!foo.trait_ty.is_auto);
    }

    // dyn for<'a, 'b> ProjectorTrait<'a, 'b>
    {
        let preds = preds_of::<dyn for<'a, 'b> ProjectorTrait<'a, 'b>>();
        assert_predicates_exact(preds, &[TypeId::of::<dyn for<'a, 'b> ProjectorTrait<'a, 'b>>()]);

        let proj = pred(preds, TypeId::of::<dyn for<'a, 'b> ProjectorTrait<'a, 'b>>());
        assert!(!proj.trait_ty.is_auto);
    }

    // dyn for<'a> FooTrait<'a, 'a, 7> + Send + Sync
    {
        let preds = preds_of::<dyn for<'a> FooTrait<'a, 'a, 7> + Send + Sync>();
        assert_predicates_exact(
            preds,
            &[
                TypeId::of::<dyn for<'a> FooTrait<'a, 'a, 7>>(),
                TypeId::of::<dyn Send>(),
                TypeId::of::<dyn Sync>(),
            ],
        );

        let foo = pred(preds, TypeId::of::<dyn for<'a> FooTrait<'a, 'a, 7>>());
        assert!(!foo.trait_ty.is_auto);

        let send = pred(preds, TypeId::of::<dyn Send>());
        assert!(send.trait_ty.is_auto);

        let sync = pred(preds, TypeId::of::<dyn Sync>());
        assert!(sync.trait_ty.is_auto);
    }
}
