Skip to main content

luaur_analysis/methods/
subtyping_result_reasoning.rs

1use crate::records::subtyping_result::SubtypingResult;
2use crate::type_aliases::subtyping_reasonings::SubtypingReasonings;
3
4impl SubtypingResult {
5    pub fn reasoning(&self) -> &SubtypingReasonings {
6        &self.reasoning
7    }
8}