Skip to main content

luaur_analysis/methods/
subtyping_reasoning_super_path.rs

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