1 2 3 4 5 6 7
use crate::type_aliases::type_id::TypeId; #[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)] pub struct EqualityConstraint { pub(crate) result_type: TypeId, pub(crate) assignment_type: TypeId, }