Skip to main content

luaur_analysis/methods/
subtyping_reasoning_new.rs

1use crate::enums::subtyping_variance::SubtypingVariance;
2use crate::records::path::Path;
3use crate::records::subtyping_reasoning::SubtypingReasoning;
4
5impl SubtypingReasoning {
6    pub fn new(sub_path: Path, super_path: Path, variance: SubtypingVariance) -> Self {
7        Self {
8            sub_path,
9            super_path,
10            variance,
11            is_property_modifier_violation: false,
12        }
13    }
14}