Skip to main content

luaur_analysis/records/
result.rs

1use crate::enums::unify_result::UnifyResult;
2use crate::type_aliases::constraint_v::ConstraintV;
3use crate::type_aliases::upper_bounds::UpperBounds;
4use alloc::vec::Vec;
5
6#[derive(Debug, Clone)]
7pub struct Result {
8    pub unified: UnifyResult,
9    pub outstanding_constraints: Vec<ConstraintV>,
10    pub upper_bound_contributors: UpperBounds,
11}
12
13impl Default for Result {
14    fn default() -> Self {
15        Self {
16            unified: UnifyResult::Ok,
17            outstanding_constraints: Vec::new(),
18            upper_bound_contributors: UpperBounds::new(core::ptr::null_mut()),
19        }
20    }
21}
22
23unsafe impl Send for Result {}
24unsafe impl Sync for Result {}