Skip to main content

luaur_analysis/methods/
subtyping_reasoning_sub_path.rs

1use crate::records::path::Path;
2use crate::records::subtyping_reasoning::SubtypingReasoning;
3
4impl SubtypingReasoning {
5    pub fn sub_path(&self) -> &Path {
6        &self.sub_path
7    }
8}