Skip to main content

luaur_analysis/records/
subtyping_reasoning.rs

1use crate::enums::subtyping_variance::SubtypingVariance;
2use crate::records::path::Path;
3
4#[derive(Debug, Clone)]
5pub struct SubtypingReasoning {
6    pub(crate) sub_path: Path,
7    pub(crate) super_path: Path,
8    pub(crate) variance: SubtypingVariance,
9    pub(crate) is_property_modifier_violation: bool,
10}
11
12// Empty-key sentinel for DenseHashSet<SubtypingReasoning, ...> members.
13impl luaur_common::records::dense_hash_table::DenseDefault for SubtypingReasoning {
14    fn dense_default() -> Self {
15        SubtypingReasoning {
16            sub_path: Default::default(),
17            super_path: Default::default(),
18            variance: Default::default(),
19            is_property_modifier_violation: false,
20        }
21    }
22}