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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65

use crate::{
    common::cast::Cast,
    mem::{manager::Dealloc, ref_::Ref},
};

use super::{any::Any, any_internal::AnyInternal, ref_cast::RefCast, value_cast::ValueCast};

pub trait AnyCast<D: Dealloc>: Sized {
    unsafe fn has_same_type(any_internal: u64) -> bool;
    unsafe fn move_to_any_internal(self) -> u64;
    unsafe fn from_any_internal(any_internal: u64) -> Self;
    //
    #[inline(always)]
    fn move_to_any(self) -> Any<D> {
        unsafe { Any::from_internal(AnyInternal::new(self.move_to_any_internal())) }
    }
}

impl<D: Dealloc, T: ValueCast> AnyCast<D> for T
where
    u64: Cast<T>,
{
    #[inline(always)]
    unsafe fn has_same_type(any_internal: u64) -> bool {
        T::SUBSET.has(any_internal)
    }
    #[inline(always)]
    unsafe fn move_to_any_internal(self) -> u64 {
        T::SUBSET.typed_value_to_subset_value(self)
    }
    #[inline(always)]
    unsafe fn from_any_internal(any_internal: u64) -> Self {
        T::SUBSET.subset_value_to_typed_value(any_internal)
    }
}

impl<D: Dealloc, T: RefCast<D>> AnyCast<D> for Ref<T, D> {
    #[inline(always)]
    unsafe fn has_same_type(any_internal: u64) -> bool {
        T::REF_SUBSET.has(any_internal)
    }
    #[inline(always)]
    unsafe fn move_to_any_internal(self) -> u64 {
        T::REF_SUBSET.typed_value_to_subset_value(self.move_to_internal())
    }
    #[inline(always)]
    unsafe fn from_any_internal(any_internal: u64) -> Self {
        Self::from_internal(T::REF_SUBSET.subset_value_to_typed_value(any_internal))
    }
}

#[cfg(test)]
mod test {
    use wasm_bindgen_test::wasm_bindgen_test;

    use crate::{js::any::Any, mem::global::Global};

    use super::AnyCast;

    #[wasm_bindgen_test]
    #[test]
    fn test() {
        let _x: Any<Global> = 1.0.move_to_any();
    }
}