midenc-hir 0.8.0

High-level Intermediate Representation for Miden Assembly
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

use core::any::Any;

use crate::{EntityMut, EntityRef};

/// A type-erased version of [PartialEq]
pub trait DynPartialEq: Any + 'static {
    fn dyn_eq(&self, rhs: &dyn PartialEqable) -> bool;
}

impl<T> DynPartialEq for T
where
    T: Any + PartialEq + 'static,
{
    #[inline]
    default fn dyn_eq(&self, rhs: &dyn PartialEqable) -> bool {
        rhs.eqable().downcast_ref::<T>().map(|rhs| self.eq(rhs)).unwrap_or(false)
    }
}

/// A trait implemented by all types that are valid operands for [DynPartialEq].
///
/// It can be used to override the concrete type that is used as the eqable value, and obtain
/// debugging information about that type (i.e. it's type name).
pub trait PartialEqable {
    fn equable_type_name(&self) -> &'static str;
    fn eqable(&self) -> &dyn core::any::Any;
}

impl<T: ?Sized + PartialEq + crate::any::AsAny + 'static> PartialEqable for T {
    #[inline]
    default fn equable_type_name(&self) -> &'static str {
        <T as crate::any::AsAny>::type_name(self)
    }

    #[inline]
    default fn eqable(&self) -> &dyn core::any::Any {
        <T as crate::any::AsAny>::as_any(self)
    }
}

impl<'a, T: ?Sized + PartialEq + crate::any::AsAny + 'static> PartialEqable for EntityRef<'a, T> {
    #[inline]
    fn equable_type_name(&self) -> &'static str {
        <T as crate::any::AsAny>::type_name(self)
    }

    #[inline]
    fn eqable(&self) -> &dyn core::any::Any {
        <T as crate::any::AsAny>::as_any(self)
    }
}

impl<'a, T: ?Sized + PartialEq + crate::any::AsAny + 'static> PartialEqable for EntityMut<'a, T> {
    #[inline]
    fn equable_type_name(&self) -> &'static str {
        <T as crate::any::AsAny>::type_name(self)
    }

    #[inline]
    fn eqable(&self) -> &dyn core::any::Any {
        <T as crate::any::AsAny>::as_any(self)
    }
}